For Octonion,
rational? x ==
(zero? imagi x) and (zero? imagj x) and (zero? imagk x) and _
(zero? imagE x) and (zero? imagI x) and (zero? imagJ x) and _
(zero? imagK x)
That doesn't seem to be correct: for Octonion Float, every
coerce(afloat)@OCT(Float) is rational?
For other domains, 'rational?' is equivalent to 'integer?'
For RationalRetractions, if these functions are useful,
then it's better for RationalRetractions to be a Category?
But most of these domains are not RetractableTo(Fraction Integer),
they are RetractableTo(Integer) then convert to Fraction Integer.
--
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.
