You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The simplification_isomorphism() method in the class
sage.groups.finitely_presented.FinitelyPresentedGroup_with_category
returns an isomorphism, which would in particular mean it is invertible. It would be useful to be able to access the inverse, however there is no obvious way to access this inverse.
<class 'sage.groups.finitely_presented.GroupMorphismWithGensImages'>
---------------------------------------------------------------------------
TypeError Traceback (most recent call last)
<ipython-input-7-106829259be7> in <module>()
3 I = H.simplification_isomorphism()
4 print(type(I))
----> 5 ~I
TypeError: bad operand type for unary ~: 'GroupMorphismWithGensImages'
I'm not sure if ~I would be the way to invert the map, but there are no obvious inversion methods in I, and the type of I suggests it is not invertible.
Thank you for your help. I am happy to help in any way I can, but I don't have much experience with creating patches, etc.
The simplification_isomorphism() method in the class
sage.groups.finitely_presented.FinitelyPresentedGroup_with_category
returns an isomorphism, which would in particular mean it is invertible. It would be useful to be able to access the inverse, however there is no obvious way to access this inverse.
Running the following code
Results in:
I'm not sure if ~I would be the way to invert the map, but there are no obvious inversion methods in I, and the type of I suggests it is not invertible.
Thank you for your help. I am happy to help in any way I can, but I don't have much experience with creating patches, etc.
Component: group theory
Keywords: simplification_isomorphism
Issue created by migration from https://trac.sagemath.org/ticket/24137
The text was updated successfully, but these errors were encountered: