> Let me explain with the simpler division. More correct would be > something like > > /: (Integer, NonZeroInteger) -> Fraction(Integer)
The problem with this approach is that NonZeroInteger doesn't have the nice features Integer has: NonZeroInteger is not AbelianGroup, so you don't have "add" in it. There are much fewer functions in NonZeroInteger with signature %->%, which means NonZeroInteger doesn't "propagate" well. So you still have to add checks somewhere and signal errors, or propagate the error through Maybe. -- 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.
