permut1 http://www.openmath.org/cd/permut1.ocd 2003-04-01 experimental 1999-05-19 2 0 alg1 arith1 fns2 interval1 linalg1 linalg2 logic1 relation1 set1 A CD of functions for permutations Written by A. Solomon on 1998-11-19 Modified by David Carlisle 1999-04-28 Renamed from comb to permut1 1999-05-19 Modified by A. Solomon to remove ambiguity from definition of Permutation as reported by JHD 2000-02-05. permutation The n-ary constructor permutation. The arguments are the integers 1 .. n in some order. permutation(p1, ..., pn) is the function which takes 1 to p1, 2 to p2 and so on. permutation(2,3,...,n, 1)^n = permutation() 2 3 1 3