muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4] );
muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4], {p, m} );
muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4], s );
muEC::SYMF::Sf2TableVar – set of variables of a symmetric function
get the set of variables of a symmetric function
Call:
muEC::SYMF::Sf2TableVar(sf, <b | bset>)
Parameters:
|
sf: |
any symmetric function |
|
b: |
a known basis |
|
bset: |
a set of known bases |
Related Functions:
Details:
The muEC::SYMF::Sf2TableVar function returns a table whose entries describe the set of all symmetric functions that appear in a given expression sf. The indices of the table are taken into the global variable SYMFBases.
For each basis, the entry consists of the set of all partitions that index the corresponding symmetric function in sf.
An entry equal to an empty set means that the symmetric function does not appear in sf.
One can add a second argument to select some symmetric functions among those in SYMFBases.
If the second argument is a set of names, then the restriction to this set of indices of the table is returned.
In case the second argument is the name of a basis, then the corresponding entry in the table is returned instead of the table.
muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4] );
muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4], {p, m} );
muEC::SYMF::Sf2TableVar( s[5]*s[4]*h[3] + q*m[3]*p[6,4], s );