Merge branch 'master' into add_fq_poly

Author: GiacomoPope

.github/workflows/buildwheel.yml

@@ -138,6 +138,23 @@ jobs:
       - run: pip install .
       - run: python -m flint.test --verbose
 
+  # Test that we can still make a coverage build with setuptools.
+  test_coverage_setuptools:
+    name: Test coverage setuptools build
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - run: sudo apt-get update
+      - run: sudo apt-get install libflint-dev
+      - run: pip install cython setuptools coverage
+      - run: bin/coverage.sh
+        env:
+          PYTHONPATH: src
+      - run: coverage report --sort=cover
+
   # Run SymPy test suite against python-flint master
   test_sympy:
     name: Test SymPy ${{ matrix.sympy-version }}

setup.py

@@ -103,7 +103,6 @@
     ("flint.types.fmpz_mod_mat", ["src/flint/types/fmpz_mod_mat.pyx"]),
 
     ("flint.types.fmpq_mpoly", ["src/flint/types/fmpq_mpoly.pyx"]),
-    ("flint.types.fmpz_mpoly_q", ["src/flint/types/fmpz_mpoly_q.pyx"]),
 
     ("flint.types.fq_default", ["src/flint/types/fq_default.pyx"]),
     ("flint.types.fq_default_poly", ["src/flint/types/fq_default_poly.pyx"]),

src/flint/test/test_all.py

@@ -2247,6 +2247,37 @@ def test_fmpz_mod_poly():
         l = [-1,-2,-3,-4,-5]
         assert [f(x) for x in l] == f.multipoint_evaluate(l)
 
+        # truncate things
+
+        f = R_test.random_element()
+        g = R_test.random_element()
+        h = R_test.random_element()
+        x = R_test.gen()
+
+        f_trunc = f % x**3
+
+        assert f.equal_trunc(f_trunc, 3)
+        assert not f.equal_trunc("A", 3)
+        assert not f.equal_trunc(f_cmp, 3)
+
+        assert raises(lambda: f.add_trunc("A", 1), TypeError)
+        assert raises(lambda: f.add_trunc(f_cmp, 1), ValueError)
+        assert f.add_trunc(g, 3) == (f + g) % x**3
+
+        assert raises(lambda: f.sub_trunc("A", 1), TypeError)
+        assert raises(lambda: f.sub_trunc(f_cmp, 1), ValueError)
+        assert f.sub_trunc(g, 3) == (f - g) % x**3
+
+        assert raises(lambda: f.mul_low("A", h), TypeError)
+        assert raises(lambda: f.mul_low(g, "A"), TypeError)
+        assert f.mul_low(g, 3) == (f * g) % x**3
+
+        assert raises(lambda: f.mul_mod(f_cmp, h), ValueError)
+        assert raises(lambda: f.mul_mod(g, f_cmp), ValueError)
+        assert f.mul_mod(g, h) == (f * g) % h
+
+        assert raises(lambda: f.pow_trunc(-1, 5), ValueError)
+
 
 def test_fmpz_mod_mat():
     c11 = flint.fmpz_mod_ctx(11)