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
______________________________________________________________________