Note: temporarily making additiveMonoidZero not implicit to avoid ambiguity with ringZeor (above).
Note: temporarily making additiveMonoidZero not implicit to avoid ambiguity with ringZeor (above).
spire.algebra.Ring.additive now returns an algebra.CommutativeGroup, which is seemingly the easiest way to get, so the proper technique for finding and AdditiveMomoid now now unclear.
Until that is resolved, ringZero will be the preferred (and admittedly over-constrained) method.