Fix

jump-dev · May 28, 2024 · fe9dd32 · fe9dd32
1 parent 1a69467
commit fe9dd32
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/certificate.jl b/test/certificate.jl
@@ -199,14 +199,15 @@ function certificate_api(certificate::Certificate.AbstractIdealCertificate)
     @polyvar x
     poly = x + 1
     domain = @set x == 1
+    basis = MB.SubBasis{MB.Monomial}(MP.monomials(poly))
     @test Certificate.reduced_polynomial(
         certificate,
         MP.coefficients(poly),
-        MB.SubBasis{MB.Monomial}(MP.monomials(poly)),
+        basis,
         domain,
     ) isa Tuple
     _basis_check(
-        Certificate.gram_basis(certificate, poly),
+        Certificate.gram_basis(certificate, basis),
         Certificate.gram_basis_type(typeof(certificate), MP.monomial_type(x)),
     )
     zbasis = Certificate.zero_basis(certificate)