Remove redundant base_ring_type methods (#1894)

Nemocas · Oct 14, 2024 · 677fbcf · 677fbcf
1 parent 8fac1af
commit 677fbcf
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 6 deletions.
diff --git a/src/flint/fmpq_rel_series.jl b/src/flint/fmpq_rel_series.jl
@@ -22,8 +22,6 @@ elem_type(::Type{QQRelPowerSeriesRing}) = QQRelPowerSeriesRingElem
 
 parent_type(::Type{QQRelPowerSeriesRingElem}) = QQRelPowerSeriesRing
 
-base_ring_type(::Type{QQRelPowerSeriesRing}) = QQField
-
 base_ring(R::QQRelPowerSeriesRing) = QQ
 
 rel_series_type(::Type{QQFieldElem}) = QQRelPowerSeriesRingElem

diff --git a/src/flint/fmpz_laurent_series.jl b/src/flint/fmpz_laurent_series.jl
@@ -28,8 +28,6 @@ parent(a::ZZLaurentSeriesRingElem) = a.parent
 
 elem_type(::Type{ZZLaurentSeriesRing}) = ZZLaurentSeriesRingElem
 
-base_ring_type(::Type{ZZLaurentSeriesRing}) = ZZRing
-
 base_ring(R::ZZLaurentSeriesRing) = ZZ
 
 is_domain_type(::Type{ZZLaurentSeriesRingElem}) = true

diff --git a/src/flint/fmpz_rel_series.jl b/src/flint/fmpz_rel_series.jl
@@ -22,8 +22,6 @@ elem_type(::Type{ZZRelPowerSeriesRing}) = ZZRelPowerSeriesRingElem
 
 parent_type(::Type{ZZRelPowerSeriesRingElem}) = ZZRelPowerSeriesRing
 
-base_ring_type(::Type{ZZRelPowerSeriesRing}) = ZZRing
-
 base_ring(R::ZZRelPowerSeriesRing) = ZZ
 
 rel_series_type(::Type{ZZRingElem}) = ZZRelPowerSeriesRingElem