Cauchy endgame test: indeterminancy fixed
Merge branch 'master' of github.com:kroner/M2 into NAG
isOn is a unique component membership command; isOn(P,W,n) checks the membership of P in the projection onto first n coordinates
changed some code for WitnessSet; (random, WitnessSet) truncates the sampled point to the number of coordinates specified by the key ProjectionDimension
Merge branch 'NAG' of github.com:antonleykin/M2
minor fixes