Tensor fields, scalar fields, sections and (bundle) connections are a priori mutable. However, according to #30181, it should be possible to make them immutable and in conclusion to make them hashable.

Connections and bundle connections are already hashable even though they are not immutable. This will be changed accordingly in this ticket.

• Scalar Fields: Immutability for scalar fields #30266
• Scalar Fields II: Immutability of Scalar Fields II #30311
• Tensor Fields (without hash): Immutability of Tensor Fields #30274, Follow Up: Mutability of Sections and Tensor Fields #31255
• Affine Connections: Immutability of Affine Connections #30280
• Bundle Connections: Immutability of Bundle Connections #30284
• Sections (without hash): Immutability for Sections #30288, Follow Up: Mutability of Sections and Tensor Fields #31255
• Chart Functions (without hash): Immutability of chart functions #30310
• Mixed Differential Forms: Immutability for mixed forms #31706

Depends on #30181
Depends on #30266
Depends on #30274
Depends on #30280
Depends on #30284
Depends on #30288
Depends on #30310
Depends on #30311
Depends on #31706

CC: @egourgoulhon @mkoeppe @tscrim

Component: manifolds

Keywords: immutability

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