Re: [Axiom-mail] A polynomial question

[Ralf Hemmecke]

> Axiom does not have an polynomial type having symbolic exponents.

Hmmm, that is sad. The definitions of GDMP are too restrictive.

GeneralDistributedMultivariatePolynomial(vl,R,E): public == private where
  vl: List Symbol
  R: Ring
  E: DirectProductCategory(#vl,NonNegativeInteger)
  OV  ==> OrderedVariableList(vl)
  SUP ==> SparseUnivariatePolynomial
  NNI ==> NonNegativeInteger

If the type of E where something that just says that E basically is a 
monoid (not necessarily a tuple of integers), then one could also 
construct more fancy kinds of polynomials.

LibAlgebra is a bit more careful in this case and introduces an extra 
ExponentCategory (basically like Monoid).

Well, well, the axiom library must be re-thought.

Ralf