These are chat archives for non/algebra
minSuccessfulset to 10, all tests pass except for
laws[RingLaws, Rat].check(_.field)that never return. Would that be expected?
Rattype is used only for testing. i'm tempted to remove it since
spire.math.Rationalis strictly better.)