At this stage we have the following problem with the notation of inverses:

sage: M = Manifold(2, 'M')
sage: X.<x,y> = 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.

CC: @egourgoulhon @tscrim

Component: geometry

Keywords: automorphisms

Author: Michael Jung

Branch/Commit: 8403049

Reviewer: Eric Gourgoulhon

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