Home Online Manual
Top
Back: arrRestrict
Forward: arrEssentialize
FastBack:
FastForward:
Up: arr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.14.1.20 arrIsEssential

Procedure from library arr.lib (see arr_lib).

Usage:
arrIsEssential(A); arrangement A;

Return:
boolean: 1 if arr is essential, i.e. rank of maximal element of poset is dimension

Note:
A has to be non-empty.

Example:
 
LIB "arr.lib";
ring S = 0,(x,y,z),lp;
arr A = ideal(x,y,z);
arr B = ideal(x+y+z,x,y+z);
arrIsEssential(A);
==> 1
arrIsEssential(B);
==> 0
See also: arrCone; arrDecone; arrEssentialize; arrIsEssential; arrRestrict.