Changes between Version 11 and Version 15 of Ticket #13399


Ignore:
Timestamp:
Sep 8, 2012, 6:46:15 AM (10 years ago)
Author:
Anne Schilling
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13399

    • Property Dependencies changed from #5457 to #13404
  • Ticket #13399 – Description

    v11 v15  
    1 This patch implements the HL creation operator for k-Schur functions, it fixes
    2 omega for k-Schur functions for generic t, and changes the multiplication for
    3 k-Schur functions for generic t, so that the result stays in the k-bounded
    4 subspace if possible and lifts to symmetric functions otherwise.  A second
    5 patch adds the coproduct function to the k-Schur and k-homogeneous bases
     1This patch implements the following fixes to symmetric functions:
     2- HL creation operator for k-Schur functions
     3- it fixes omega for k-Schur functions for generic t
     4- it changes the multiplication for k-Schur functions for generic t, so that
     5  the result stays in the k-bounded subspace if possible and lifts to symmetric functions otherwise
     6- it moves coproduct_by_coercion to SymmetricFunctionAlgebra_generic and
     7  inserts a coproduct function in KBoundedSubspaceBases, ElementMethods
     8- it fixes the coersion between the Jack P and Pq basis; this was previously extremely slow,
     9  for example for
     10  {{{
     11      sage: Sym = SymmetricFunctions(FractionField(QQ['t']))
     12      sage: Qp = Sym.jack().Qp()
     13      sage: P = Sym.jack().P()
     14      sage: P(Qp[2,1])
     15      ((-192*t^3+192*t^2-192*t+192)/(-64*t^3-224*t^2-224*t-64))*JackP[1, 1, 1]
     16      + ((128*t^2-64*t+80)/(64*t^2+64*t+16))*JackP[2, 1] + ((8*t-8)/(8*t+4))*JackP[3]
     17   }}}
     18- it fixes the coproduct for Jack symmetric functions
    619
    720'''Apply''':