| Copyright | (c) Stéphane Laurent 2024 |
|---|---|
| License | GPL-3 |
| Maintainer | laurent_step@outlook.fr |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Math.Algebra.JackPol
Description
Computation of Jack polynomials, skew Jack polynomials, zonal polynomials, skew zonal polynomials, Schur polynomials and skew Schur polynomials. See README for examples and references.
Synopsis
- jackPol :: forall a. (Eq a, C a) => Int -> Partition -> a -> Char -> Spray a
- jackPol' :: Int -> Partition -> Rational -> Char -> QSpray
- skewJackPol :: (Eq a, C a) => Int -> Partition -> Partition -> a -> Char -> Spray a
- skewJackPol' :: Int -> Partition -> Partition -> Rational -> Char -> QSpray
- zonalPol :: (Eq a, C a) => Int -> Partition -> Spray a
- zonalPol' :: Int -> Partition -> QSpray
- skewZonalPol :: (Eq a, C a) => Int -> Partition -> Partition -> Spray a
- skewZonalPol' :: Int -> Partition -> Partition -> QSpray
- schurPol :: forall a. (Eq a, C a) => Int -> Partition -> Spray a
- schurPol' :: Int -> Partition -> QSpray
- skewSchurPol :: forall a. (Eq a, C a) => Int -> Partition -> Partition -> Spray a
- skewSchurPol' :: Int -> Partition -> Partition -> QSpray
Jack and skew Jack polynomials
Arguments
| :: forall a. (Eq a, C a) | |
| => Int | number of variables |
| -> Partition | integer partition |
| -> a | Jack parameter |
| -> Char | which Jack polynomial, |
| -> Spray a |
Jack polynomial.
Arguments
| :: Int | number of variables |
| -> Partition | integer partition |
| -> Rational | Jack parameter |
| -> Char | which Jack polynomial, |
| -> QSpray |
Jack polynomial.
Arguments
| :: (Eq a, C a) | |
| => Int | number of variables |
| -> Partition | outer partition of the skew partition |
| -> Partition | inner partition of the skew partition |
| -> a | Jack parameter |
| -> Char | which skew Jack polynomial, |
| -> Spray a |
Skew Jack polynomial.
Arguments
| :: Int | number of variables |
| -> Partition | outer partition of the skew partition |
| -> Partition | inner partition of the skew partition |
| -> Rational | Jack parameter |
| -> Char | which skew Jack polynomial, |
| -> QSpray |
Skew Jack polynomial.
Zonal and skew zonal polynomials
Zonal polynomial. The zonal polynomials are the Jack \(C\)-polynomials with Jack parameter \(\alpha=2\).
Zonal polynomial. The zonal polynomials are the Jack \(C\)-polynomials with Jack parameter \(\alpha=2\).
Arguments
| :: (Eq a, C a) | |
| => Int | number of variables |
| -> Partition | outer partition of the skew partition |
| -> Partition | inner partition of the skew partition |
| -> Spray a |
Skew zonal polynomial.
Arguments
| :: Int | number of variables |
| -> Partition | outer partition of the skew partition |
| -> Partition | inner partition of the skew partition |
| -> QSpray |
Skew zonal polynomial.
Schur and skew Schur polynomials
Arguments
| :: forall a. (Eq a, C a) | |
| => Int | number of variables |
| -> Partition | partition of integers |
| -> Spray a |
Schur polynomial. The Schur polynomials are the Jack \(P\)-polynomials with Jack parameter \(\alpha=1\).
Schur polynomial. The Schur polynomials are the Jack \(P\)-polynomials with Jack parameter \(\alpha=1\).