Thank you. That's much better.
%%% (150) -> 1/((rsimp(xx)$RootSimplification)::AN)
+-+
31 \|5 - 25
(150) ------------
+--+
\|10
Ralf
On 1/14/25 22:51, Waldek Hebisch wrote:
On Tue, Jan 14, 2025 at 02:19:46PM +0100, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
Hi Waldek,
I know that rsimp isn't perfect and that you will improve it in the future.
But somehow I find this result a bit weird given that 31^2=961.
Ralf
%%% (240) -> xx := sqrt(-155*sqrt(5)+543)
+----------------+
| +-+
(240) \|- 155 \|5 + 543
%%% (241) -> (rsimp(xx)$RootSimplification)
+---+
+-+ |961
(31 \|5 - 25) |---
\| 10
(241) --------------------
31
The attached patch makes this simpler: when numerator or denominator
is an exact power it pulls corresponding factor before root sign.
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/e36d527b-1675-4804-8718-d4376641dc78%40hemmecke.org.
