I am doing some computations involving tensor products of vector spaces, and I wouldn't mind using Sage. Does anyone have any relevant code that I could use/steal/appropriate? In return, if I feel inspired, I can try to bang it into shape for (a first draft of?) a patch for the official Sage code.
If there is nothing out there, my plan would be to implement a 'tensor' method for free modules (over commutative rings, which I think is all Sage knows about anyway, as far as free modules are concerned), or maybe a 'left_tensor' method and a 'right_tensor' method (although it seems clear to me that V.tensor(W) should mean V tensor W). There would be a new class, FreeModuleTensorProduct or something like that, which inherit from FreeModule and would keep track of the factors. The basis for the tensor product would be the obvious thing. What else should go into this? It would be nice if there were a binary operator that one could use, but neither V+W nor V*W is not the right thing. By the way, should there be a _mul_ method for vector spaces (or free modules) which returns the cartesian product of the arguments, or was this intentionally omitted? What about exponential notation for Hom sets? John --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
