Compacting the display of tensor product

[sagetrac-Dicolevrai]

With this ticket, through the methods :meth:`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display` and :meth:`~sage.manifolds.differentiable.tensorfield.TensorField.display`, SageMath is now able to compact the display of tensor product in the form dx^2. In the case the frame element is something like f^2, to avoid any misunderstanding in f<sup>2</sup>2, one can set compact_product=False in display to get the old displaying style f<sup>2*f</sup>2.

Raising a tensor field to a given power is also possible now. When the tensor is an automorphism field the composition law of maps is used instead of tensor product and in this case, raising to a nonpositive power is possible.

CC: @egourgoulhon

Component: geometry

Keywords: Tensor product

Author: Hans Fotsing Tetsing

Branch/Commit: public/manifolds/CompactProduct @ 885e0a9

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/29820

[sagetrac-git]

Commit: 885e0a9

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

b5412cc	nothing
885e0a9	Compact tensor product display

[fchapoton]

comment:6

red branch => needs work

[mkoeppe]

comment:7

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

comment:8

Setting a new milestone for this ticket based on a cursory review.