Skip to content

Commit 82c9ee8

Browse files
committed
adds check for degree of finite field
1 parent 8e7d9fc commit 82c9ee8

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/interfaces/nemo.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ function _convert_to_msolve(
1818
nr_terms = sum(lens)
1919
field_char = characteristic(R)
2020

21-
if field_char > 2^31
22-
error("At the moment we only support finite fields up to prime characteristic < 2^31.")
21+
if field_char > 2^31 || degree(base_ring(R)) != 1
22+
error("At the moment we only support prime fields up to prime characteristic < 2^31.")
2323
end
2424
# get coefficients
2525
if field_char == 0

0 commit comments

Comments
 (0)