Re: A polynomial question

 > 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