This function creates a ring map from the ring of Fourier coordinates to the ring of probability coordinates, for the four predefined models, CFNmodel, JCmodel, K2Pmodel or K3Pmodel. It will not work with user-defined models. The ring of probability coordinates must have at least $|G|^n$ variables where $G$ is the group associated to the model. The ring of Fourier coordinates must have at least $|G|^{(n-1)}$ variables.
|
|
|
|
The object fourierToProbability is a method function.