Closed LLFourn closed 1 year ago
I investigated it and it's because we're doing a is_identity check which is actually doing a normalization behind the scenes.
is_identity
This will be fixed by #117 which will make point addition specialize again (without the nightly feature).
I investigated it and it's because we're doing a
is_identity
check which is actually doing a normalization behind the scenes.