Changeset 2109:98a87cfac4d7 for sage/combinat/combinat.py

Timestamp:

12/10/06 22:02:24 (6 years ago)

Author:

Nick Alexander <ncalexander@…>

Branch:

default

Children:

2110:3058a1513352, 2111:015c2a6ce65f

Message:

Fix doctests.

File:

• sage/combinat/combinat.py (modified) (2 diffs)

sage/combinat/combinat.py

@@ -707 +707 @@
          ['n', 'e'], ['s', 'i'], ['t', 'i'], ['e', 'i'], ['i', 'i'], ['n', 'i'], ['s', 'n'],
          ['t', 'n'], ['e', 'n'], ['i', 'n'], ['n', 'n']]
-        sage: mset = [x for x in GF(4,'a') if x!=0]
-        sage: tuples(mset,2)
-        [[1, 1],
-         [a, 1],
-         [a + 1, 1],
-         [1, a],
-         [a, a],
-         [a + 1, a],
-         [1, a + 1],
-         [a, a + 1],
-         [a + 1, a + 1]]
+
+    The Set(...) comparisons are necessary because finite fields are not
+    enumerated in a standard order.
+        sage: K.<a> = GF(4, 'a')
+        sage: mset = [x for x in K if x!=0]
+        sage: ts = tuples(mset,2)
+        sage: T = Set([tuple(t) for t in ts])
+        sage: S = Set([(K(1), K(1)), (a, K(1)), (a + K(1), K(1)), (K(1), a), (a, a), (a + K(1), a), (K(1), a + K(1)), (a, a + K(1)), (a + K(1), a + K(1))])
+        sage: S == T
+        True
 
     AUTHOR: Jon Hanke (2006-08?)
@@ -997 +996 @@
     SAGE verifies that the first several coefficients do instead agree:
     
-        sage: q = PowerSeriesRing(QQ,'q').gen()
-        sage: prod((1-q^k)^(-1) for k in range(1,20))  ## partial product of 
-        1 + q + 2*q^2 + 3*q^3 + 5*q^4 + 7*q^5 + 11*q^6 + 15*q^7 + 22*q^8 + 30*q^9 + 42*q^10 
-        + 56*q^11 + 77*q^12 + 101*q^13 + 135*q^14 + 176*q^15 + 231*q^16 + 297*q^17 + 385*q^18 
-        + 490*q^19 + O(q^20)
+        sage: q = PowerSeriesRing(QQ, 'q', default_prec=9).gen()
+        sage: prod([(1-q^k)^(-1) for k in range(1,9)])  ## partial product of 
+        1 + q + 2*q^2 + 3*q^3 + 5*q^4 + 7*q^5 + 11*q^6 + 15*q^7 + 22*q^8 + O(q^9)
         sage: [number_of_partitions_list(k) for k in range(2,10)]
         [2, 3, 5, 7, 11, 15, 22, 30]