|
|
|
last edited 15 years ago by hemmecke |
Edit detail for SandboxPermutations revision 1 of 1
| 1 | ||
|
Editor: hemmecke
Time: 2010/02/24 02:50:51 GMT-8 |
||
| Note: Original by Martin Baker | ||
changed: - \begin{axiom} PI ==> PositiveInteger LPS ==> List Permutation SetCategory PS ==> Permutation SetCategory LPSET ==> List Permutation Set Integer PSET ==> Permutation Set Integer lookup(lps2:LPS,i:PI): PS == lps2.i lookup(lps2:LPSET,i:PI): PSET == lps2.i lookup(lps2:LPS,i:PI): PS == qelt(lps2,i) lookup(lps2:LPSET,i:PI): PSET == qelt(lps2,i) leng(lps2:LPS):NNI == # lps2 leng(lps2:LPSET):NNI == # lps2 \end{axiom}
fricas
(1) -> PI ==> PositiveInteger
Type: Void
fricas
LPS ==> List Permutation SetCategory
Type: Void
fricas
PS ==> Permutation SetCategory
Type: Void
fricas
LPSET ==> List Permutation Set Integer
Type: Void
fricas
PSET ==> Permutation Set Integer
Type: Void
fricas
lookup(lps2:LPS,i:PI): PS == lps2.i
Permutation(SetCategory) is not a valid type.