arguments: I:matrix >> R:ring; OR f1 ... fn n A:ring >> R:ring
Create the ring R = A/I, where A is the ring of I, and I is a 1 by r matrix with entries in the polynomial ring (or quotient of a polynomial ring) A. In the second version I is the ideal generated by the f1, ..., fn, which should be elements of A. Currently, in either case the generators should form a Groebner basis, whose lead terms are all monic.
Go to main index.
Go to concepts index.