Opened 19 months ago

Last modified 3 months ago

#28629 new enhancement

Automorphism fields: remove SR enforcement when computing the inverse

Reported by: gh-DeRhamSource Owned by:
Priority: major Milestone: sage-9.4
Component: linear algebra Keywords: manifolds, matrix
Cc: egourgoulhon Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

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

Change History (5)

comment:1 Changed 19 months ago by egourgoulhon

  • Summary changed from Automorphismfields: Remove SR enforcement to Automorphism fields: remove SR enforcement when computing the inverse

comment:2 Changed 16 months ago by embray

  • Milestone changed from sage-9.0 to sage-9.1

Ticket retargeted after milestone closed

comment:3 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.1 to sage-9.2

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.

comment:4 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:5 Changed 3 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

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

Note: See TracTickets for help on using tickets.