This changes virtually everything to be constant time, by introducing a new Maybe abstraction that can later be upstream'd to subtle. This borrows from #18's constant time Tonelli-Shanks, adapted to match the current implementation that is more efficient and more closely based on the paper.
This changes virtually everything to be constant time, by introducing a new
Maybe
abstraction that can later be upstream'd tosubtle
. This borrows from #18's constant time Tonelli-Shanks, adapted to match the current implementation that is more efficient and more closely based on the paper.TODO: tests for
Maybe::and_then
andMaybe::map