Bill Page <[email protected]> writes: | This is not so different than considering the CardinalNumber | domain as an extension of NonNegativeInteger. CardinalNumber is not | used much in FriCAS except as the domain of the operation 'dimension' | (of VectorSpace, etc.) however it includes a value of Aleph(0) for | infinite cardinality.
I have always considered it a weakness that VectorSpace did not use CardinalNumber for dimension -- even if for all practical purposes NonNegativeInteger is sufficient and more efficient. That, in my opinion, calls for an efficient abstraction, e.g. find a way to support CardinalNumber and make the common cases as efficient as NonNegativeInteger. (please don't mention `subsumption', I don't want to go there.) -- Gaby -- 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.
