next | previous | forward | backward | up | top | index | toc | home

gin -- the generic initial ideal

Synopsis

Description

Example: a complete intersection of type (3,3) in P^3

i1 : R = QQ[a..d];
i2 : I = ideal(a^3+c^2*d, b^3-a*d^2);

o2 : Ideal of R
i3 : gin(I)

             3   2      3   5
o3 = ideal (a , a b, a*b , b )

o3 : Ideal of R

This symbol is provided by the package GenericInitialIdeal.

Caveat

The method gin uses a probabilistic algorithm. The returned answer is correct with high probability in characteristic zero and large positive characteristic, but might be wrong in small positive characteristic. For details in this situation it is recommended to use the Verbose option.

See also

Ways to use gin :