X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fpolynomial.py;h=e50fece270e78be01904872cbd3d3571698325ea;hb=HEAD;hp=55ada9a2f5d5ed259277fb8bceeb53f43a1b30e1;hpb=b3645cbffe999681a590ffbafa2b2ca9766e68cd;p=sage.d.git 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)