The documentation of rootSimp says it
"transforms every radical of the form ..."
(1) -> rootSimp sqrt(2 * sqrt(a^4))
| | 4
rootSimp returns itself, I think rootSimp should return "a*sqrt(2)".
I don't know where went wrong.
Maybe the evaluation order of "eval : (%, List Kernel %, List %) -> %"
in the definition of rootSimp is wrong, it should eval one kernel
at a time and then recursively call rootSimp?
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 post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.