Abhinav Baid wrote:
>
> Oh, I should've paid closer attention to the warning you gave before
> (about LODO3 having the output as plain D).
> I've changed it now. [1] Is this okay?
>
> [1] https://github.com/fandango-/spad/blob/master/task2.spad
>
Good. Just one more remark: to convert from 'xD' to 'D' we need to
divide by 'x'. Probably the simplest way to ensure that we
can do division is to assume that R is a field. Your
current code will fail if 'x' is not invertible in R. If
you want such behaviour, then IntegralDomain is not needed.
In Ring there is 'recip' which will return "failed" if 'x'
is not invertible and give you inverse otherwise.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
