|
5.1.126 stdfglm
Procedure from library standard.lib (see standard_lib).
- Syntax:
stdfglm ( ideal_expression )
stdfglm ( ideal_expression, string_expression )
- Type:
- ideal
- Purpose:
- computes the standard basis of the ideal in the basering
via
fglm (from the ordering given as the second argument
to the ordering of the basering).
If no second argument is given, "dp" is used.
Example:
| ring r=0,(x,y,z),lp;
ideal i=y3+x2,x2y+x2,x3-x2,z4-x2-y;
ideal i1=stdfglm(i); //uses fglm from "dp" to "lp"
i1;
==> i1[1]=z12
==> i1[2]=yz4-z8
==> i1[3]=y2+y-z8-z4
==> i1[4]=xy-xz4-y+z4
==> i1[5]=x2+y-z4
ideal i2=stdfglm(i,"Dp"); //uses fglm from "Dp" to "lp"
i2;
==> i2[1]=z12
==> i2[2]=yz4-z8
==> i2[3]=y2+y-z8-z4
==> i2[4]=xy-xz4-y+z4
==> i2[5]=x2+y-z4
| fglm, groebner, std, stdhilb
|