The bug
is:
q := simplify
(3^(1/2)*3^(1/3)*3^(1/6))
returns
1+-+
(1)
\|3
Which is not 3 ('q-3' does not return 0), although it can
be
retract to AlgebraicNumber ('retract(q)-3' returns 0), I consider
this
is a
bug.
In this case, simplify calls rootProduct in manip.spad,
see
https://github.com/fricas/fricas/blob/master/src/algebra/manip.spad#L690
https://github.com/fricas/fricas/blob/master/src/algebra/manip.spad#L369
I think rootProduct should check its return value before it
returns,
however I do not know how to fix this bug specifically.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
