check_rules <<"---";
F_VECTOR, ORBITS_F_VECTOR, CONES_REPS, CONES_ORBIT_SIZES : RAYS, MAXIMAL_CONES_REPS, RAYS_IMAGES, COMBINATORIAL_DIM, LINEALITY_SPACE
*
F_VECTOR, ORBITS_F_VECTOR, CONES_REPS, CONES_ORBIT_SIZES, COMBINATORIAL_DIM, MAXIMAL_CONES_REPS_DIMS : RAYS, MAXIMAL_CONES_REPS, RAYS_IMAGES, LINEALITY_SPACE
*
---
