tixxit on master
Fix Polynomial Gen Merge pull request #758 from Lu… (compare)
cats.kernel.Monoid[Rational]that’s consistent with the
catsinstances yet, and we haven't taken a position on whether our instances/laws/... should be inherited through the chain cats-kernel/algebra/spire
spire.optional; however, I'm not clear about the default instances in spire, and reluctant to pile more stuff on top of it
Semiringis defined there
Fieldbecause integral multiplication inverse isn't well defined? Or something to do with complexity of implementing
And indeed, integers do not form a field,
Thanks. This makes sense to me now. The set I'm looking at is definitely a field.
cats-kernel, which evolves much slower.