Examples of deciding primitivity of permutation triples

The torus triple is imprimitive, while the degree-three symmetric triple and the degree-one triple are primitive. These check the finite test against concrete monodromy actions.

theorem TauCeti.PermutationTriple.isPrimitiveBool_torusTriple : torusTriple.isPrimitiveBool = false

The torus triple is imprimitive: {0, 2} is a nontrivial block.

theorem TauCeti.PermutationTriple.isPrimitiveBool_s3Triple : s3Triple.isPrimitiveBool = true

The degree-three symmetric triple is primitive.

theorem TauCeti.PermutationTriple.isPrimitiveBool_cyclicTriple_one : (cyclicTriple 1).isPrimitiveBool = true

The degree-one triple is primitive.