5.1.122 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

See also: fglm; groebner; std; stdhilb.