constants.py¶ Custom types and analysis constants. B_TRIPLE module-attribute ¶ B_TRIPLE = Tuple[Tuple[str, ...], Tuple[str, ...], Tuple[str, ...]] mwp-bound triple with three variable lists. CHOICES module-attribute ¶ CHOICES = List[List[List[int]]] A list of choice vectors. COM_RES module-attribute ¶ COM_RES = Tuple[int, 'RelationList', bool] Command analysis result type. DELTA module-attribute ¶ DELTA = Tuple[int, int] Delta is a tuple of two integers: (choice, index). DELTAS module-attribute ¶ DELTAS = TypeVar('DELTAS', bound=DELTA) A TypeVar for deltas. MATRIX module-attribute ¶ MATRIX = List[List['Polynomial']] mwp-matrix type. NODE module-attribute ¶ NODE = Tuple[DELTA, ...] A tuple of deltas. SEQ module-attribute ¶ SEQ = Tuple[DELTA, ...] A tuple of deltas. VECT module-attribute ¶ VECT = Tuple[Tuple[int, ...], ...] A vector is a tuple of integer-tuples. Comparison ¶ Bases: IntEnum Represent result of delta comparison. SetInclusion ¶ Bases: IntEnum Represent result of monomial inclusion.