Add some missing supertypes

oscar-system · Jan 29, 2024 · fb1698f · fb1698f
1 parent dede844
commit fb1698f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/Rings/FreeAssAlgIdeal.jl b/src/Rings/FreeAssAlgIdeal.jl
@@ -10,11 +10,11 @@
 # necessarily be confined to a degree bound.
 
 @doc raw"""
-    mutable struct FreeAssAlgIdeal{T} <: FreeAssAlgIdeal{T}
+    mutable struct FreeAssAlgIdeal{T}
 
 Two-sided ideal of a free associative algebra with elements of type `T`.
 """
-mutable struct FreeAssAlgIdeal{T}
+mutable struct FreeAssAlgIdeal{T} <: Ideal{T}
   gens::IdealGens{T}
   gb::IdealGens{T}
 

diff --git a/src/Rings/Laurent.jl b/src/Rings/Laurent.jl
@@ -13,7 +13,7 @@ import AbstractAlgebra: LaurentMPolyRing, LaurentMPolyRingElem
   end
 end
 
-mutable struct LaurentMPolyIdeal{T}
+mutable struct LaurentMPolyIdeal{T} <: Ideal{T}
   R
   gens::Vector{T}
   data # ideal of of _polyringquo(R)

diff --git a/src/Rings/PBWAlgebra.jl b/src/Rings/PBWAlgebra.jl
@@ -20,7 +20,7 @@ mutable struct PBWAlgElem{T, S} <: NCRingElem
   sdata::Singular.spluralg{S}
 end
 
-mutable struct PBWAlgIdeal{D, T, S}
+mutable struct PBWAlgIdeal{D, T, S} <: Ideal{PBWAlgIdeal{T, S}}
   basering::PBWAlgRing{T, S}
   sdata::Singular.sideal{Singular.spluralg{S}}    # the gens of this ideal, always defined
   sopdata::Singular.sideal{Singular.spluralg{S}}  # the gens mapped to the opposite