Ticket #9944: trac9944_addendum.patch

File trac9944_addendum.patch, 1.0 KB (added by SimonKing, 12 years ago)

Making one doctest safer

  • sage/rings/polynomial/polynomial_ring.py 

    # HG changeset patch
# User Simon King <simon.king@uni-jena.de>
# Date 1306245026 -7200
# Node ID a2dda6c84c08c7c09c6eca0f9cffe8747154ea06
# Parent  2857c90070e4b17be4aa9f5c7a92a595de0365bc
#9944: Derandomize the result of one doctest.

diff --git a/sage/rings/polynomial/polynomial_ring.py b/sage/rings/polynomial/polynomial_ring.py
    a b  
    3535    sage: k = PolynomialRing(ZZ,'y', sparse=True); loads(dumps(k))
    3636    Sparse Univariate Polynomial Ring in y over Integer Ring
    3737
    38 Rings with different variable names are not equal::
     38Rings with different variable names are not equal; in fact,
     39by trac ticket #9944, poynomial rings are equal if and only
     40if they are identic (which should be the  case for all parent
     41structures in Sage)::
    3942
    40     sage: QQ['y'] < QQ['x']
    41     False
    42     sage: QQ['y'] < QQ['z']
     43    sage: QQ['y'] != QQ['x']
     44    True
     45    sage: QQ['y'] != QQ['z']
    4346    True
    4447
    4548We create a polynomial ring over a quaternion algebra::