On 07/01/2014 03:42 AM, Bill Page wrote: >> You want that Ring inherits from Approximate(Ring) > > No. Both Ring and Approximate(Ring) are categorys. There is no > inheritance implied here.
What does then that mean? >>> Maybe also >>> >>> Ring has Approximate(Ring) >>> >>> true And (if that would actually worked), Approximate(X:Category):Category == X looks to me as if Approximate(Ring) inherits from Ring. 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.
