The documentation of rootSimp says it
"transforms every radical of the form ..."

##
Advertising

(1) -> rootSimp sqrt(2 * sqrt(a^4))
+------+
| +--+
| | 4
(1) \|2\|a
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.