On 17.02.2020 16:44, Waldek Hebisch wrote: > On Sun, Feb 16, 2020 at 09:15:29PM +0100, Ralf Hemmecke wrote: >> On 2/16/20 4:40 PM, Waldek Hebisch wrote:
> Actually, 'dimension' alone is of limited use. In finite > dimensional case one usually wants a basis and we have > good ways to provide basis (like FramedModule). May I ask why you used LeftAlgebra(R) in the implementation? A special reason? It's natural of course to multiply from the left but it limits the use together with other constructs (i.e. when providing a basis we somehow should be able to form the tensor products, IMO): (1) -> FramedModule Integer has FreeModuleCategory(Integer,Symbol) (1) false > Actually, > it would be rather unusual when one can compute dinension > and get finite value, but one can not easily give a basis. > So, in this sence current VectorSpace looks like bad > concept: it requres _one_ extra nontrival operation, but > omits a lot of other which would be needed in practical > computations. Yes, admittedly true. I think FreeModule(R, S) is perfectly sufficient for most applications (dimension related to #S). I guess nobody will go beyond aleph0. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/da8b3139-998f-cd53-1b87-1c234dca60a1%40gmail.com.
