直接实现了MIKHAEL CARMONA、VICTOR CHEPOI、GUYSLAIN NAVES和PASCAL PREA在《ROBINSON SPACES中的MODULES》中提出的算法。它可以判断给定的…