Add fmpq_mpoly.zpoly and fmpq_mpoly.zcontent

Author: magv

src/flint/types/fmpq_mpoly.pyi

@@ -102,6 +102,9 @@ class fmpq_mpoly(flint_mpoly[fmpq_mpoly_ctx, fmpq, ifmpq]):
     def xgcd(self, other: fmpq_mpoly, /) -> fmpq: ...
     def term_content(self) -> fmpq_mpoly: ...
 
+    def zpoly(self) -> fmpz_mpoly: ...
+    def zcontent(self) -> fmpq: ...
+
     def factor(self) -> tuple[fmpq, list[tuple[fmpq_mpoly, int]]]: ...
     def factor_squarefree(self) -> tuple[fmpq, list[tuple[fmpq_mpoly, int]]]: ...
 

src/flint/types/fmpq_mpoly.pyx

@@ -17,7 +17,7 @@ from flint.types.fmpz_vec cimport fmpz_vec
 from flint.types.fmpq_vec cimport fmpq_vec
 
 from flint.types.fmpz cimport fmpz, any_as_fmpz
-from flint.types.fmpz_mpoly cimport fmpz_mpoly
+from flint.types.fmpz_mpoly cimport fmpz_mpoly, fmpz_mpoly_ctx, create_fmpz_mpoly
 
 from flint.flintlib.functions.fmpq cimport fmpq_set, fmpq_one
 from flint.flintlib.functions.fmpq_mpoly cimport (
@@ -785,6 +785,26 @@ cdef class fmpq_mpoly(flint_mpoly):
         fmpq_mpoly_term_content(res.val, self.val, self.ctx.val)
         return res
 
+    def zpoly(self):
+        """
+        Return the integer polynomial of ``self``. The product
+        of this and ``self.zcontent()``, represents the whole
+        polynomial.
+        """
+        cdef fmpz_mpoly_ctx zctx = fmpz_mpoly_ctx.from_context(self.ctx)
+        cdef fmpz_mpoly res = create_fmpz_mpoly(zctx)
+        fmpz_mpoly_set(res.val, self.val.zpoly, zctx.val)
+        return res
+
+    def zcontent(self):
+        """
+        Return the content of ``self``. The product of this and
+        ``self.zpoly()``, represents the whole polynomial.
+        """
+        cdef fmpq res = fmpq.__new__(fmpq)
+        fmpq_set(res.val, self.val.content)
+        return res
+
     def resultant(self, other, var):
         """
         Return the resultant of ``self`` and ``other`` with respect to variable ``var``.