A QuotientRings Package for MapleChaos

Roman Pearce, CECM, Simon Fraser University

Wednesday September 14th, 2005 at 4:00pm in K9509.


QuotientRings is a new Maple package currently under development for
computing in multivariate polynomial quotient rings, ie: rings of the
form k[x1,..,xn]/I where k is a field and I is an ideal of k[x1,...,xn].
We have implemented algorithms for exact polynomial division, rational
expression simplification, and testing whether a given element is a
zero divisor.  We will give a short demonstration of the package,
and solicit suggestions for future development.