records w
A permutation $p$ has a record at $i$ if $p(j) < p(i)$ for all $j < i$.
i1 : p = permutation {3,1,2,5,4} o1 = Permutation{3, 1, 2, 5, 4} o1 : Permutation
i2 : saliances p o2 = {4, 5} o2 : List
The object records is a method function.