Searched defs:lexMin (Results 1 – 1 of 1) sorted by relevance
1092 auto lexMin = poly.findRationalLexMin(); in expectRationalLexMin() local1171 MaybeOptimum<SmallVector<DynamicAPInt, 8>> lexMin = poly.findIntegerLexMin(); in expectIntegerLexMin() local