Riccardo GUIDA wrote:
>
> 6) for which domains of a and x is true that x^a = e^{a log(x)} (in FriCAS, I
> mean)? When this is (automatically) used? I will do empirical tests asap I'll
> have time but a design statement is always helpful.
Well, how you define 'x^a'? I am aware of only one FriCAS domain
which defines 'x^a' for irrational 'a' differently than via 'exp'.
The exception is SmallOrdinal and you could argue that ordinals
are in some sense "rational".
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
