I found myself in a pickle when trying to generalize over both ProjectivePoint and AffinePoint.
Currently Group and PrimeCurveAffine have identity() and is_identity(), but there is no trait that can be implemented on both point types that provides access to this functionality.
So I would like to propose adding a new trait Identity and refactor identity() and is_identity() into it.
Happy to make the PR upon approval.
I found myself in a pickle when trying to generalize over both
ProjectivePointandAffinePoint.Currently
GroupandPrimeCurveAffinehaveidentity()andis_identity(), but there is no trait that can be implemented on both point types that provides access to this functionality.So I would like to propose adding a new trait
Identityand refactoridentity()andis_identity()into it.Happy to make the PR upon approval.