Edit detail for #305 compBound without a well-understood valuation revision 1 of 2

changed:
-
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?

   >>Error detected within library code:
   attempt to use compBound without a well-understood valuation

       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.