#14898: Poincaré-Birkhoff-Witt and dual bases
-----------------------------------------+--------------------------------
Reporter: deneufchatel | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-5.12
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: Matthieu Deneufchâtel | Reviewers: Travis Scrimshaw
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------------------+--------------------------------
Comment (by deneufchatel):
Finally, I think it works but I get lost: the actual branch I work with is
sage-test
[matthieu@localhost sage-main]$ sage11 -branch
test
but the files modified by the application of the patch are the file of the
main branch
[matthieu@localhost sage-main]$ cat sage/algebras/free_algebra.py
##### Tests #####
# Check that expansion \circ to_pbw is the identity #
#PBW = PBWBasisOfFreeAlgebra(QQ,2)
#to_pbw(expansion(PBW.basis()[PBW._mon.1 *
PBW._mon.0]))==PBW.basis()[PBW._mon.1 * PBW._mon.0]
#sage: M.<x0,x1>=!FreeMonoid(2)
#sage: PBW=PBWBasisOfFreeAlgebra(QQ,2)
#sage: L=[]
#sage: for i in range(6):
#....: for j in Words(M.gens(),i).list():
#....: L.append(to_monoid_element(j))
#....:
#sage: for i in L:
#....: to_pbw(expansion(PBW.basis()[i]))==PBW.basis()[i]
#....:
[matthieu@localhost sage-main]$ less sage/algebras/free_algebra.py
whereas I would expect the files in sage-test to have been changed...
--
Ticket URL: <http://trac.sagemath.org/ticket/14898#comment:41>
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/groups/opt_out.
