oldk1331 wrote:
> 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)?
AFAICS there is a documentation bug: they should solve system
with respect to all variables appearing to functions (equations).
Another thing is:
(4) -> radicalSolve([y-x], [y, x])
(4) [[y= y]]
Type: List(List(Equation(Expression(Integer))))
This should either signal error or do something sensible. Compare:
(5) -> radicalSolve([y-x, y+x + 2], [y, x])
(5) [[y= - 1,x= - 1]]
Type: List(List(Equation(Expression(Integer))))
(6) -> radicalSolve([y-x, y+x + 2])
(6) [[y= - 1,x= - 1]]
Type: List(List(Equation(Expression(Integer))))
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
