Changes
http://wiki.axiom-developer.org/305CompBoundWithoutAWellUnderstoodValuation/diff
--
Evaluating complicated expressions involving $\sqrt{...}$
and AlgebraicNumber can sometimes give the error message::
>>Error detected within library code:
attempt to use compBound without a well-understood valuation
See for example [SandBox Lorentz Transformations].
The routine 'compBound' is only used and define in
"Geneez.spad":/axiom--test--1/src/algebra/GeneezSpad
where we find::
compBound: (BP,L BP) -> NNI
++ compBound(p,lp)
++ computes a bound for the coefficients of the solution
++ polynomials.
++ Given a polynomial right hand side p, and a list lp
++ of left hand side polynomials.
++ Exported because it depends on the valuation.
and a reference to *multiplicativeValuation* and *additiveValuation*
which are attributes of 'EuclideanDomain'. But apparently in some
cases it might have neither?
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
