|
|
|
last edited 14 years ago by Bill Page |
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 "
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?
fixed in FriCAS --Bill Page, Thu, 25 Feb 2010 06:57:30 -0800 reply
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 "