X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Fpolynomial.py;h=e50fece270e78be01904872cbd3d3571698325ea;hp=55ada9a2f5d5ed259277fb8bceeb53f43a1b30e1;hb=928b7d49fda98ff105c92293b5797bb7a2b9873a;hpb=a9a40bcc98ebf4e4821a068c7b6273430a2b459a diff --git a/mjo/polynomial.py b/mjo/polynomial.py index 55ada9a..e50fece 100644 --- a/mjo/polynomial.py +++ b/mjo/polynomial.py @@ -135,7 +135,6 @@ def multidiv(f, gs): If we get a zero remainder, then the numerator should belong to the ideal generated by the denominators:: - sage: set_random_seed() sage: R = PolynomialRing(QQ, 'x,y,z') sage: x,y,z = R.gens() sage: s = ZZ.random_element(1,5).abs() @@ -150,7 +149,6 @@ def multidiv(f, gs): times the denominators, and the remainder's monomials aren't divisible by the leading term of any denominator:: - sage: set_random_seed() 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) ] @@ -167,7 +165,6 @@ def multidiv(f, gs): should always get a zero remainder if we divide an element of a monomial ideal by its generators:: - sage: set_random_seed() sage: R = PolynomialRing(QQ,'x,y,z') sage: gs = R.random_element().monomials() sage: I = R.ideal(gs)