Re: [P1363:] Possible error in factors in class polynomial (Annex A of P1363-2000)
Thanks, that's very helpful. On the todo list...
William
> -----Original Message-----
> From: Daniel Brown [mailto:dbrown@CERTICOM.COM]
> Sent: Friday, May 23, 2008 4:12 PM
> To: STDS-P1363-DISCUSS@LISTSERV.IEEE.ORG
> Subject: Re: [P1363:] Possible error in factors in class
> polynomial (Annex A of P1363-2000)
>
> William,
>
> Fwiw, I also confirmed that
>
> changing lambda^(-BL) to lambda^BL
>
> yields:
>
> the complex roots in 1363-2000 and,
> the reduced class polynomial in 1363-2000.
>
> Best regards,
>
> Dan
>
> * * *
>
> Just to be clear, in addition to the change above,
> this change needs to be reflected in the example.
>
> One could negate the powers of the natural exponent
> in the expression immediately above the expression
> with decimal expanions, e.g. the second line of
> the example would now be
>
> (t - e^(i*pi/8)/sqrt(2) * f_1 (3,1,24)) (t -
> e(-i*pi/8)/sqrt(2) * f_1(3,-1,24))
>
> the only change be the move of a minus sign. The third and
> fourth lines
> could be fixed similarly.
>
> But, the order of the decimally expanded complex roots
> would then not match the expressions. Not that it matters terribly,
> but to make them match (without changing the orders of the decimally
> expanded the complex numbers), the second line of formula in
> the example
> could be changed to
>
> (t - e^(-i*pi/8)/sqrt(2) * f_1 (3,-1,24)) (t -
> e(i*pi/8)/sqrt(2) * f_1(3,1,24))
>
> this reverses the order of the factors from the first
> suggested change. In other
> words, the existing text could be modified by moving the
> flipping minus signs of
> the B arguments of the f functions.
>
>
>
> -----Original Message-----
> From: Whyte, William [mailto:WWhyte@NTRU.COM]
> Sent: Friday, May 23, 2008 4:24 AM
> To: STDS-P1363-DISCUSS@LISTSERV.IEEE.ORG
> Subject: Re: [P1363:] Possible error in factors in class
> polynomial (Annex A of P1363-2000)
>
> Great. I'll put this into the todo list for the revision.
>
> William
>
> > -----Original Message-----
> > From: Martin Thiim [mailto:martin@THIIM.NET]
> > Sent: Friday, May 23, 2008 8:25 AM
> > To: STDS-P1363-DISCUSS@LISTSERV.IEEE.ORG
> > Subject: Re: [P1363:] Possible error in factors in class
> > polynomial (Annex A of P1363-2000)
> >
> > Hello all
> >
> > With this change (lambda^bl instead of lambda^-bl) I get the
> > same results as in the annex (to the 5th decimal but that's
> > due to numerical issues) and it all multiplies out to integer
> > coefficients :) Thanks for your help all and your good
> > memory. The version of the annex I used (with the error) is
> > D13 Nov 1999.
> >
> > Best regards,
> >
> > Martin Thiim
> >
> > On 5/23/08, mm <m2@ellipsa.net> wrote:
> >
> > Hello,
> >
> > Michael Scott a écrit :
> >
> >
> > I know this is possibly not much help, but I
> > have a vague recollection of
> > spotting and fixing an error that I found here,
> > when I was implementing the
> > CM method about 10 years ago. From memory I
> > informed the list, but also from
> > memory it wasn't fixed in the Annex.
> >
> >
> >
> > Was it this one: instead of "lambda^(-BL)", one should use
> > "lambda^(BL)"?
> >
> > BTW, this error is in the P1363 Annex A but not in the
> > following doc
> >
> > Working Draft AMERICAN NATIONAL STANDARD X9.63-199x
> > Public Key Cryptography For The Financial Services Industry:
> > Key Agreement and Key Transport Using Elliptic Curve
> > Cryptography
> > January 8, 1999
> >
> > For the OP.
> > Sorry, I did not remember that I corrected something in
> > my code. And,
> > btw, I still do not remember. I suppose that I read the
> > post of Mike at
> > the time he sent it and that I corrected the printed
> > doc I was using
> > *before* writing the code.
> >
> > Best,
> > Marcel Martin
> > ----
> > http://www.ellipsa.net/
> >
> >
> >
> >
> ______________________________________________________________________
> > To unsubscribe, mail LISTSERV@LISTSERV.IEEE.ORG with
> > the body of the message containing: SIGNOFF STDS-P1363-DISCUSS
> > Send any concerns to
> > STDS-P1363-DISCUSS-request@LISTSERV.IEEE.ORG,
> > or manage subscriptions at http://listserv.ieee.org/cgi-bin/wa
> > Visit IEEE P1363 on the web at:
> > http://grouper.ieee.org/groups/1363
> >
> >
> ______________________________________________________________________
> >
> >
> >
> > ______________________________________________________________
> > ________ To unsubscribe, mail LISTSERV@LISTSERV.IEEE.ORG with
> > the body of the message containing: SIGNOFF
> > STDS-P1363-DISCUSS Send any concerns to
> > STDS-P1363-DISCUSS-request@LISTSERV.IEEE.ORG, or manage
> > subscriptions at http://listserv.ieee.org/cgi-bin/wa Visit
> > IEEE P1363 on the web at: http://grouper.ieee.org/groups/1363
> > ______________________________________________________________
> > ________
> >
>
> ______________________________________________________________________
> To unsubscribe, mail LISTSERV@LISTSERV.IEEE.ORG with
> the body of the message containing: SIGNOFF STDS-P1363-DISCUSS
> Send any concerns to STDS-P1363-DISCUSS-request@LISTSERV.IEEE.ORG,
> or manage subscriptions at http://listserv.ieee.org/cgi-bin/wa
> Visit IEEE P1363 on the web at: http://grouper.ieee.org/groups/1363
> ______________________________________________________________________
>
> ______________________________________________________________________
> To unsubscribe, mail LISTSERV@LISTSERV.IEEE.ORG with
> the body of the message containing: SIGNOFF STDS-P1363-DISCUSS
> Send any concerns to STDS-P1363-DISCUSS-request@LISTSERV.IEEE.ORG,
> or manage subscriptions at http://listserv.ieee.org/cgi-bin/wa
> Visit IEEE P1363 on the web at: http://grouper.ieee.org/groups/1363
> ______________________________________________________________________
>
______________________________________________________________________
To unsubscribe, mail LISTSERV@LISTSERV.IEEE.ORG with
the body of the message containing: SIGNOFF STDS-P1363-DISCUSS
Send any concerns to STDS-P1363-DISCUSS-request@LISTSERV.IEEE.ORG,
or manage subscriptions at http://listserv.ieee.org/cgi-bin/wa
Visit IEEE P1363 on the web at: http://grouper.ieee.org/groups/1363
______________________________________________________________________