|  |  D.5.12.1 BorelCheck Procedure from libraryJMSConst.lib(see  JMSConst_lib).
 
Example: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.
 
 |  | 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
 | 
 
 |