Home Online Manual
Top
Back: JMSConst_lib
Forward: JMarkedScheme
FastBack:
FastForward:
Up: JMSConst_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.12.1 BorelCheck

Procedure from library JMSConst.lib (see JMSConst_lib).

Usage:
BorelCheck(Borid,r); Borid ideal, r ring

Return:
int: d

Note:
Input must be a monomial ideal.
The procedure checks whether the Borel moves produce elements belonging to Borid.

Example:
 
LIB "JMSConst.lib";
ring r=0, (x,y,z),rp;
ideal Borid=y^2*z,y*z^2,z^3,y^5;
BorelCheck(Borid,r);
==> 1