Add `Arbitrary` implementation for other types in `fp`

SpectralSequences / sseq

The root repository for the SpectralSequences project.

Apache License 2.0

25 stars 10 forks source link

Add `Arbitrary` implementation for other types in `fp` #174

Open JoeyBF opened 1 day ago

JoeyBF commented 1 day ago

I noticed a bug in Subquotient::complement_pivots, so I wanted to add a test to cover that. That led me to implement proptest's Arbitrary for several types. This PR also fixes the bug