Compacting the display of tensor product

[8f7278ee-e22d-4c4e-aed1-8e3fe00e8e9a]

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

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Commit: 885e0a9

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

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

b5412cc	nothing
885e0a9	Compact tensor product display

[8f7278ee-e22d-4c4e-aed1-8e3fe00e8e9a]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
-With this ticket we *SageMath* through the methods :meth:`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display` and :meth:`~sage.manifolds.differentiable.tensorfield.TensorField.display` is now able to compact the display of the tensor product in the form `dx^2`. In the case the variable is something like `x^2`, to avoid any misunderstanding in `dx<sup>2</sup>2`, one can set ``compact_product=False`` in display to get the old displaying style `dx<sup>2*dx</sup>2`.
+With this ticket *SageMath* through the methods :meth:`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display` and :meth:`~sage.manifolds.differentiable.tensorfield.TensorField.display` 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`.

 We have also defined the rasing to power, for tensors.

[slel]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
-With this ticket *SageMath* through the methods :meth:`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display` and :meth:`~sage.manifolds.differentiable.tensorfield.TensorField.display` 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`.
+With this ticket, through the methods <code>:meth:\`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display\`</code> and <code>:meth:\`~sage.manifolds.differentiable.tensorfield.TensorField.display\`</code>, 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`.

-We have also defined the rasing to power, for tensors.
+We also define the raising to power for tensors.

[8f7278ee-e22d-4c4e-aed1-8e3fe00e8e9a]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
 With this ticket, through the methods <code>:meth:\`~sage.tensor.modules.free_module_tensor.FreeModuleTensor.display\`</code> and <code>:meth:\`~sage.manifolds.differentiable.tensorfield.TensorField.display\`</code>, 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`.

-We also define the raising to power for tensors.
+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.

[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.