From 538539985446d3168c168eef7bd34e96f2c82831 Mon Sep 17 00:00:00 2001 From: Henry de Valence Date: Wed, 4 Apr 2018 18:26:56 -0700 Subject: [PATCH] Use Q_4 instead of T_4 T_4 is nicer because it sounds like "torsion", but T is also used as a variable in ext. coordinates, so Q is better overall since it avoids conflicts later. --- docs/ristretto-notes.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/ristretto-notes.md b/docs/ristretto-notes.md index 9191f59..87b6b71 100644 --- a/docs/ristretto-notes.md +++ b/docs/ristretto-notes.md @@ -123,10 +123,10 @@ Notice that if \\(xy \neq 0 \\), then exactly two of these points have \\( (0,-1) \\). This means that we can select a representative modulo \\(\mathcal E[2]\\) by requiring \\(xy\\) nonnegative and \\(y \neq 0\\), and we can ensure that this condition holds by conditionally -adding a \\(4\\)-torsion point \\(T_4\\) if \\(xy\\) is negative or +adding a \\(4\\)-torsion point \\(Q_4\\) if \\(xy\\) is negative or \\(y = 0\\). -Convenient choices for \\( T_4 \\) are \\((1,0)\\) when +Convenient choices for \\( Q_4 \\) are \\((1,0)\\) when \\( a = 1 \\) and \\( (i, 0) \\) when \\( a = -1 \\). This procedure gives a canonical lift from \\(\mathcal E / \mathcal