>> I also would like the "inverse" above to fail. Better would be to offer >> PrimeField 5, but that might involve checking for primeness of 5. > > no no no: IntegerMod does not have Field, and thus no inverse.
Well, but if you accept to insert coercions, you might want to coerce to PrimeField 5. That was what I was referring to above. Otherwise I agree. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
