check_rules <<"---";
COMBINATORIAL_DIM, PURE : MAXIMAL_CONES_COMBINATORIAL_DIMS
*
FAN_DIM : FAN_AMBIENT_DIM
*
COMBINATORIAL_DIM : FAN_DIM, LINEALITY_DIM
*
FAN_DIM : COMBINATORIAL_DIM, LINEALITY_DIM
*
LINEALITY_DIM : COMBINATORIAL_DIM, FAN_DIM
*
FULL_DIM : FAN_DIM, FAN_AMBIENT_DIM
*
FULL_DIM :
*
---
