search

SpectralSequences / sseq

The root repository for the SpectralSequences project.
Apache License 2.0
22 stars 10 forks source link

Introduce proptesting in `fp` #133

Closed JoeyBF closed 10 months ago

JoeyBF commented 10 months ago

I wanted to try my hand at proptesting. Right now it only checks that row reduction turns a matrix built from a sequence of row operations applied to a matrix in RREF back to that same RREF. It's a bit more robust and it will be useful if (when) we mess around with the fp internals again

JoeyBF commented 10 months ago

Thanks for the review! That made me realize some functions were unnecessary complicated, so I fixed those too