-
-
Notifications
You must be signed in to change notification settings - Fork 660
Closed
Milestone
Description
This branch activates two combinat doctests which were disabled due to unexplainable bugs that were fixed in #10963:
The following doctest is disabled pending :trac:`10963`::
sage: s = SymmetricFunctions(Zmod(14)).s() # not tested
sage: s.is_integral_domain() # not tested
False
and
sage: def descent_test(n):
....: DA = DescentAlgebra(QQ, n)
....: NSym = NonCommutativeSymmetricFunctions(QQ)
....: S = NSym.S()
....: DAD = DA.D()
....: w_n = DAD(set(range(1, n)))
....: for I in Compositions(n):
....: if not (S[I].star_involution()
....: == w_n * S[I].to_descent_algebra(n) * w_n):
....: return False
....: return True
sage: all( descent_test(i) for i in range(4) ) # not tested
True
sage: all( descent_test(i) for i in range(6) ) # not tested
True
.. TODO::
Once :trac:`10963` is in, remove the first "not tested" above,
and replace the second one by "long time".
Also, a few typos in the c3_controlled doc are fixed.
Disregard the attachment.
Depends on #10963
Depends on #15473
Depends on #15476
Depends on #16678
CC: @nthiery @simon-king-jena @tscrim @sagetrac-sage-combinat
Component: categories
Keywords: 10963, c3, transitivity, descent algebras, symmetric functions
Branch/Commit: public/categories/15475 @ bf34154
Issue created by migration from https://trac.sagemath.org/ticket/15475