D = gfanKrullDimension(M)
D = gfanKrullDimension(L)
D = gfanKrullDimension(I)
This method returns the Krull dimension of the quotient of the polynomial ring by the ideal generated by M or L or the ideal I.
Note that Macaulay 2 already provides this functionality (see dim).
|
|
|
|
gfan Documentation Takes an ideal $I$ and computes the Krull dimension of R/I where R is the polynomial ring. This is done by first computing a Groebner basis.Options:-g: Tell the program that the input is already a reduced Groebner basis.
The object gfanKrullDimension is a method function with options.