> Approximate(X:Category):Category == X > ++ mathematical properties are only approximate e.g. as in Float
Wow! That's a precise specification! ;-) > Then maybe we could arrange something like > > Float has Ring > > false > > Float has Approximate(Ring) > > true > > Integer has Ring > > true > > Maybe also > > Ring has Approximate(Ring) > > true > > Integer has Approximate(Ring) > > true You want that Ring inherits from Approximate(Ring) and you want Float: Approximate(Ring), but not 'Float has Ring'? That's contradictory. And (since Ring is not a domain) Ring has Approximate(Ring) is not a correct SPAD expression. Ralf -- 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.
