#16420: Addition to algebraic combinatorics tutorial on Young's lattice and RSK
-------------------------------------+-------------------------------------
Reporter: aschilling | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: combinatorics | Resolution:
Keywords: algebraic | Merged in:
combinatorics, RSK | Reviewers: Travis Scrimshaw
Authors: Anne Schilling | Work issues:
Report Upstream: N/A | Commit:
Branch: | 356877f78760bf46dedf619f9231b2c8b69bbac2
public/combinat/tutorial/16420 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by aschilling):
Well, with Nicolas' changes I get the following error messages:
{{{
sage -t rsk.rst
**********************************************************************
File "rsk.rst", line 57, in
doc.en.thematic_tutorials.algebraic_combinatorics.rsk
Failed example:
U = QQY.module_morphism(U_on_basis)
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
doc.en.thematic_tutorials.algebraic_combinatorics.rsk[11]>", line 1, in
<module>
U = QQY.module_morphism(U_on_basis)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/categories/modules_with_basis.py", line 406, in
module_morphism
return ModuleMorphismByLinearity(on_basis = on_basis, domain =
self, **keywords)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/categories/modules_with_basis.py", line 1317, in __init__
raise ValueError("codomain(=%s) needs to have a base_ring
attribute"%(codomain))
ValueError: codomain(=None) needs to have a base_ring attribute
**********************************************************************
File "rsk.rst", line 58, in
doc.en.thematic_tutorials.algebraic_combinatorics.rsk
Failed example:
D = QQY.module_morphism(D_on_basis)
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
doc.en.thematic_tutorials.algebraic_combinatorics.rsk[12]>", line 1, in
<module>
D = QQY.module_morphism(D_on_basis)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/categories/modules_with_basis.py", line 406, in
module_morphism
return ModuleMorphismByLinearity(on_basis = on_basis, domain =
self, **keywords)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/categories/modules_with_basis.py", line 1317, in __init__
raise ValueError("codomain(=%s) needs to have a base_ring
attribute"%(codomain))
ValueError: codomain(=None) needs to have a base_ring attribute
**********************************************************************
File "rsk.rst", line 63, in
doc.en.thematic_tutorials.algebraic_combinatorics.rsk
Failed example:
for p in Partitions(3):
b = QQY(p)
assert D(U(b)) - U(D(b)) == b
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
doc.en.thematic_tutorials.algebraic_combinatorics.rsk[13]>", line 3, in
<module>
assert D(U(b)) - U(D(b)) == b
NameError: name 'D' is not defined
**********************************************************************
File "rsk.rst", line 72, in
doc.en.thematic_tutorials.algebraic_combinatorics.rsk
Failed example:
for i in range(4):
u = U(u)
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
doc.en.thematic_tutorials.algebraic_combinatorics.rsk[15]>", line 2, in
<module>
u = U(u)
NameError: name 'U' is not defined
**********************************************************************
File "rsk.rst", line 74, in
doc.en.thematic_tutorials.algebraic_combinatorics.rsk
Failed example:
u
Expected:
B[[1, 1, 1, 1]] + 3*B[[2, 1, 1]] + 2*B[[2, 2]] + 3*B[[3, 1]] + B[[4]]
Got:
B[[]]
**********************************************************************
1 item had failures:
5 of 30 in doc.en.thematic_tutorials.algebraic_combinatorics.rsk
[29 tests, 5 failures, 0.75 s]
----------------------------------------------------------------------
sage -t rsk.rst # 5 doctests failed
----------------------------------------------------------------------
Total time for all tests: 0.9 seconds
cpu time: 0.6 seconds
cumulative wall time: 0.7 seconds
}}}
If I change the morphism line to
{{{
sage: U = QQY.module_morphism(U_on_basis, codomain = QQY)
sage: D = QQY.module_morphism(D_on_basis, codomain = QQY)
}}}
all tests pass. But that is weird since
{{{
sage: U_on_basis.codomain()
Free module generated by {[], [1], [2], [1, 1], [3], [2, 1], [1, 1, 1],
[4], [3, 1], [2, 2], [2, 1, 1], [1, 1, 1, 1], [5], [4, 1], [3, 2], [3, 1,
1], [2, 2, 1], [2, 1, 1, 1], [1, 1, 1, 1, 1]} over Rational Field
sage: QQY
Free module generated by {[], [1], [2], [1, 1], [3], [2, 1], [1, 1, 1],
[4], [3, 1], [2, 2], [2, 1, 1], [1, 1, 1, 1], [5], [4, 1], [3, 2], [3, 1,
1], [2, 2, 1], [2, 1, 1, 1], [1, 1, 1, 1, 1]} over Rational Field
}}}
to which it is supposed to default.
--
Ticket URL: <http://trac.sagemath.org/ticket/16420#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
