oldk1331 wrote:
>
> 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?
Yes, it is evaluation order. I have commited a fix.
--
Waldek Hebisch
--
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.
