Hi Waldek,
I know that rsimp is not yet perfect, but would it be hard to convince
rsimp to give a positive result if the argument is positive?
%%% (401) -> u := 69961-12432*sqrt(5)
+-+
(401) - 12432 \|5 + 69961
%%% (402) -> u::Float, sqrt(u)::Float
(402)
[42162.202903722614494241152950332773841,
205.3343685400050472861798319504493703494]
%%% (403) -> v := rsimp(sqrt(u))$RootSimplification
+-+
(403) 24 \|5 - 259
%%% (404) -> v :: Complex(Float)
(404) - 205.3343685400050472861798319504493703494
Oh, maybe it is not necessary for me.
AFAIU, rsimp is for root expressions like
nthRoot(a1*nthRoot(b1,n2)+a2)
or maybe a little more complicated, but not considering deeper nesting.
And it is not applying the rules recursively.
Is that right?
I'm also missing in the docstring, that rsimp definitely returns failed,
if the argument is not of the form nthRoot(...). It would be helpful to
add that.
Ralf
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/9a659ac9-2b22-4cb0-9482-ea359116653f%40hemmecke.org.
