src/sage/categories/coxeter_groups.py: In doctest, avoid using symbolics

Matthias Koeppe · Matthias Koeppe · commit 5d8277123932 · 2022-02-28T14:27:05.000-08:00
diff --git a/src/sage/categories/coxeter_groups.py b/src/sage/categories/coxeter_groups.py
@@ -1710,7 +1710,10 @@ def length(self):
                 sage: w.length()
                 3
                 sage: W = CoxeterGroups().example()
-                sage: sum((x^w.length()) for w in W) - expand(prod(sum(x^i for i in range(j+1)) for j in range(4))) # This is scandalously slow!!!  # optional - sage.symbolic
+                sage: R.<x> = ZZ[]
+                sage: s = sum(x^w.length() for w in W)
+                sage: p = prod(sum(x^i for i in range(j)) for j in range(1, 5))
+                sage: s - p
                 0
 
             .. SEEALSO::

Original file line number	Diff line number	Diff line change
`@@ -1710,7 +1710,10 @@ def length(self):`
`1710`	`1710`	`sage: w.length()`
`1711`	`1711`	`3`
`1712`	`1712`	`sage: W = CoxeterGroups().example()`
`1713`		`- sage: sum((x^w.length()) for w in W) - expand(prod(sum(x^i for i in range(j+1)) for j in range(4))) # This is scandalously slow!!! # optional - sage.symbolic`
	`1713`	`+ sage: R.<x> = ZZ[]`
	`1714`	`+ sage: s = sum(x^w.length() for w in W)`
	`1715`	`+ sage: p = prod(sum(x^i for i in range(j)) for j in range(1, 5))`
	`1716`	`+ sage: s - p`
`1714`	`1717`	`0`
`1715`	`1718`
`1716`	`1719`	`.. SEEALSO::`