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

(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 post to this group, send email to
Visit this group at
For more options, visit

Reply via email to