I'd like to construct the tensor product of three or more different modules, e.g. U#V#W. This is possible when iterating TensorProduct, however, the output somehow doesn't look as expected. I created a sandbox example (esp. eq 18).
http://axiom-wiki.newsynthesis.org/SandBoxTensorProduct3 I've no idea how there to correctly set B12 in order to get e_1#g_1#h^1 instead of [e_1,g_1]#h^1. I'm also wondering why in TensorProduct(R, B1, B2, M1, M2) the ordered sets B1,B2 are not extracted from M1,M2 (I guess there is reason for that). Moreover it would be nice if an ordered basis could be exported from TP which can be reused when building higher orders. Any help is greatly appreciated. Kurt -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
