SAT-Pol-0.1.0.0
Subsumption
isDivisibleBy :: PolF2 -> PolF2 -> Bool Source #
removeDivisors :: PolF2 -> Set PolF2 -> Set PolF2 Source #