Martin R wrote:
>
> Hi again,
>
> what is the semantics of the InputForm of rootOf precisely? Is it as
> follows:
>
> (rootOf p v)
>
> "defines" v to be one of (???) the roots of the polynomial p?
>
> Isn't it important which root?
I should not matter which one -- if it matters, then use of
'rootOf' is incorrect. To be more precise: polynomial 'p'
should be irreducible and in such case for algebraic computations
each root have equal rights (they are indistinguishable).
ATM it happens that FriCAS uses 'rootOf' in cases where it should
not -- we are fixing such things, but fixes usually involve
a lot of work so this is slow process.
--
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.
