[Previous] [Next] [Contents]

## `SFA::TohA` -- develops any symmetric function on the `h`-basis

#### Call(s)

`SFA::TohA(sfa <,alist>)`

#### Parameters

`sfa` | - | any valid expression of `SFA`
`alist` | - | a list of alphabets

#### Introduction

The `SFA::TohA` function analyses `sfa` and develops any symmetric function in `sfa` on the basis of `h`-polynomials.

One can develop only symmetric functions of which alphabets are given in the optional argument.

#### Example 1

    >> muEC::SFA::TohA( s[3,1](2*A1) );

                            h[3, 1](2 A1) - h[4](2 A1)

    >> muEC::SFA::TohA( s[3,1](2*A1)*m[2,1](A2^2), [ A2^2, A3 ] );

                                    2                2
          - s[3, 1](2 A1) (3 h[3](A2 ) - 5 h[2, 1](A2 ) +

                            2
             2 h[1, 1, 1](A2 ))

    >> muEC::SFA::TohA( s[2]( p[4,3](2*A1) ) + q*m[2,1](A2^2),
             [ p[4,3](2*A1) ] );

                                                         2
                       h[2](p[4, 3](2 A1)) + q m[2, 1](A2 )

#### Related Functions

`ToeA`, `TomA`, `TopA`, `TosA`, `TYP::SfA`, `SYMF::Toh`, `SfAExpand`

[Previous] [Next] [Contents]

MuPAD Combinat, an open source algebraic combinatorics package