[ replying late. ] Bill Page <bill.p...@newsynthesis.org> writes:
| Gaby, | | Is this a typo? Or a recent change? A typo -- sorry. | | As far as I can see VectorSpace *does* export dimension with a result | in CardinalNumber. I suppose that in most usages is it simply | converted to NNI. | | Regards, | Bill Page. | | On Thu, Mar 24, 2011 at 7:31 PM, you wrote: | > | > 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. | > ------------------------------------------------------------------------------ Xperia(TM) PLAY It's a major breakthrough. An authentic gaming smartphone on the nation's most reliable network. And it wants your games. http://p.sf.net/sfu/verizon-sfdev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
