OpenXM/src/asir-doc/parts/ff.texi - diff

Return to ff.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts

version 1.2, 1999/12/21 02:47:31

version 1.3, 2000/01/13 08:29:56

Line 1

@comment $OpenXM$

@comment $OpenXM: OpenXM/src/asir-doc/parts/ff.texi,v 1.2 1999/12/21 02:47:31 noro Exp $

\BJP

@node $BM-8BBN$K4X$9$k1i;;(B,,, Top

@chapter $BM-8BBN$K4X$9$k1i;;(B

Line 1200 The coefficients are generated by @code{random_ff()}.

@table @t

@item ecm_add_ff(@var{p1},@var{p2},@var{ec})

@itemx ecm_sub_ff(@var{p1},@var{p2},@var{ec})

@itemx ecm_chsgn_ff(@var{p1},@var{p2},@var{ec})

@itemx ecm_chsgn_ff(@var{p1})

\JP :: $BBJ1_6J@~>e$NE@$N2C;;(B, $B8:;;(B, $B5U85(B

\EG :: Addition, Subtraction and additive inverse for points on an elliptic curve.

@end table

Line 1243 The coefficients are generated by @code{random_ff()}.

Let @var{p1}, @var{p2} be points on the elliptic curve represented by

@var{ec} over the current base field.

ecm_add_ff(@var{p1},@var{p2},@var{ec}), ecm_sub_ff(@var{p1},@var{p2},@var{ec})

and ecm_chsgn_ff(@var{p1},@var{p2},@var{ec}) returns

and ecm_chsgn_ff(@var{p1}) returns

@var{p1+p2}, @var{p1-p2} and @var{-p1} respectively.

@item

If the current base field is a prime field of odd order, then