*,
I was hoping for some help with GeneralizedMultivariateFactorize
(GENMFACT) in allfact.spad.pamphlet.
The issue is with the following code, in particular with the call to
squareFree at the end:
T == add
factor(p:P) : Factored P ==
R has FiniteFieldCategory => factor(p)$MultFiniteFactorize(OV,E,R,P)
R is Polynomial(S) and S has EuclideanDomain =>
factor(p)$MPolyCatPolyFactorizer(E,OV,S,P)
R is Fraction(S) and S has CharacteristicZero and
S has EuclideanDomain =>
factor(p)$MRationalFactorize(E,OV,S,P)
R is Fraction Polynomial S =>
factor(p)$MPolyCatRationalFunctionFactorizer(E,OV,S,P)
R has CharacteristicZero and R has EuclideanDomain =>
factor(p)$MultivariateFactorize(OV,E,R,P)
squareFree p
Here, P satisfies a PolynomialCategory over an IntegralDomain. But
such a P does not export squareFree unless the coefficient ring is a
GcdDomain. This is a bug in GENMFACT, I believe.
I do not have the experience necessary with the algebra code yet to be
terribly efficient in determining what the proper fix here is.
Perhaps it is as simple as requiring GcdDomain.
Could anyone provide some insight here?
Many thanks!
Steve
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
