# RingDistrMPoly

© 2005 John Abbott
GNU Free Documentation License, Version 1.2

- User documentation for the class RingDistrMPoly
- Maintainer documentation for the class RingDistrMPoly
  - Bugs and Shortcomings

CoCoALib Documentation Index

## User documentation for the class RingDistrMPoly

`RingDistrMPoly` implements a ring of distributed multivariate polynomials: you may think of the elements as being ordered lists of coefficient and power product pairs (with the additional guarantee that the coefficients are non-zero, and that the power products are all distinct. The best way to create a `RingDistrMPoly` is to use the function `NewPolyRing` (see `PolyRing`)

A `RingDistrMPoly` is a concrete instance of a `SparsePolyRing`.

## Maintainer documentation for the class RingDistrMPoly

I have implemented `HomImpl` and `IdealImpl` as private subclasses since their existence should not be known outside the scope of the class `RingDistrMPolyImpl`.

### Bugs and Shortcomings

Documentation almost completely absent.

The implementation of `RingDistrMPolyImpl::HomImpl::myApply` is very poor. I simply needed some easy code that would work. A major overhaul will be needed when I have understood how best to implement it.