Opened 11 years ago

Last modified 8 years ago

#5457 closed enhancement

Refactor symmetric functions and k-bounded subspace — at Version 14

Reported by: nthiery Owned by: mhansen
Priority: major Milestone: sage-5.4
Component: combinatorics Keywords: symmetric functions, days38, sd40
Cc: sage-combinat, saliola, bump, chrisjamesberg, zabrocki, SimonKing Merged in:
Authors: Mike Zabrocki, Anne Schilling, Jason Bandlow Reviewers: Dan Bump, Franco Saliola
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #11563, #13109 Stopgaps:

Description (last modified by aschilling)

This patch restructures the implementation of symmetric functions in sage

The new implementation makes use of multiple realizations and the category framework. The new access to symmetric functions is via

sage: Sym = SymmetricFunctions(QQ)

Further new features that are implemented:

  • The ring of symmetric functions is now endowed with a Hopf algebra structure. The coproduct and antipode are implemented (which were missing before).
  • A tutorial on how to use symmetric functions in sage is included at the beginning of sf.py which is also accessible via
    sage: SymmetricFunctions??
    
  • Symmetric functions should now work a lot better with respect to specializing parameters like q and t for Hall-Littlewood, Jack and Macdonald symmetric functions. Certain functionalities before this change were broken or not possible.
  • Documentation was added to LLT polynomials (which had very sparse documentation previously).
  • The k-bounded subspace of the ring of symmetric function was implemented. The k-Schur functions now live in the k-bounded subspace rather than in the ring of symmetric functions as before.

This patch gained tremendously by the tutorial on symmetric functions written by Jason Bandlow and Nicolas Thiery, a draft on the k-bounded subspace by Jason Bandlow, and code multiple realizations written by Franco Saliola.

See also:http://groups.google.com/group/sage-devel/msg/a49f3288fca1b75c

Apply

Change History (14)

comment:1 Changed 11 years ago by nthiery

  • Description modified (diff)

comment:2 Changed 11 years ago by nthiery

  • Cc sage-combinat added

comment:3 Changed 8 years ago by aschilling

  • Dependencies set to 13109
  • Report Upstream set to N/A

comment:4 Changed 8 years ago by aschilling

  • Dependencies 13109 deleted

comment:5 Changed 8 years ago by aschilling

  • Authors set to Mike Zabrocki, Anne Schilling
  • Description modified (diff)
  • Keywords symmetric functions sd38 sd40 added
  • Reviewers set to Dan Bump, Franco Saliola
  • Summary changed from Refactor symmetric functions to Refactor symmetric functions and k-bounded subspace

comment:6 Changed 8 years ago by aschilling

  • Cc saliola bump chrisjamesberg added

comment:7 Changed 8 years ago by aschilling

  • Cc zabrocki added

comment:8 Changed 8 years ago by aschilling

  • Status changed from new to needs_review

comment:9 Changed 8 years ago by aschilling

  • Status changed from needs_review to needs_work

comment:10 Changed 8 years ago by aschilling

Hi Mike,

I finished the doctests for the following files:

  • schur.py
  • homogeneous.py
  • elementrary.py
  • powersum.py
  • monomial.py
  • classical.py
  • dual.py
  • multiplicative.py
  • orthotriang.py
  • sf.py

In particular, at the beginning of sf.py I incorporated the tutorial that Jason and Nicolas wrote (which was further down the queue) and updated it. I marked them there as coauthors in that file.

This leaves the doctests for

  • hall_littlewood.py
  • jack.py
  • llt.py
  • macdonald.py
  • ns_macdonald.py
  • sfa.py

which I suppose you will do in the next couple of days? In particular, in the sfa.py the deprecation warnings need to be activated which I have not yet done.

Best,

Anne

comment:11 Changed 8 years ago by aschilling

  • Authors changed from Mike Zabrocki, Anne Schilling to Mike Zabrocki, Anne Schilling, Jason Bandlow

comment:12 Changed 8 years ago by vbraun

  • Dependencies set to #11563

comment:13 Changed 8 years ago by vbraun

  • Dependencies changed from #11563 to #11563, #13109

comment:14 Changed 8 years ago by aschilling

  • Description modified (diff)
Note: See TracTickets for help on using tickets.