On Mon, Feb 17, 2020 at 05:14:11PM +0100, Kurt Pagani wrote:
> 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
>
FramedModule was intended for use in noncommutative contexts, so
one have to choose between left and right. Left seems more
natural, I to limit effort I did not provide right version.
Note that in context of say differential operators base
ring may be commutative, but we still need to distinguish
between left and right.
Concerning FreeModuleCategory, our concept of free module
requires additional features. It is not entirely clear
for me if FramedModule should have FreeModuleCategory
--
Waldek Hebisch
--
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/20200217165007.GD37879%40math.uni.wroc.pl.
