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

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

1 2
Editor: Bill Page
Time: 2010/02/25 06:57:30 GMT-8
Note: fixed in FriCAS

added:

From BillPage Thu Feb 25 06:57:30 -0800 2010
From: Bill Page
Date: Thu, 25 Feb 2010 06:57:30 -0800
Subject: fixed in FriCAS
Message-ID: <20100225065730-0800@axiom-wiki.newsynthesis.org>

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 "

Submitted by : (unknown) at: 2007-11-17T22:24:03-08:00 (11 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 "