i1 : any({1,2,3,4}, even)
o1 = true
|
i2 : any({1,3,5,7}, even)
o2 = false
|
i3 : any(20,n -> n == 15) o3 = true |
We can test whether a permutation has a fixed point as follows.
i4 : fp = x -> any(#x, i -> x#i == i); |
i5 : fp {2,3,4,0,1}
o5 = false
|
i6 : fp {2,4,0,3,1}
o6 = true
|