add some characteristic

Nemocas · Nov 15, 2024 · 6d5de5b · 6d5de5b
1 parent 0bd1093
commit 6d5de5b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/generic/Misc/Localization.jl b/src/generic/Misc/Localization.jl
@@ -113,6 +113,8 @@ base_ring(L::LocalizedEuclideanRing) = L.base_ring::base_ring_type(L)
 
 parent(a::LocalizedEuclideanRingElem) = a.parent
 
+characteristic(::LocalizedEuclideanRing) = characteristic(base_ring(L))
+
 ###############################################################################
 #
 #   Basic manipulation