
 Quotient Rings (Site not responding. Last check: 20071105) 
  If the quotient ring has finite dimension (considered as a vector space over the coefficient field), further operations are available on its elements. 
  Given an ideal I in the multivariate polynomial ring R (over a field), return the quotient R/I. The ideal I may either be specified as an ideal or by a list a_1, a_2,..., a_r, of generators. 
  Given an element f of a finite dimensional quotient ring Q, return the representation matrix of f, which is a d by d matrix over the coefficient field of Q (where d is the dimension of Q) which represents f. 
 www.math.uiuc.edu /Software/magma/text329.html (398 words) 
