Is there any way around the associativity condition required by Algebra(R) to make the multiplication applicable to all algebras?
On Tuesday, May 16, 2023 at 2:08:18 PM UTC-5 [email protected] wrote: > >> https://fricas.github.io/api/TensorProduct.html > >> > >> does show *: (%,%)->%. > > > > This is defined only in associative case. Sid Andal has > > nonassociative algebra. Actually, code for multiplication > > should work, but it is conditioned on Algebra(R), so does > > not apply in nonassociative case. > > Oh, uh! Obviously, I should update that website, on my local > installation TensorProduct shows > > *: (%, %) -> % if M2 has Algebra R and M1 has Algebra R > from LeftModule % > > but it is not online. :-( Sorry. > > Ralf > -- 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/0a690dfb-ac8a-4b0c-ab85-aa2c19254b4fn%40googlegroups.com.
