Support #1499
Updated by John Abbott over 3 years ago
A factorization object in CoCoALib contains a list factor-multiplicity pairs.
According to the doc the factors must be non-zero and not invertible, and the multiplicities must be positive.
Currently, the err mesg produced if a zero multiplicity is specified says "negative exponent" not allowed. This is incorrect/confusing.
If we want to use a @factorization@ to represent the result of @FactorMultiplicity@ (see #1463) then we would need to allow 0 as a multiplicity (*or* be prepared to handle the case that the list of factors found is empty) multiplicity.
Discuss, decide, implement.
According to the doc the factors must be non-zero and not invertible, and the multiplicities must be positive.
Currently, the err mesg produced if a zero multiplicity is specified says "negative exponent" not allowed. This is incorrect/confusing.
If we want to use a @factorization@ to represent the result of @FactorMultiplicity@ (see #1463) then we would need to allow 0 as a multiplicity (*or* be prepared to handle the case that the list of factors found is empty) multiplicity.
Discuss, decide, implement.