There are too many changes going on at once, so that a merge in the end might be difficult. In order to avoid such difficulties and to keep an overview of things that are happening (for me and others), I use this ticket from now on as a metaticket, where all latest changes are merged together. Cross ticket references are possible.

This metaticket is mainly devoted to the topic of immutability of algebra elements (see discussion below).

This ticket is related to manifolds and therefore part of the permanent metaticket #18528.

Things going on:

• Scalar Field Restrictions #28554: Scalar Field Restrictions
• Tensor Fields: Better Zero Treatment #28562: Better Zero Treatment
• Tensor Fields and Sections: Naming Consistencies #28564: Consistent Naming for Tensor and Scalar Fields
• Wedge Product with Scalar Fields #28579: Wedge Product with Scalar Fields
• Mixed Forms Code Improvements #28578: Mixed Forms Code Improvements
• Tensor Fields: set_restriction Behaviour #28628: Restriction Behaviour of Tensor Fields

Depends on #28554
Depends on #28562
Depends on #28564
Depends on #28579
Depends on #28578

CC: @tscrim @egourgoulhon

Component: geometry

Keywords: tensor fields, mixed forms, scalar fields

Author: Michael Jung

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