#13404: Improve _repr_ for macdonald symmetric functions and friends and further
cleanup
----------------------------------------+-----------------------------------
Reporter: nthiery | Owner: sage-combinat
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.4
Component: combinatorics | Resolution:
Keywords: symmetric functions, | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Nicolas M. Thiéry | Merged in:
Dependencies: #13399 | Stopgaps:
----------------------------------------+-----------------------------------
Changes (by nthiery):
* cc: schilling (added)
* dependencies: => #13399
Old description:
New description:
Due to accumulating history, the names of the various bases of
Symmetric functions and variants are not very consistent:
{{{
sage: Sym = SymmetricFunctions(FractionField(QQ['q,t'])); Sym
Symmetric Functions over Fraction Field of Multivariate Polynomial
Ring in q, t over Rational Field
sage: Sym.s()
Symmetric Function Algebra over Fraction Field of Multivariate
Polynomial Ring in q, t over Rational Field, Schur symmetric functions as
basis
sage: Sym.macdonald().P()
Macdonald polynomials in the P basis over Fraction Field of
Multivariate Polynomial Ring in q, t over Rational Field
sage: Sym.hall_littlewood().P()
Hall-Littlewood polynomials in the P basis over Fraction Field of
Multivariate Polynomial Ring in q, t over Rational Field
}}}
This is not consistent either with NCSF/Qsym:
{{{
sage: NCSF = NonCommutativeSymmetricFunctions(QQ)
sage: NCSF.Psi()
Non-Commutative Symmetric Functions over the Rational Field on the Psi
basis
}}}
Besides, it is verbose and does not support renaming Sym to get shorter
names:
{{{
sage: Sym.rename("Sym")
sage: Sym.s()
Symmetric Function Algebra over Fraction Field of Multivariate
Polynomial Ring in q, t over Rational Field, Schur symmetric functions as
basis
}}}
I am in the process of refactoring the _repr_ code to improve this:
{{{
sage: Sym = SymmetricFunctions(FractionField(QQ['q,t']));
Sym.rename("Sym"); Sym
Sym
sage: Sym.p()
Sym on the powersum basis
sage: Sym.m()
Sym on the monomial basis
sage: Sym.e()
Sym on the elementary basis
sage: Sym.h() # should this complete?
Sym on the homogeneous basis
sage: Sym.s() # Mind the capital here
Sym on the Schur basis
sage: Sym.f()
Sym on the forgotten basis
}}}
Macdonald polynomials:
{{{
sage: Sym.macdonald().P()
Sym on the Macdonald P basis
sage: Sym.macdonald().Ht()
Sym on the Macdonald Ht basis
}}}
Macdonald polynomials, with specialized parameters:
{{{
sage: Sym.macdonald(q=1).S()
Sym on the Macdonald S with q=1 basis
sage: Sym.macdonald(q=1,t=3).P()
Sym on the Macdonald P with q=1 and t=3 basis
}}}
Hall-Littlewood polynomials:
{{{
sage: Sym.hall_littlewood().P()
Sym on the Hall-Littlewood P basis
sage: Sym.hall_littlewood().Qp()
Sym on the Hall-Littlewood Qp basis
}}}
Hall-Littlewood polynomials, with specialized parameter:
{{{
sage: Sym.hall_littlewood(t=1).P()
Sym on the Hall-Littlewood P with t=1 basis
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13404#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
