Opened 15 months ago
Last modified 5 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.3 |
| Component: | linear algebra | Keywords: | manifolds, matrix |
| Cc: | egourgoulhon | Merged in: | |
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
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 (4)
comment:1 Changed 15 months ago by
- Summary changed from Automorphismfields: Remove SR enforcement to Automorphism fields: remove SR enforcement when computing the inverse
comment:2 Changed 13 months ago by
- Milestone changed from sage-9.0 to sage-9.1
comment:3 Changed 9 months ago by
- 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 5 months ago by
- Milestone changed from sage-9.2 to sage-9.3
Ticket retargeted after milestone closed