muEC::SYMF::Toh – conversion into h-polynomial
converts any symmetric function into a h-polynomial
Call:
muEC::SYMF::Toh(sf, <b>, <Collect>, <NoExpand>)
Parameters:
|
sf: |
any symmetric function |
|
b: |
converts only b-polynomials appearing in sf |
Options:
|
NoExpand: |
keeps the recursive structure of sf |
|
Collect: |
expresses the result on the h-basis |
Related Functions:
muEC::SYMF::Toe, muEC::SYMF::Tom, muEC::SYMF::Top, muEC::SYMF::Tos, muEC::TYP::Sf
Details:
The muEC::SYMF::Toh function converts any symmetric function into a h-polynomial.
The symmetric function sf is expanded and the result is not collected.
One may convert only b-polynomials of sf by adding the base b in the arguments.
One may preserve the recursive structure of sf by adding the argument NoExpand.
One may collect the result by adding the argument Collect. The result will be collected in all h-polynomials appearing in sf.
muEC::SYMF::Toh( (s[2,1] - k*e[2,1])^2 * q - p[1]^3 );
muEC::SYMF::Toh( (s[2,1] - k*e[2,1])^2 * q - p[1]^3, Collect );
muEC::SYMF::Toh( (s[2,1] - k*e[2,1])^2 * q - p[1]^3, Collect,
NoExpand );
muEC::SYMF::Toh( (s[2,1] - k*e[2,1])^2 * q - p[1]^3, NoExpand, s );
