Hi Waldek,I just wanted to report a case where rsimp takes too long, see attachment. Maybe you have other examples, but this one appeared as part of a real computation and it took me a while to figure out that rsimp was to blame.
ResourceFunction["RadicalDenest"] from Mathematica also fails on that example, but aborts after a certain period of time and gives back a warning and the input expression.
BTW, clearly rsimp is not a full-blown user functon (yet), but if it will be can you invent a name that sticks to the convention of having full names (not abbreviations) in exported functions? Thank you.
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/409d3a69-c041-4d27-9db8-78bc848fe615%40hemmecke.org.
testrsimp.nb
Description: application/vnd.wolfram.mathematica
-- Running rsimp does not stop/. )time on E ==> Expression Integer c := (-1193025228393592*sqrt(177)+15755541079348575*sqrt(-1)*sqrt(59)+112322056077481800*sqrt(-1)*sqrt(3)-9873472409725107)*nthRoot(-12164493*sqrt(177)+356238696575744, 3)^2+(84572636417828824991*sqrt(177)+1116897630488360767800*sqrt(-1)*sqrt(59)-7962423747848777672025*sqrt(-1)*sqrt(3)-699922515106039414488)*nthRoot(-12164493*sqrt(177)+356238696575744, 3)-214150252145096567970837225*sqrt(-1)*sqrt(59)+134200824677593849261724661 rsimp(c::E)$RootSimplification rsimp(sqrt(c)::E)$RootSimplification
