muEC::SFA::SfAVars( {{x}, u, v} );
tt := muEC::SFA::SfAExpand( m[3,2](x1+u+v) - q*s[2,2](x1+u+v) );
muEC::SFA::SfAVars – specifies valid variables in alphabets
Call:
muEC::SFA::SfAVars(vset)
Parameters:
|
vset: |
a set of variables |
Related Functions:
Details:
The muEC::SFA::SfAVars function specifies which variables are considered for the SfAExpand function.
vset gives the set of valid variables for SFA, for instance:
{x1, x2, x3 }
{{x}, {y}}, all the xi's and yi's,
{{x}, {y}, t } all the xi's and yi's, and the variable t.
With no argument, muEC::SFA::SfAVars returns the current set of valid variables.
Note that each call to muEC::SFA::SfAVars destroy the remember table of SfAExpand, if vset is specified.
muEC::SFA::SfAVars( {{x}, u, v} );
tt := muEC::SFA::SfAExpand( m[3,2](x1+u+v) - q*s[2,2](x1+u+v) );