Skip to content

Commit

Permalink
CI passes, I think
Browse files Browse the repository at this point in the history
  • Loading branch information
sumiya11 committed Oct 25, 2024
1 parent fed330e commit 093b273
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/extensions/groebner.jl
Original file line number Diff line number Diff line change
Expand Up @@ -75,10 +75,10 @@ basis = groebner_basis(system)
# issues/1323
@variables t S(t) R(t)
sys = [-12 + 5S, 2 + 5R]
@test isequal(groebner_basis(sys, ordering=Lex(S, R)), [2//5 + R, -12//5 + S])
@test isequal(expand.(groebner_basis(sys, ordering=Lex(S, R))), [2//5 + R, -12//5 + S])
sys = [S^2 + 2*R^2 - 1, S*R - 1]
res = [(1//2) - (1//2)*(R^2) + R^4, S - R + (2//1)*(R^3)]
@test isequal(groebner_basis(sys, ordering=Lex(S, R), res)
@test isequal(expand.(groebner_basis(sys, ordering=Lex(S, R))), res)

# Groebner does not yet work with constant ideals
@test_broken groebner_basis([1])

0 comments on commit 093b273

Please sign in to comment.