Top
Back: isTorsionFree
Forward: isZeroElement
FastBack: lll_lib
FastForward: Release Notes
Up: multigrading_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.4.34 isPositive

Procedure from library multigrading.lib (see multigrading_lib).

Usage:
isPositive()

Purpose:
Computes whether the multigrading of the ring is positive. For computation theorem 8.6 of the Miller/Sturmfels book is used.

Returns:
true if the multigrading is positive

Example:
 
LIB "multigrading.lib";
printlevel = 3;
ring r = 0,(x,y),dp;
intmat A[1][2]=-1,1;
setBaseMultigrading(A);
isPositive();
==> -------------------------------------------------
==> 4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
==> 4ti2 comes with ABSOLUTELY NO WARRANTY.
==> This is free software, and you are welcome
==> to redistribute it under certain conditions.
==> For details, see the file COPYING.
==> -------------------------------------------------
==> 
==> 
==> Final basis has 1 inhomogeneous, 2 homogeneous and 0 free elements.
==> 
==> 4ti2 Total Time: 0.00 secs
==> 0
intmat B[1][2]=1,1;
setBaseMultigrading(B);
isPositive(B);
==> -------------------------------------------------
==> 4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
==> 4ti2 comes with ABSOLUTELY NO WARRANTY.
==> This is free software, and you are welcome
==> to redistribute it under certain conditions.
==> For details, see the file COPYING.
==> -------------------------------------------------
==> 
==> 
==> Final basis has 1 inhomogeneous, 1 homogeneous and 0 free elements.
==> 
==> 4ti2 Total Time: 0.01 secs
==> 1


Top Back: isTorsionFree Forward: isZeroElement FastBack: lll_lib FastForward: Release Notes Up: multigrading_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-3, March 2011, generated by texi2html.