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 |

| 1 | This 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 |