|
|
|
last edited 14 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
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. lookup(lps2:LPSET,i:PI): PSET == lps2.i
Function declaration lookup : (List(Permutation(Set(Integer))),PositiveInteger) -> Permutation(Set(Integer)) has been added to workspace.
Type: Void
fricas
lookup(lps2:LPS,i:PI): PS == qelt(lps2, i)
Permutation(SetCategory) is not a valid type. lookup(lps2:LPSET,i:PI): PSET == qelt(lps2, i)
Function declaration lookup : (List(Permutation(Set(Integer))),PositiveInteger) -> Permutation(Set(Integer)) has been added to workspace. 1 old definition(s) deleted for function or rule lookup
Type: Void
fricas
leng(lps2:LPS):NNI == # lps2
Permutation(SetCategory) is not a valid type. leng(lps2:LPSET):NNI == # lps2
Function declaration leng : List(Permutation(Set(Integer))) -> NonNegativeInteger has been added to workspace.
Type: Void