I encountered the same bug described in:
https://groups.google.com/d/msg/fricas-devel/hHd9C1aY30U/UxZeg1gNkcEJ
Namely, the simplest case is:
(1) -> radicalSolve([y-x])
(1) [[y= y]]
Type:
List(List(Equation(Expression(Integer))))
(2) -> radicalSolve([y-x=0])
(2) [[y= y]]
Type:
List(List(Equation(Expression(Integer))))
According to documentation of RadicalSolvePackage in solverad.spad,
The first expression should signal an error, because it requires
'a system of univariate rational functions' as its argument, which
is a little strange.
And the second expression should 'with respect to the unique symbol x',
which not reflected in its source code at all.
Fix the implementation according to documentation, or remove these
functions (because they are not very useful compared with other
overloadings)?
By the way, this RadicalSolvePackage has never changed since
the beginning of Fricas.
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
