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 fricas-devel+unsubscr...@googlegroups.com. 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.