Automorphism fields: remove SR enforcement when computing the inverse

[DeRhamSource]

The SR enforcement in sage/manifolds/differentiable/automorphismfield.py is only a temporary solution since it uses only one chart. Using the common inversion algorithm would lead into high computation times since division free algorithms are used. An unmathematical solution would be adding is_field() to sage/manifolds/scalarfield_algebra.py returning True since sophisticated inversion algorithms are used then.

Scalar fields behave in a similar way to symbolic ring elements: There is a _div_ given and "most" elements are invertible. Therefore it would be great to have the possibility to force and at least try the algorithm of matrix inversion for fields on matrices having this kind of elements (at least for internal use).

CC: @egourgoulhon

Component: linear algebra

Keywords: matrix

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

[embray]

comment:2

Ticket retargeted after milestone closed

[mkoeppe]

comment:3

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

[mkoeppe]

comment:5

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