Fix

jump-dev · Jul 10, 2024 · c526218 · c526218
1 parent 9ff438c
commit c526218
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/Certificate/ideal.jl b/src/Certificate/ideal.jl
@@ -65,10 +65,6 @@ function _reduce_with_domain(
     )
 end
 
-_zero_basis(c::SimpleIdealCertificate) = c.zero_basis
-
-_zero_basis(c::Remainder) = _zero_basis(c.gram_certificate)
-
 function zero_basis(
     cert::AbstractIdealCertificate,
     basis,
@@ -281,10 +277,14 @@ function _quotient_basis_type(
     }
 end
 
+_zero_basis(c::SimpleIdealCertificate) = c.zero_basis
+
 function _zero_basis_type(::Type{<:SimpleIdealCertificate{C,G,Z}}) where {C,G,Z}
     return Z
 end
 
+_zero_basis(c::Remainder) = _zero_basis(c.gram_certificate)
+
 function _zero_basis_type(::Type{Remainder{C}}) where {C}
     return _zero_basis_type(C)
 end