Fix MonomialOrdering constructor

oscar-system · Jun 29, 2023 · cfed019 · cfed019
1 parent 39df429
commit cfed019
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/src/Rings/orderings.jl b/src/Rings/orderings.jl
@@ -175,10 +175,14 @@ mutable struct MonomialOrdering{S}
   is_total::Bool
   is_total_is_known::Bool
   canonical_matrix::ZZMatrix
-end
 
-function MonomialOrdering(R::S, o::AbsGenOrdering) where S
-   return MonomialOrdering{S}(R, o, false, false)
+  function MonomialOrdering(R::S, o::AbsGenOrdering) where {S}
+    return new{S}(R, o, false, false)
+  end
+
+  function MonomialOrdering(R::S, o::AbsGenOrdering, is_total::Bool) where {S}
+    return new{S}(R, o, is_total, true)
+  end
 end
 
 base_ring(a::MonomialOrdering) = a.R