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

   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.

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

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.