#15916: Tensors on free modules of finite rank
-------------------------------------+-------------------------------------
       Reporter:  egourgoulhon       |        Owner:
           Type:  enhancement        |       Status:  new
       Priority:  major              |    Milestone:  sage-6.2
      Component:  linear algebra     |   Resolution:
       Keywords:  free module,       |    Merged in:
  tensor, tensor product             |    Reviewers:
        Authors:  Eric Gourgoulhon,  |  Work issues:
  Michal Bejger                      |       Commit:
Report Upstream:  N/A                |  e34f29ec69a4595f52894724a5aec22a571c02ce
         Branch:                     |     Stopgaps:
  u/egourgoulhon/tensor_modules      |
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by egourgoulhon):

 This ticket implements tensor modules T^(k,l)^(M) of a fixed type (k,l)
 over a free module M of finite rank, while #15726 implements the tensor
 algebra T(M), which is the direct sum of all T^(k,l)^(M).

 Another major difference is that here the base module M is a generic free
 module, while in #15726 M is a free module with a distinguished basis (the
 classes !TensorModule and !TensorAlgebra of #15726 inherit from class
 !CombinatorialFreeModule, which assumes a distinguished basis). In the
 present ticket, an arbitrary number of bases can be introduced on the free
 module M, along with the change-of-basis automorphisms, and each tensor
 has various sets of components, one per basis.

 Another difference may regard symmetry/antisymmetry handling: the tensors
 implemented in this ticket can have arbitrary symmetries and/or
 antisymmetries. The symmetries are taken into account to reduce the
 storage of tensor components and to optimize some computations, such as
 the tensor product. But maybe something similar is implemented in #15726.

--
Ticket URL: <http://trac.sagemath.org/ticket/15916#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" 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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to