Bill Page <bill.p...@newsynthesis.org> 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 ------------------------------------------------------------------------------ Enable your software for Intel(R) Active Management Technology to meet the growing manageability and security demands of your customers. Businesses are taking advantage of Intel(R) vPro (TM) technology - will your software be a part of the solution? Download the Intel(R) Manageability Checker today! http://p.sf.net/sfu/intel-dev2devmar _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
