]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
mjo/polynomial.py: add hacks for SageMath Trac #28855.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 9 Dec 2019 02:23:33 +0000 (21:23 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 9 Dec 2019 02:23:33 +0000 (21:23 -0500)
mjo/polynomial.py

index 9ef2902320318141d4089e3a27ff12e8b94e4de2..55ada9a2f5d5ed259277fb8bceeb53f43a1b30e1 100644 (file)
@@ -140,7 +140,8 @@ def multidiv(f, gs):
         sage: x,y,z = R.gens()
         sage: s = ZZ.random_element(1,5).abs()
         sage: gs = [ R.random_element() for idx in range(s) ]
-        sage: f = R.random_element(ZZ.random_element(10).abs())
+        sage: # hack for SageMath Trac #28855
+        sage: f = R(R.random_element(ZZ.random_element(10).abs()))
         sage: (qs, r) = multidiv(f,gs)
         sage: r != 0 or f in R.ideal(gs)
         True
@@ -153,7 +154,8 @@ def multidiv(f, gs):
         sage: R = PolynomialRing(QQ, 'x,y,z')
         sage: s = ZZ.random_element(1,5).abs()
         sage: gs = [ R.random_element() for idx in range(s) ]
-        sage: f = R.random_element(ZZ.random_element(10).abs())
+        sage: # hack for SageMath Trac #28855
+        sage: f = R(R.random_element(ZZ.random_element(10).abs()))
         sage: (qs, r) = multidiv(f,gs)
         sage: r + sum( qs[i]*gs[i] for i in range(len(gs)) ) == f
         True
@@ -169,7 +171,8 @@ def multidiv(f, gs):
         sage: R = PolynomialRing(QQ,'x,y,z')
         sage: gs = R.random_element().monomials()
         sage: I = R.ideal(gs)
-        sage: f = I.random_element(ZZ.random_element(5).abs())
+        sage: # hack for SageMath Trac #28855
+        sage: f = R(I.random_element(ZZ.random_element(5).abs()))
         sage: (qs, r) = multidiv(f, gs)
         sage: r.is_zero()
         True