hello, For juniors. Just for them
That's all cheers __ Greg Le lun. 17 févr. 2020 à 17:50, Waldek Hebisch <[email protected]> a écrit : > 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 > . > -- 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/CAHnU2db0cParOXML_Lx76cAui97%2BV7fu8JFW8roJpb6P2owdTA%40mail.gmail.com.
