Rephrase doc note on exceptional projective Montgomery points.

This commit is contained in:
Isis Lovecruft 2017-10-05 01:46:42 +00:00
parent 5e6e6c3fa8
commit 7b378ada6b
Failed to extract signature

View file

@ -267,9 +267,10 @@ impl Equal for MontgomeryPoint {
///
/// # Note
///
/// All points, except for `(X:W) = (0:0)`, are valid, since the projective
/// model is linear through the origin and is comprised by all `X` in
/// /(2²⁵⁵-19).
/// All projective points, except for `(X:W) = (0:0)`, are valid, since the
/// projective model is linear through the origin and is comprised by all `X` in
/// /(2²⁵⁵-19), thus `(0:0)` is the only element in Fₚ² which is not a
/// projective point.
///
/// # Returns
///