Groebner bases

i1 : R = ZZ/101[a..d];
i2 : f = matrix {{a^2*b-c^2, a*b^2-d^3, c^5-d}}

o2 = {0} | a2b-c2 ab2-d3 c5-d |

             1       3
o2 : Matrix R  <--- R

The Groebner basis of the columns of a matrix can be obtained with gb, and its generators can assembled into a matrix with generators, or its abbreviation, gens.

i3 : gb f

o3 = {0} | ab2-d3 a2b-c2 ad3-bc2 c5-d d6-b3c2 |

o3 : GroebnerBasis
i4 : generators gb f

o4 = {0} | ab2-d3 a2b-c2 ad3-bc2 c5-d d6-b3c2 |

             1       5
o4 : Matrix R  <--- R

We intend to change the behavior of gb so that it will return a matrix immediately rather than a special Groebner basis object. For now, beware that a Groebner basis object prints out just like a matrix, but can't be used as one.
topindexpreviousupnext