Does someone find this behaviour natural? (FriCAS 1.0.9)
(1) -> solve([x^2 = 1],[x,y])
(1) [[x= 1],[x= - 1]]
Type: List(List(Equation(Fraction(Polynomial(Integer)))))
(2) -> solve([x^2 = 1,y^2=1],[x,y,z])
>> Error detected within library code:
system does not have a finite number of solutions
It's probably the algorithm that leads to the behaviour of (2). But even
if there were no good algorithm to determine the solution of this
system, showing ">> Error detected within library code:" is certainly
frightening to the end user. It sounds like, there is a bug in the library.
The offending line is
groebSolve(leq: L DPoly,lvar:L OV) : L L DPoly ==
lnp:=[dmpToHdmp(f) for f in leq]
leq1:=groebner lnp
#(leq1) = 1 and first(leq1) = 1 => list empty()
not (zeroDim?(leq1,lvar)) =>
error "system does not have a finite number of solutions"
-- add computation of dimension, for a more useful error
Well, the bug is that it should just show "system does not have a finite
number of solutions", but not this ">> Error" message.
Other opinions?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
