Changeset a40b28 in git for libpolys

Timestamp:

Jul 5, 2019, 1:22:19 PM (5 years ago)

Author:

tthsqe12 <tthsqe12@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f846acd24f4deb73b0e1179f7ea25a1d457c0c11

Parents:

d7e478b022286a7b9c6c3b8ad497909018f6560d

Message:

normalize gcd before converting

File:

• libpolys/polys/flint_mpoly.cc (modified) (1 diff)

libpolys/polys/flint_mpoly.cc

@@ -823 +823 @@
   if (ok)
   {
+    // Flint normalizes the gcd to be monic.
+    // Singular wants a gcd defined over ZZ that is primitive and has a positive leading coeff.
+    if (!fmpq_mpoly_is_zero(res, ctx))
+    {
+      fmpq_t content;
+      fmpq_init(content);
+      fmpq_mpoly_content(content, res, ctx);
+      fmpq_mpoly_scalar_div_fmpq(res, res, content, ctx);
+      fmpq_clear(content);
+    }
     pres=convFlintMPSingP(res,ctx,r);
     p_Test(pres,r);