id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
28973 Automorphism Fields: Notation of Inverse gh-DeRhamSource "At this stage we have the following problem with the notation of inverses:
{{{
sage: M = Manifold(2, 'M')
sage: X. = M.chart()
sage: aib = M.automorphism_field([[0, 2], [-1, 0]], name='a^(-1)*b')
sage: c = aib.inverse(); c
Field of tangent-space automorphisms a^(-1)*b^(-1) on the 2-dimensional differentiable manifold M
}}}
That is definitely misleading. In this ticket it gets fixed by adding brackets around the element before taking its inverse if the name could cause any confusion:
{{{
sage: c = aib.inverse(); c
Field of tangent-space automorphisms (a^(-1)*b)^(-1) on the 2-dimensional differentiable manifold M
}}}
To solve this, the ticket provides a modification of `is_atomic` in `sage/tensor/modules/format_utilities.py`." defect closed major sage-9.1 geometry fixed automorphisms egourgoulhon tscrim Michael Jung Eric Gourgoulhon N/A 840304928e17abefa37418de9d702090850e06fd 840304928e17abefa37418de9d702090850e06fd