Currently we have:
(2) -> a := sqrt(2)
+-+
(2) \|2
Type: AlgebraicNumber
(3) -> b := sqrt(a)
4+-+
(3) \|2
Type: AlgebraicNumber
(4) -> b^2 - a
4+-+2 +-+
(4) \|2 - \|2
Type: AlgebraicNumber
That is fundamental property of square root, namely that sqrt(a)^2 = a
is violated. It seems that to avoid problem we will have to disable
the root transformation performed in (3) above. ATM I am investigating
how much consequences this will have for the algebra.
BTW: This is probably 30 years old bug (it is present in 2002 version).
And is very visible and appears in common "simple" operation.
Humbling and embarrassing...
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
