Evaluating complicated expressions involving 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 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?

The error mentioned in SandBox Lorentz Transformations no longer occurs in FriCAS built from source or or after "Sunday November 1, 2009 at 20:31:03 "