From 72b89f5b78816a6d8a7e94aba78cf869d4fe1c18 Mon Sep 17 00:00:00 2001 From: Hans Schoenemann Date: Fri, 3 Nov 2023 14:17:20 +0100 Subject: [PATCH] fix: libSingular.rRingOrder_t --- src/poly/orderings.jl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/poly/orderings.jl b/src/poly/orderings.jl index b2c144af3..e6cdf18f9 100644 --- a/src/poly/orderings.jl +++ b/src/poly/orderings.jl @@ -68,7 +68,6 @@ end function _is_basic_ordering(t::libSingular.rRingOrder_t) return t == ringorder_lp || t == ringorder_ls || t == ringorder_ip || t == ringorder_is || - t == ringorder_rp || t == ringorder_rs || t == ringorder_dp || t == ringorder_ds || t == ringorder_Dp || t == ringorder_Ds || t == ringorder_Ip