Immutability of Tensor Fields

[mjungmath]

See #30261.

The immutability behavior for tensor fields appears a little bit tricky.

Follow up: #31255

Depends on #30181

CC: @egourgoulhon @tscrim @mkoeppe

Component: manifolds

Keywords: immutability

Author: Michael Jung

Branch: 1b599b2

Reviewer: Matthias Koeppe

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

[mjungmath]

Changed keywords from none to immutability

[mjungmath]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
+See #30261.
 
+The immutability behavior for tensor fields appears a little bit tricky. I will upload a proposal soon.

[mjungmath]

Branch: u/gh-mjungmath/immutability_of_tensor_fields

[mjungmath]

New commits:

286d3c6	FreeModuleTensor, Vector: Subclass a new class ModuleElementWithMutability
9df3d22	sage.tensor.modules: Make all zero() and one() elements immutable
4373ea2	FreeModuleTensor: Replace special casing of the immutable zero by is_immutable
a2ee8be	ModuleElementWithMutability.is_immutable, is_mutable: Change def to cpdef
fa6bd69	Trac #30274: Merge branch 't/30181/immutable_elements_of_freemoduletensor' into t/30274/immutability_of_tensor_fields
0ba933a	Trac #30274: first trial of immutability

[mjungmath]

Commit: 0ba933a

[mjungmath]

Author: Michael Jung

[mjungmath]

comment:5

Let's wait for the patchbot.

I had to make some modifications for automorphism fields. My doctests all passed.

[mjungmath]

Dependencies: #30181

[mjungmath]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
 See #30261.
 
-The immutability behavior for tensor fields appears a little bit tricky. I will upload a proposal soon.
+The immutability behavior for tensor fields appears a little bit tricky.

[sagetrac-git]

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

1b599b2

Trac #30274: patchbot complaints fixed