A QuotientRings Package for MapleChaos
Roman Pearce, CECM, Simon Fraser University
Abstract: 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.