Pulling ring extension changes out into a separate branch

sagemath · Feb 19, 2022 · 943c995 · 943c995
1 parent 826061a
commit 943c995
Show file tree

Hide file tree

Showing 8 changed files with 449 additions and 190 deletions.
diff --git a/src/sage/rings/ring_extension.pxd b/src/sage/rings/ring_extension.pxd
@@ -1,11 +1,14 @@
 from sage.categories.map cimport Map
 from sage.rings.ring cimport CommutativeRing, CommutativeAlgebra
 from sage.rings.ring_extension cimport RingExtension_generic
+from sage.rings.ring_extension_morphism cimport RingExtensionBackendIsomorphism, RingExtensionBackendReverseIsomorphism
 
 
 cdef class RingExtension_generic(CommutativeAlgebra):
     cdef _type
-    cdef _backend
+    cdef public _backend
+    cdef RingExtensionBackendIsomorphism _from_backend_morphism
+    cdef RingExtensionBackendReverseIsomorphism _to_backend_morphism
     cdef _defining_morphism
     cdef _backend_defining_morphism
     cdef dict _print_options