login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:24:03-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

Status: open => fixed somewhere

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 "

  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: