|
D.5.9.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
|
|