Implementation of Fast Polynomial Arithmetic in Aldor

!
"# $ %
&' % '
! ())*

+, "-./,0.1 %! $,,0- %-0.%
!"&1 %! 02", "2.,
,0.!., %! ,3.-.%-
# ,4

2 5 6 2 5 $
2 5 & .
#

2 5
2

2 ,4
7

#

' 8

98
'
' 9

5

8
4

9 #

4 Æ 5 %

# Æ 5 .

98# # 9 #

8# 5

9

9

8# 98# ' 9
8#
#

5 $ 9
9 # 5
%

9

#' ,4 ,
,,5 %

2 # 4 9
:

#5
. ' 9 4 '

' '

# Æ
#
9
4 5
. #

9

9 # 8

Æ8

9
8
8 !!

-9 9
#
9 #
6 9 8
'
9 9 9 #

Æ

!!8
9
# '
9 Æ

' ' 8

#

5
9

9 9
8

-& /5
5
Æ8 ' 9

'
#

'
!!8

9 #
9 9
6 8 -& 9
;;< 9 4 9 # 5
$

4
#
8
'
6
5
=9 '

'

' 8

' !!' !0'
! 65

>5> %:# 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >
>5( 0 $ 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (
>5? .

,#
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?
>5@ #
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @

(5> $ !

A 5 5 5 5 5 5 5 5 B
(5( $ A 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >)
(5? $ !

.

5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >(
!

?5> 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >@
?5(
# 0 " ! 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >*
?5? ,

!! # = 8 5 5 5 5 ()
?5@ .

# -8 %
6 ;; -&
.

5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (>
?5C .

# -& 5 5 5 5 5 5 (>
?5* .

!! 5 5 ((
"
# $ %
& '#

(
@5> 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (B
@5( $ -9 . A 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (B
@5? 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?)
@5@ .

,
0 5 5 5 5 5 5 5 5 5 5 5 ??
@5C ! 2# 9 0
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?@
) $
*
(
C5> .

5 5 5 5 5 5 5 5 5 5 5 5 5 ?D
C5(
0 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?B
C5? ! 0

5 5 5 5 5 5 5 5 5 5 @>
+ , -./
% ""
*5> ,4 ,
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @@

*5( +82 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @B
*5? ! ,4 ,
8 7
9 -&
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C(
( .

0
)"
D5> .

5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C@
.

+1
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 *>
!
+

# $ %
+)
. ' % 2

# $ %
+(
/ . 3

+
4 .

0
(
!
/ %
(+
- 45 4

((
#

>5> !! # = (D8
!5 5 5 5 *
>5( 9 .# -# # %
6 #
8
(D8
! 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 *
>5? ! 0 # 0 (D8
!5 D
?5> !!8 "#

9
8
9 2 %# 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >C
?5( 2!80 B8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >B
?5? 2 # 6 2 (D8
5 ((
?5@ !! % .

#5 ;; -& %
6 .
8

(D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (?
?5C !! % .

#5

8
(D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (@
?5* !! %

#5 -&E # E
*@8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (C
?5D !! .

5#5 -& 5 5 5 5 5 5 5 5 5 5 (*
@5> 9 .#

,Æ5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?>
@5( 9 .# -# #5 %
6 .

#5
(D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?@
@5? 9 .# " -# #5 %
6 .
8

(D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?C
@5@ ! 2# # 2# # (D8

5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?*
C5> ! >) 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?F

C5( ( # G 8
(D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @)
C5? 0 5#5 ! 0 (D8
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @>
*5> ,

5#5 !

(D8 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C(
*5( ,, #5 -& #5 (D8
5 5 5 5 5 5 C?
#

> 2! . #
2!5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 >*
( 2! . #
.# 2!5 5 5 5 5 5 5 5 5 5 5 5 5 >D
? !!
! # 9
5 5 5 5 >D
@ 9 .# 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 (F
C -9 . 9
.# 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?(
* ! 2# 9 0

5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?*
D ,
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @C
B ,4 ,
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 @*
F +82
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C)
>) 2
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C>
>> ! ,4 ,
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 C>
>(
2 2

5 5 5 5 5 5 5 5 5 5 C*
>? 2

5 5 5 5 5 5 5 5 5 C*
>@

! 6

68
9 # 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 CD
>C !
! 6
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 CB
#

'

9
' 2
8
#

4'

5 ' H
8

'
#

# 9

5 . '
#
4 8#
' 9 9
9

5 . ' 9
:#' 4 9

#
5 $ #
#
5

# #5 I. ' 9 9 #
4
4J K@DL5

#
4 8
#

<
' #

9 48

K@D' @CL5 M Æ #
#

4
5 ' 4 #
8
9

5 $

>
H #
Æ 4

8#

5 % 8 '

,4 ,

KC>L 9 9
Æ
#

5

4

4
#
9
5
' 9 = K?(L'
K>>L' K@*L #
5 " '

5 % 9' '

9 #

5 . K(@L 5 >?(' K?DL'
!!8 #

I

4
9 ; *))J' 9

5 . K??L 5 C)>' K*L' = 9 I+ 05 5 7

E
9 4 # $ E (C)

# ' 9
5J
% '

9

' 9

5 ! '

# #8

K?)L 9
9

4
Æ
5 -# '

!!8 8
#

K?DL E
4
K?L #
# 5
. ' # 9

#
H #

'
(

5 ' 8

K(FL -
& K@?' @@L
# 9
6

#5 '

K@DL 9 #

5
H

# Æ

' 3 & K?CL ())C

9 # Æ

!! 5 +

K?)L

5 . 3 &E 9 ' 9 '
9 #

#
5 $' '
8#
5 !
' 9

#
' ' 5 9 7.%&0 #
K@DL5 7.%&0 9 # ' 9 9

5

K(' C)L
4

9 5 $ # 9# '

-&5
9 .7 5 $

F)E' 4

' 9

Æ

5 <
#
#

:

5 '
#

K(BL' 9 5
(5( 5
?

$ # 6
6

!!8 #

9 # 5 .'

! 0

0' ! ,4 ,

!,,
65 .
' Æ8 9 #

0' !,,

6
5 $ 4 8

# 9 9 #

4
Æ

5 $ #

8
9

-& 5 !
' 9 #
8

9 9

45 4
# #

H # Æ

5
8
#

8
#

Æ 8#

#
5

9 #

9
>5 !!8

# Æ !!'
(5 9 # # -9 '
?5
#'
@5 #

#88 '

6 Æ # '
C5
2 9 7N
*5

'
@
D5
6
%

!!8
# 8
!!' ' 8
4 = 8
K?(L

4 >C)
! >5> 95 ,# ' 3 & K?CL

8
H' = E

6 9

4 5 $ #

9 # -98

# Æ

8
# J

8 J K(CL 5
! >5( 9

#
9 9 9
#
5 9 # Æ8
9 # 4 H

5
4
! >5? 9 9 9

8
0

0
9 8
4 #O

5 ? @

!! 9 #
5
!
' C

9
#88
9 5
*

4

6 Æ 9 D 9

2 7N

6

5

9

# 45

# 8
@' (5B)+6
' 9 > 05
C
35
Karatsuba
FFT
30
25
Time [sec]
20
15
10
0
1K 2K 3K 4K 5K 6K 7K 8K 9K
Polynomial Degrees
! >5> !! # = (D8

!5
3
_Naive
Optimized
2.5 Poly Multiplication
2
Time [sec]
1.5
0.5
0
1K 2K 3K 4K 5K 6K 7K 8K
Degree (K=1000)
! >5( 9 .# -# # %

6 #
8
(D8
!
*
14
CRA
Fast CRA
12
10
8
Time [sec]
0
0 200 400 600 800 1000 1200
Polynomial Degrees
! >5? ! 0 # 0 (D8

!5
D

. ' 9 #

8

' 9

#
5 . ' 9

65 . 8
' 9 # #9

#

' 9 # 9

5
!" #

$
!

' #' 2 ' 6'
#

4 8 6 '

Æ 5 0 8
# )5 '
9 6 5 !!8 #

K>)L 4

5 . '

K>CL5
'

9 '

5 9 5
B
/6

K L

;

¼
¼
,4

( <
= ¾ 9
F<
!! #

*@ K>)L5
- !!8
#
!! '

# 8 ' 9 9 (
( ' 9

>B5
4

9

K>CL
>5 2# KL

(

C ; ; 5
(5
KL
* ; 8
; 5 $

5
?5 $ 8

KL' 9

'

C5
@5
' ' # 9
KL

'
6 Æ

2 7N

?? ; ; 5
F
$
9 .7 5 $
F)E 4

9

Æ

5 #6'
5 #

#

:

5 ' 8
#
K(BL 9 8
5 K(L 8#

'

;; P#5 8
' 8 98# :

# P#5 . '
9
9 #
5 . 9 8

'

# 9
' :8 8
5 98
'

'

5

' ' 9

' 5 ! 4
'
#' '

9 H#
65
4 9 48
:' # 5 7
:8
8

5
4
4

>)

!!
!"#

$
% & '(

$
$ ) $
*

*
$ +"

,
- ./ 0 / $
- ./ /
$ 1
0 2 3 ( " 4 2 # *
- ./ /
5+"
) +
++ % ' + 6
3 ( ( 0 2 +
5 ) $
*
*
>>
9 < '
'
' '
9
5
.

Q 5 K(L

5
" !" #

%

'

4
# '
#'

' +82'

#
5
#

4 '

#5 % 8# ' #
9 # Æ 6

#
#

5 . ' 4 9
#
#
6
9

# 5 '
'

' = K?(L

6
!!8
4
5
>(

2 !
2!
9 9 8
# >F*C K@DL5 2!

9
5 ! ! 8

!!

2! 5 . #

8

5
2!

'

5 8
# 2!

'

# ' 9 #

8

!!8
#
E = 8 K?(L

5 #
8

9 !!

-&

9 8

9
;; -& 5 #
9

!!8

5 4 5
>?
!
! !
!! K>' 5 DL # Æ
#8

# 5 .
98#

5
&
# 9 > E '
J# J 9 5 #

KL
' 9 Æ J# J

Æ5 ,#

Æ K?DL5 . '
!!
# Q K
L Æ

# K>

L #88

' 9
# 8 5 #
#

!!' # !! 4 9

# # 5
!!8
9

9
8
6 5 .
8
!! # 9

9
89
#

# !! # 5

2! #

!! #
5 !!8
#

! ?5>5

. ! ?5>' 9 9
Q

Q

#
5 $
#

< #
' 9 I6 ÆJ

5 $ 9
Q
5

9
Æ
Q

?5>

>@
! ?5> !!8 "#
9

9 2 %#
Q ) ( ('
5
!!8 #

9
# 9 ( > H '

9

5

#

'
'
#

' 5

9 4 5 +9# '
#

4 9
5 . '

!!8
#

9
K>)L5 !

' 9
5
>C

> 9 # # 2! 9

5
2 9 Æ # # ' 9

# # 2! 9 K>?' ?DL5 .
R Æ5 R B8

9 ! ?5(5

!
>

R

! ?5(5

2! . #
2!5
Q K
L Æ
Q ( '

' S Q K> L 9
# 8

! Q K!
! L ! S5

S ""
Q "#
<

" Q >$
Q (

Q ) >

% Q )( >
& Q S
K ; % ; (L
Q K ; % L
K ; % L Q ; &
K ; % ; (L Q &

( 9 9
# 2! 9
? 9
!!8 9

6 8

$

!! # Æ 9 9

# 5 $

#

9
#
4 5 4

# 5
!
& "
!!8
6
#
8 ' 9 9 (5 $ 4 9

>*

2! . #
.# 2!5
Q ( '
Q K
L #
S 9 S Q K> L 9
#
8
! Q K!
! L Æ
S5
S ""
Q S<
' Q '
( Q (

Q > ( >
% Q >
& Q KL
KL Q ' K% L
K% L Q ' &
K)L Q ' K)L
K (L Q ' K (L

!!
! # 9
5
Q K
L ( Q K

L'
Æ 9
(
! Q K!
! L Æ (

)& ( ""
Q2! S<
( Q2! ( S

Q >
( Q (
( S
>D
! ?5( 2!80 B8
5
Q 5
'
# > K@D' ?C'
,45 >@5>@' 5 >@L5 ' 4 * Q * ; > 5
& !

E
' + ' 9 + Q ) + Q >' 9 #
+
Q> ?5(
' 9
+ Q > ?5?
$ 9 +

# 8 5 . +

# 8
+ Q ) > ' 9 #

'
+ Q > 5
+ > >' 9 # 9

# (
*

$ Q * ; > # + % ) > +
& '
+ Q >
>B
7 ' 9

#
5 9 9 5

$ $
7 , 8
*
0
9'$, 7
7
4 2$
,%
-%( "

:7
++ +1 0 ' ;
< (+1 "
4 +1 4
2 4 2

:7
< ( "
( "
=4
( =2 "
> ?
*
*
>F
' '
()#
*)

=
8
9

4
'

'
9
4
5 !! 9
4 8

< 9

5 989
)'
+ )
!!8

5
7
8 =

8
5 & KL'

Q ( 5
= E
9
6 (
Q ; ?5@
Q ; ?5C
9 KL5 9

Q ; ; ; Q ; ; ; ;
?5*
=

0 ?5* #

; ; 5 . 9

9
6 ('
9
6 > 6 (5 !

4

5 !!E

#
# 5
! >5> 9

!!8
E = 85
()
+
,#
- %../,'01 #

-&

# J J

8

#5 +' 9

9 5
9 8
6

-& K@@L' 9 88-$ -&
<< @@ ' #

5 !

(D8
' ! ?5@ #
9 9 -&E

(5 9 # Æ

8
8#
#
9
4
9 8 ' 9 -& # '
9 # 5 $

E 6
9 Æ

#

9
( ! ?5? 95 ! ' 9
JGJ # ! '

5 ! ?5@'
(D8
' 9

E'
9 5

9 #
*@8
! ?5@
9 ' -& 5
2 +

'#
,'0
4 9 H

'
9 # 4
9 !! -&E @@
Æ

9

8
5 ! ?5D 9

6 #
-&
5 9
(>
0.5
Generic
Specialized
0.45
0.4
0.35
0.3
Time [sec]
0.25
0.2
0.15
0.1
0.05
0
0 200 400 600 800 1000 1200 1400 1600 1800 2000
Polynomial Degrees
! ?5? 2 # 6 2 (D8
5

6
8
6 5
3 ' 4) 5)

% '
# # #' 9 9
9 5 9 9 J8J
# 9 # 9
5
9

!!
9 9 9
9 4 5

$ $
,7 ,0 ' 7
, 98 ,0
9'8
@
*
88-, $ ,6 78 %

,% ,77$ +" ,7
((
0.25
FFT(ALDOR)
FFT(NTL)
0.2
Time [sec]
0.15
0.1
0.05
0
0 5000 10000 15000 20000 25000 30000 35000
Polynomial Degrees
! ?5@ !! % .

#5 ;; -& %
6 .
8
(D8

5
55 ,% % %

55 0 ' %
A ,7$,7 +" ,7
55 BB% % 88- ;
,A ,7$,7$$,7 +" ,7
55 , 1 24%;
55 ; C0 1 2 < 1
55 4< 2 % D
55 2= ' % % +%
< @ @ +" @
55 < 0 2 '
55 2= " 15 252
$ A ,7,7,7$ +" ,7
55 $ 1 2%6 <
55 % < <
A ,7,7$ +" ,7
55 A 1% 1 %6 %
55 <
- ,7$,7$$ +" , ,7
*
555 4
(
() 8

Æ5

(?
0.3
ALDOR
MAGMA
0.25
0.2
Time [sec]
0.15
0.1
0.05
0
0 5000 10000 15000 20000 25000 30000 35000
Polynomal Degrees
! ?5C !! % .

#5

(D8
5
Æ5
J" =J 8
#

# = J2" =J #

# =5 4
(
()'
2" =
E 95
- E 4EE

!
933:;
, 8

, ,0 ' 8
&< ( &< ( 4
& ( & ( 4

4 4

4 4
< 8 8= <$ 095 >5 *:;
8= < 9> 5 > *> 5 *>< :;
( "

6( " 0 , 4
6 4 6
*
5 4
(@
4.5
ALDOR
MAGMA
4 NTL
3.5
Time [sec]
2.5
1.5
0.5
0
0 5000 10000 15000 20000 25000 30000 35000
Polynomial Degrees
! ?5* !! %

#5 -&E # E
*@8
5
( " ' D

F G # " #
' D
*

5
(C
0.4
C++
0.35 Aldor
0.3
Time [sec]
0.25
0.2
0.15
0.1
0.05
0
1K 2K 3K 4K 5K 6K 7K 8K
Degree (K=1000)
! ?5D !! .

5#5 -& 5
(*

!" # $ %
&"
2# 9

*+ *
,, ,
-,.5

,, 0

# 9
' 9

8
# 9 # 5 9
#9 Æ8 5 . ' 9 -9
9 #

5 . ' 9 8
' (

' # # Æ
' 9 5

5 '

9 #

#

# # 5
-9 #

# &
5 .

#
# # #
5
9' 9

-9 9 #

Æ' H

5
(D
!
9 # -9
#

# # 5 #
# 9 > '

#
KL "& ) Q > , '
5
9 #

4 9 KBL<

#

-9
8 T
K@(L

4 #
<

9 #
% 28
, %2, KBL5
,6 $

-9

# 4
8
- Q )5 !

4

'
4

-
Q @5>
-
- -5
¼
9 ## 9
4 ' 9 ' - 6 5 . 9

KL' # 9 ) Q >'

>
' 9 9 4
> Q )5 -9

Q
> Q (
> @5(
( 9 4

9

# ' 5
(B

# -
& /.
KL
) Q >
Q >
(

>

·½
)
5 ! Q ) 9 #

>>
>
¼
)
@5?
! ' 9
>
> (
> ( ;
>
)
·½
@5@

7 ' 9 9

@

#
5

" 9 .#
!" KL ) Q >' , KL
9 5
!" !" KL

>
5 0 ? ; )
5 0
2 > (

9
#

5
. ' ""

Q >
$ Q

Q >$ Q (

0 $ 1
? ;
213 45

( 9

>

@5C
)5 . ?' 9 ( ' '

(F

½
(
@5*
9 (

5
? (

' (

' #

' (

5
9 # ( ; ( ; ( ( ; ( '

?
(;(

?
( ;(

(

,?
( ;( Q?

;
( (

@5D
( ( 2 > (5>
' * !) ' 4)

K(CL
#

# ' > ' 9

' -9E 5 .

!!

'
-& K@?L5

# # ' ? ; 8
@5>5 . # 9 ( ;
K(C' @?L5
$ 9 4 9
5 $
!!8
?
5
9 9

@
>
Q
@5B

?)
Q (
·½
@5F
!
, @5B @5F' 9 #
·½
Q > ; ;/
@5>)
9
?( ' / , ( 5 $

, @5>) Æ5

·½
>
> ; / ;

'
' Æ

·½
>5
' !!
# ( 9 5

(' 9
-9 (?5
! @5> 5
! @5> 9 .#

,Æ5
. #

9
2! 2! 6 ( > 9 @( (
#

5 7 9
' 9 # ( (

> ( 5
! # #
2! , 8
@5B , @5F

?>

C 9

5

) -9 . 9
.# 5
!" Q K L Æ KL' 9 ) Q >'

' , KL 9 5

!" !" 0 Q K0 0L Æ KL

>
5
)1 . ' ""
0 Q >
$ Q

Q > $

>

# Q
#0%" (<
# S Q K
% K> (LL<
# 0 Q 2! ( 0 S<
# Q 2! (
S<
# 2 Q K 0K% L K% L % K> (LL<
# 2 Q 2! ( 2 S<
# 3 Q K2 K% L % K( (L<
# 3 Q 2! ( 3 S<

# Q K 0K% L 3 K% L % K> (LL<
# Q 2! ( S<
# 4 Q K K% L % K> ( L<
# 0 Q K0K% L 4 ( % K> (LL<

0
' $&'

&5 &!
8

C ? 5
8 + 9 !!

8
5 7' 9 )

2! 2!
( >

5 ? (

2 ?* ' (
?>) '
( ?>> ' ( ?>(5

&/#& ?>( 5
?(
' 9 # ( ( ; ( ; ( 5

( (

;
?
( ( (

;
?
(
(

,(
( ; ?( Q ( ; ?
( (

@5>>
+ ' 9 # ( ( ( 5 . 89
2! # ?F5
%

9 #
: 9 4 75
' 4) #

)
$

9 # 9 #
# 8

@5 I#J #

@ ' ' 9
9

#
5 ' 9

#
C 8Æ

' 8 9 Æ'
9
9 9 9 Æ 5
# 9

' 9 8
Æ' 9 9 '
9 8
6 8 H '

5
9 9 #

Æ ( >

8 K(C' @?L 4
@5?5
! @5( 9

9

'
9

#

??
5 # @5D @5>>

# -9 5

# 8Æ' 9 9

H B)))'

4

6 0 8
'
4

89

5 ! @5?
9 # # # >*)))

#

B))) 9
# (C))

# *5 ! '
# 5
!
E ' 9 # # # 8
4 5
3
_Naive
Optimized
2.5 Poly Multiplication
2
Time [sec]
1.5
0.5
0
1K 2K 3K 4K 5K 6K 7K 8K
Degree (K=1000)
! @5( 9 .# -# #5 %

6 .

#5 8
(D8
5
2 * 7
6
# 9
' KL
' 9
8
# 9 ><
' 9 ' 9

* $ K L Q * ; $ $
5 " K>' 5 BL'
?@
18000
Naive
Optimized
16000
14000
RSS: Resident Set Size (in KB)

12000
10000
8000
6000
4000
2000
1K 2K 3K 4K 5K 6K 7K 8K
Degree (K=1000)
! @5? 9 .# " -# #5 %

6 .

8
(D8
5
5 , 9 9 # '

#
K@DL5

$ ( #

Q > @5>(
( Q > @5>?
$ #
>(
' 9 * #
6

6

@5>@

9
*5
.
*' $
' #
5 K@D' 5 FL
9

* 9 ;

9 @ ; ;
5 +9# ' C ; ; 5 ! @5@
9

# # 9

(
(D8
!5
?C

+ ! 2# 9 0

!" KL' 9
#' 9 > Q )

!" !" * $ KL Q * ; $
$ ,
' ""

, * Q ) $ Q
Q <
(. Q .# $
' ; >
* Q $
' * $ Q *
0.9
monicDivide
fastMonicDivide
PolyMult
0.8
0.7
0.6
Time [sec]
0.5
0.4
0.3
0.2
0.1
0
0 500 1000 1500 2000 2500 3000 3500
Polynomial Degree
! @5@ ! 2# # 2# # (D8

5

4 !5
?*
'
# (

. 9 '

8
8

5

#88 '

' , 0
8
#5
9 9

' 6 8

9

0
J
J K@D'
5 >)L' 5
2 ' 5)) '

/6
#
KL -
'

& >.

&

/ $ Q > 6
$ $ > ( $

?D
% 6 8
Æ

# 5
! C5> 4
9 >)
9 ! C5( 9

4
9

9
5
2 8 5 )) )

9 #
5

9' KL
K L
#
#
>5 7
(5 0
#

>)>@ >)>* K@DL #

5
.
5
' %
8 . # '
4

9
=9 Q @ Q Q Q Q '

( ? (C ? ; ?) ; C5>
9

#

;

5
$

8 ' 9 8
'
4

) ; ( (;( Q ) ;K@) (;) (L;(KC) L >;B;(;>) Q (>)

C5(
?B
m0 m1 m2 m3 m4 m5 m6 m7 m8 m9
0
1 m0 m1 m2 m3 m4 m5 m6 m7 16 m8 m9
17 18
2 m0 m1 m2 m3 9 m4 m5 m6 m7 m8 m9
m0 m1 m2 m3 m4 m5 m6 m7 13
3
10
4 5
m0 m1 m2 m3 m4 m5 m6 m7
7 8 11 12 14 15
! C5> ! >) 5
?F
160
subtree creation
Multiplication
140
120
100
Time in ms
80
60
40
20
0
0 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Polynomial Degrees
Mon Nov 21 21:36:43 2005
! C5( ( # G
(D8
5
@)
14
CRA
Fast CRA
12
10
Time [sec]
6
0
0 200 400 600 800 1000 1200
Polynomial Degrees
! C5? 0 5#5 ! 0 (D8

5
2 8 % #

0 9 9
9

'
' K@DL5 $ #

# '
5 . 4' 0 9
.3
!"
KL
#
' Q % ' 9

!' $ Q (
' '
' KL 9 ' ,
5
!" !"

KL Q

'
) , )
0

C@ # K@DL
5 , !0

) 5 .
5 K@DL

!05
@>

' !0 #

9
5 .
8

9
5 % 9

K@D' 5>)L< 9 # 8

(8

6' 9
9' ' >8

65

6

8
0
5 !
' 9 J J
9

0

5 % 9
H 8

# Æ8

#

6
5
! C5? 9

0

E E E 5

K@D' 5 >)5?L # 9 9
# 4 25

$ $
9 ' 9
8.. 8.D . ,6 79
88-$, 88-$ ,6 79
*
8 $,6 78 990 , ' 7 %

,- 9$ +" 9
55 ,- , %
55 + ' % ;
A 9$$99$$ +" C 9
@(
55 8 ;
55 A H
55 %6 % '
55 H
55 >D?
55 #;;; +1 % $;
99$9$ +" 9

55
55 HH
55 >D? ' H I
55 >D? H J
55 %6 %6 I
55 ;)I; % ;#;;;;+1
9$9 +" 9
55 60 8 + 1#;22
55 ' 0 ; 1#;22
55 $ $ 36 ' K; C K; C
*
4 2 5
@?
)
* + , $

+82
*+ *
'
!,,5 '
KL'
9 '
2
??) ;
5
5 '
+82 &
' = T

K>' C>' @DL
'
5

5 $
1E KC>L #

5 . '
9 ,4 ,

5 .
' 9 # ! ,4 ,

9
+82 5 $

!,,

9

-&
5
3 5 9 )

/6

4 /

/
$ Q ) &
* $

Q * ; $ $ ,
@@
*Q $Q

#
*

5 ! 4
' !'
KL' #

# 0' ,
9
Q 5
/6
" #
#
-7.
/
$
' 2 2
5

D 9 9 ,
,

2 9
,
5 .

2 6

5

( ,
5
!" ' 9 , 2

!" !" 2
""
$
Q $ Q
Q>
# $ Q )
# $ Q $
$
# Q ; >

$
*+ *
,, 4

8
2

" &
" ; & Q 9 2 5

B ,,

5

$ #
5

$ " & 9 ,,' )
@C

,4 ,
5
!" ' 9 , 2

!" !" 7 $ " & ) ; >' * >
""
7
Q $
Q $#
"
Q >$#
&
Q )
7 Q $ Q $# " Q ) & Q >7
Q>
# $ Q )
# * Q $ $
# 7 Q $
$

# $ Q $
$7

# " Q " * " 7

# & Q & * &7

# Q ; >

# Q >
7 $ " & ) ; > * >
; >5 *
5
" ;& Q $ Q < 9

" &
N0

Æ
5
6 Æ'

9 2 7N

#
#
5

'

"
&

Q *5>
" &
) >

6 Q
* 7
>7
*5(
KL
Q 6 6
> 5 !

B 9 #
" &
" &

6
Q *5?
" & " &
$
$

6 Q *5@
$ $
@*
> 5
9
,,5

" #
** 8 $
Q $ Q
Q $
$ Q ) )
/ Q )
$ Q $ $ Q $
" &

9 Q " &

$

1 $

: " ; & Q $
; " & Q >
3 $ & Q &
# # K@D' 5 ?L5
.

44 # KL> 8
& KL' 9 )5 !

' Q
Q 5 ! ) ; > 9 $ Q )' 9 $E

,,

B ,, 5 $

#

, 5
$ ;> 5 5

' 9
#
5

,,

(

; ; *5C

@D

> # 5 !

9 9 ,,

; ( # * ;

5
3 ' : #+%7 !

+2
9
' 9 Q '

4
' 9 % Q (5 ' $

9 4 5
+2 '

9 ' ( ;>

#
; >
# K>L5 . 9

6 Æ
9 ,, # 2 7N
9
5 ! 4
' # 1
1 K L 9 Q 1

1 )'
,

1
1 1 1 # > *5*

1 Q > ; 1 Q ( #5

1
1 #
9 5
4

9 ) 5
' *5*

9 Q # 1 Q Q )

1 Q >( *5D

% 6 6 6

9
' 9 #

6 Q *5B

. 9

#

M

5 .
# #

+2
5
@B
#
4 9 #
F 9
# 1 KC>L5 1 # #

9

, '

,,5

,, 9 +2 ! ,, !,,

# !' 9
4 ) ' 8
!' 9 ) !!

5 %
>>
5 .

>) 9 +2 #

6

9
4 7N
Æ5

8
4 5

,

B ?))) ! *5> 95
@F

? +82
5
!" KL' 9 !' Q

!" !" ( (
4 ) 9 9
( 5 5 )
(

' ""

Q < Q <
,

Q

Q

) Q

Q )

" Q ) )

* $ Q M0
& "

#
$ Q )
) Q

#

) )
' Q &Æ $

$ Q $'
) Q

Q ( "

" Q "

$ Q $

) Q " $

) ) )
C)

1 2
5
!" KL' 9 !'

!" !" ( (
4 ) )
) )

6 Æ
7N " & " ; & Q 5
' ""

) Q <

Q )

" Q ) )
* $ Q M0
& "

#
$ Q )
) Q

# ) )

' Q &Æ $
) Q

$ Q $'
) Q " $
) ) )

! ,4 ,
5
!" KL' 9 !'

!" !" 7N
6 Æ " & " ; & Q 5
!,, ""

# ) Q ) <
# Q ) ; ) <
# ) ) <
Q
# !,,

!,,
C>
4
Standard Euclidean
Fast Extended Euclidean
3.5
2.5
Time [sec]
2
1.5
0.5
0
0 500 1000 1500 2000 2500 3000
Polynomial Degree
! *5> ,

5#5 !

(D8
3 9 ) # ;#

6 ,'0
$

9 4

-& 5 " ' -&

#
# '
#
!!8

4
5 E

H ' 9 9 CF
LCF
9 5
! *5( 9 #

< 9
'
9 2 (5 9' -& '
'
9 (5
C(
3.5
MAGMA XGCD
ALDOR
3
MAGMA GCD
NTL
2.5
2
Time [sec]
1.5
0.5
0
1K 2K 3K 4K 5K 6K 7K 8K
Degree (K=1000)
! *5( ,, #5 -& #5 (D8
5
C?
-

.
&
#
8 K L 9 8

5 ' 9 #
Q ) Q )5

9 Q %

9
6
#5

K>CL 16 3 ())C J!

0

! 65J #
< 9

4 8
85 %

# 0 K(?L
9 Æ' 7 KCL5 7 E #
9 9 Æ

45 $ '

'
4

95
< !

.

' 9 2
9 9 "!2
" ! 6 2
5
8 K L
2
5
.
9' 9 " ! 6 2
"!25
$

' #

# 5 !
' 9 9

C@
7' #
<

& 4 ' ; ' Q > $
. 2
.2' 9 9 28

5 9 28

65
/6
) # Q
<

28

6

Q > > %

=

6 '
>
>
>

$% &

Q ! ?! ; ( Q ! > ! (
Q ! @! ; ? Q ! > ! ?
K!L5 & Q ! >' Q ! (' Q ! ? Q 5 2 > Q > (
( Q > ?5
28 <
6 5
%

28
5 ! ' 9

28 5 ' 9

65

>(
#

#
5 0
2 >

9 &#
$

5 $ 9 Q

CC
9
4

5

>(' >?' >@
4
#
8 KL'

2 2

5
8 KL Q K L'

8
5
K L
QQ
Q
K L
Q <
>
' Q

Q >
'

K L

8#'

4 ?
5 +'

5
-4' 9

# 25

>?
C5

2

9

' 9
8 KL' 9
5

5
QQ
7 Q 0% K L
&
K L

# 9 ' 89
# 9
## Q 9 < Q 9 <
## # # Q
K L
## : : Q
K L
## # #
## : :

#
4
' #

9
5
C*

>@

6
9 # 5

"

! 6

68
9 # 5
9

' 9
8 KL' 9
5

! 6
5

! 6 QQ

Q K L

% > "

# +
Q
< ;
Q
+
K L
#
:"" Q !
:""

# &$" Q 9! "<

:""

>

# = Q

< Æ Q = K L
#
:"" Q !
:""

&

# &$" Q 9! "<

:""
K> L K L
:"" &$"
#

5

(5> ?5> '
9

+
= 5 +'
5
$ #

6
>C 9

5
CD

) !
! 6
5
Q K L'

8
85
"" QQ K L'
9
8 "!2
Q '

$&$" QQ
# 4 E' &$" QQ K L'
4
! ""
Q 6
Q >
#

$&$" QQ "" QQ &$" QQ >
Q (
# Q K>L K(L<
# A
## K

$&$" QQ KK>L K(LL "" QQ KK>L K(LL &$" QQ KK>L K(LLL<
#
## Q K>L <
## !! Q K(L <
## K

$&$" QQ KK>L K(LL "" QQ K !!L &$" QQ KK> (L K( ?LLL<
> Q KKL
) >L<
( Q KKL
>L<

! 6 > (<

$ $
@
*
8< CF %
6 +" E
6 ' 4 ( 3 +" E
55 M6 J < MJ
55 - M' J
55 M'$J MJ %
55 1 8 ' % MBJ MBHJ
55 MJ % 0 M(B BHJ
55 2 8 M 1 ;; !J
55 MBHJ MH;;1 ;;; ;;! ;J 4 MBJ
CB
55 $ 0 MJ
55 4 M4 (J M J;
6 4 ( 3 +" E

E +" '
E +" '
< E +" $
55 ,- ' +" '
55 C ' +" '

C ' ' +" ' '
,
C ' ' +" ++ 0
55 E E +" E
55 M J <
55 M>;# ;;; ;! +1;#;;;;! +1?J
55 % M J M J;
*
' '
< $
4 ,

5
CF
/

. 9 ' 9 98
'

5
$ #

8
< 2
< 0
<
!8
65 # ' 9

'
8# # Æ 5 %

# 9 6 9
5
9 '
9

9
888

5
$ 9

8

4
' 9 # ' 9
5
. 9
9
#
#
#
5
P

9

5
-
6
65
$ #
9
#

5 9
*)
4 9 #
#

5
9 #
8
#
5
*>
0
!

!"

#"
$
%

$
&'"
( !)'
* '"
+
"
+

,

*** -.
/0
! 1
$ $
!) 2
*** / '*/ !*!3
. 1
-. &
* "
"

"
+
*** -.
/0
! 1
$ $
!) 2
*** / '*/ !*!3
-. 4&44
4 * "
"

"
+
$ 5 67& 67& 67

888 9"
::&
9&:9"

$'& "

8
933 0 $ 0
/ /
1 0 9

9 $'&8" !)8
:9

9"

; !)! $
< <1
$ 0
3 0 '
=
1& $0 :9 ! <1

'33
9 $ <1&

933 0:9 <1 ! 0

,
:: :9 ( 0 "
:: * ::"
3888 3::"
888
, 888"
+

'33 0:9 <1 ! /$ &
,
*(
:: :9 ( 0 "
:: * ::"
3888 3::"
888
, 888"
+
+

933 0
3 3"

888 9
+
. 8

933 0
5 &&9>7"

"
+
$ 5
5 67&& 6767

&
&&&!&8:&8:&: "
& 7"

$'&"

0
"
$
&'"
!

'33
$ $ & < 3
$'& " !)
! $&'"
8 9"
$ 8 %
$
/
$

/$
:
933!'
<
$

/
$ 0
$ < 1 1 3:
8: 8*:"
8: 8*:*!"
' $

$
/
1 39 $
$
'& !&!'&
:

1 9 $
'
3: ( 38:"
38:"
+

$ 0
1 $ 0
/ $
3: <

/
$ 0& 8 ?
, 9&!&#333
9&#&=33
: (:" !)
3: ( 38:"
38:"
+
38: * "
38: "
+
:
8 8 * "
+
8
$&'"
+

"
+
$ 0
0 $ 8 3 '
!
< .
5'67&!67& & 67&8 6767

!&
"

$

$ 5 & &

1 .

/ 8 3 $ < 1 .
& $

.

$'& " !)

!
!"
;!
' $ 5'&8 & " $
@
/
! $ 5!&8 & " $
@
/
' 5'& & "
*?
! 5!& & "
$ < //
/
<

' 8 5'&!&
"

87
47"

0
0
8"
' $ 5'&8 & " $
@
/

0
' 5'& & "

'33
!'
:
"
'3"
'3
0 ( '3:"
'3:
0 ( "
+
'39
0 ( '39"
'3
!
0 ( '3
!"

'"
+
/ 5 67&7&

67
39 '"
8
'33 0
38 38' ( "

"
+
*** / &

$

*** 0
$
1& $ / $
$
1
/ 67&7&
67
39 '"
8
'33 0
38 38' ( "

"
+
3

0 67
5 '67& !67&< A67&67
-.&"

$'& " !)
7 0BC
1
"

D"
5 '& !& &/ &&
&< A"

"
+
6 '67& & !67&& 67

$'& " !)
7 0BC
1
"
D $

"
67

&9>7"
67 '& & !&& &/ &&
"
5 "

E F"
+
*@
0
!" # $

C @
C
01
7"
4 6
/"
+

0 C&
4C
4&"
&/&G&&8 && &67"
HH'&&&" C" 7"
D
$

/$
'"

/$
"

$'&" !)

/

&9>7"
G

&9>7"

&9>7"
8

&9>7"

&9>7"
½
39 '>7"
/39 '>7"

&9>7"

&9>7"

&9>7"
88 9"
8

88
2 <8"
388 8" 88
,88"
+

'33
$'&" !)

'"

7 0BC

1"
"
*C

/ 5 &&"
/ 5/&&& &8 "
¾
:
933 3: 3:"
5&&& &8 "

:
933 3: 3:(/3:"
5&&& &8 "
0
HH' $'&' '" / /HH'

HH'
, HH'"

889"
:

HH'33
388 3:" 88
, 88"
+
5&&& &8 "
:
933 /3: /3:(3:"
/ 5/&&& &8 "

:
933HH' G3:*
HH' /3:"
:

HH'33 3: 3: G3:"

:
933 /3: 3:"
+

0./&
"
5/" 5" 5" 58 "
5 " 5"

"
+
**
0
&$ 1 !" #
$

0
C&
4C

D
/I
"
&/9&/HH&/HH
&C"

"
/9C'" /HHC'" /HH
C'"
&"
D
$

/$
'"

/$
"

'33
)!)"
/HH
!(/HH(/HH(/HH "
/HH /HH
"
+

/HH
"
+
*D
0 ,
2

C&6C&&7&C&67&C"
** H

&&:&&<& < $ <
**
1 933' $
? $0
** < !)8 8
1 & 8
1&
** <
</

/ 1
**
&
:
</

1
** @ /
<1
.3

56C&&:&6C&<& J

&8&"
: 2
1 $
1

< "
3< 3"
"
+
: *' 2
1

!
< * !"
$ <*!
$0 A

3< 3 ( 3:"
/
3<*' 3"
/
3 3:" /$
/
"
+
: * '" .

8 1/! '"
$'&8" !)8 . <

$ $ $&' !(
< * $&' '" .
/

5&&*'&&<*'&"

5&*&:&&*'&"
3< 3<*'(3*'"
"
+

<
/!
1/!
K 9"
'"
88 9"

2 2
88"
$&'"
*B
88
, 88"
+
+
*** -.
$ . $ <
***
1 $
-.
8&
&"
9 2 9"
' 2'"
! 2 A"
8 1/! '"

$'&8*' '" !)8*' '& .

$'&8" L 0

' *
* -."
+
6/$ '93'M
-
B
- B
6C&&C&6C& 6C
8 9"
88
- B
5&9&'&&&9& '
38 88"
8
, 8"
+
"
+
*** 6/$ '93'=3 -

0 I
*** 93'3333'
9&'
BE,F
E933'F
*** 9& '&333& ' $ ; 0 '
/ % /

0 6C&&:&C6C
&& "
& && 6C"
6C"

/"
:*'"
8
/$ '"
$'&8"
-." . <

&9>C"

&9>C" <

933 0
3
3
( 3
" )!
+
< &" <
6/$ '93'M $ )!

6C
&9>C"
- B
&&&& "

$ )! ; 0 ;

933 0
K.D 3"
3 3 3"
+

&9>C"

933 0
/32/ 3 $
3& 3"

/ 39(3 * 3'( 3"
39"
+
/3 % / 3 $
3&3"

/ 3'(3 * 39( 3"
3'"
+
*F

3&3 3"
/ 39(3 * 3'( 3"
39"
+
/ '"
$
/ %$
/ 3"
3 "
+
"
+
***
I<

***

BE,F
1
/$&&:
</
;

***
BE,F
/$& & : ?
&
*** 8 & <
8 </
;

*** 3(; 3 $ 39333 3'

I<

6C&&:&6C&&:&6C&<&C
9&'C"
&8&&"
: * '"

/"

933 0 $
/3 % $
/3"
' 2
3"
8 1/! '"
$'&8" !)
$&' !(
< * $&' '"
9
I<

&&*'&&&*'&&<*'&"
'
I<

&*&:&&*&:&&*'&"
3*'(9 * 3<*'('"
+

,

*** - < N
*** 1& . 1
***
$ <
< 6C&6C
C&6C&C&"
-."
6C
&9>C"

5&9&'&&9& '"

"
+
*** -
B
3
***
8

$
1
*** &: $ </

& < &
BE,F& <

*** </

*** 9&333& ' $ 3
- B
56C&&:&C&6C&<&
C /

8&&"
9&'C"
:*'" .
1
' 2
1 "
+
8 1/! '"
$'&8"
< * $&' '" . <
9 3<*'"
' 3*'"
88
- B
5&&*'&9&&<*'& 1 88"
88
- B
5&*&:&'&&*'& 1 88"
D)
+
***
I<
N
***

BE,F
1
/$&&:
</
;

***
BE,F
/$& & : ?
&
*** 8 & <
8 </
;

*** 3(; 3 $ 39333 3'

I<
6C&6C&&6C& C
C
I<

&9&'&&9&'&&9& '"
"
+
*** 6/$ '93!! I$

B
6/$
***
9&333&'
BE,F& !)8& 8
O
09&333&0'
BE,F
*** $ / 0 % / 3
*** $
1

BE,F / $

/
*** $ $ 0 9%%
IB6 6C&&0 6CC

&
& &6C"

1 "
1 0 "
'3 I /$ '93A
<
&"
!3 /$ '93'=

0
&9&'&39"
A3 /$ '93!9

933 0
K.D
3"
3 3( 3
3"
+
. -."

I<

& &&& ."
+
D>
0 3

.

6B 61 B" B B"
661 "
61B"
"
6 61 "
+
4&B&&6B&B&6161&61&B &I$&-

/&&6"
/
, P 61B ,3/
"
< , P 61B ,3< "
.
, P ,3.
"
<8, B P E/
E,F& < E,F&
.
EE'>FF F"
<8, B& 1 B& D J
P

D 2 Q

1Q"
/ B /,& 1"
P"

D/ $
E/
E,& 1F&
< E,& 1F&
.
EE'F& E!FF F"
+

,, B
,&/"
11 B
1&/"

D,,

D11 $
E/
E,& 1F&
< E/& 11F&
.
EE'F& E'& !FF F"
+

D,,

D11 $
E/
E,& 1F&
< E,,& /F&
.
EE'&!F& E!FF F"
+

D,,

D11 $
E/
E,& 1F&
< E/F&
.
EE'F& E'FF F"
+

D,,

D11 $
E/
E,& 1F&
< E,,& /& 11F&
.
EE'& !F& E!& AFF F"
+
+
D(

"
+
<8 61B& D J

P
I$& -1<& -
/& ,N"

L"

2 9"

' 2 E39FRP"

! 2 E39&3'FRP"

!"
' 61B E3
933'F"
! 61B E3
33
'F"
, P /E'FRP& E!FRP"
5'"
5!"
,"
+

OC &<& 1 $

CC .
$ 1 &<+
/P&<<PP
61B < "
<61B < <<"
.
"
< .
<<"
B E
F"
<B E
<F"
L"
L<"
/616B &<"
/
61B /
"
/
<61B /
<<"
/
6B
L/
*L/
<&9>B"

/

933 0L/
/
3 /
3"

933 0L/
< /
3L/
* /
<3"

<

.

< B 1"

.
1"

. $&<& /
$B
L<&9>B"
/B
L<&9>B"
<B
L&9>B"
B
L&9>B"

'33
<3 '>B"
1"
:
'33

D/3'3:' $
<3 <3 ( /3'3:'"

<
5/3'3:'&
< "

5 &L
< "
+
+
3
3&<3"

D3 $

<
5
< &3"

5 &L
< "
+

.

5
.
& "
+
:
'33
D?
$3: '>B"
: 1"

'33

D/3'3:' $
$3: $3: ( /3'3:'"

B&

< &/3'3:'"
:
5 :& "
+
+
/3:
<3:& $3:"

D/3: $

<
5
< &/3:"
:
5 :&L
< "
+

.

5
.
& :"
+
1"

L*L<&"

.

'33L
:
'33L3

3
5
3&33:"

'33L<
:
'33L<3

3*L
5
3*L&
.
3<33:*L"

< !6B E

< F"
E/
&
< !&
F"
+
!" # $ %
!"!"
6B&<6B61 6B
-.L"
6B& 6 < &L"
B
L<&9>B"
<
&"
B
'&9>B"
<39 &39&<"
B
'&9>B"
88 9"
<<6B
L<&9>B"
61 61 B
L&<<"
$
O
8
933 0

D8& $
$8& "

$8& "
B 3"
B 3"
<86B E

<38F"
B
'&9>B"
<3 &&<8"
B
'&9>B"
<3 &&<8"
+

388 E
<38F>6B"
88 88 * '"
+
+
"
+
& ' $
B&B&6BB
D@
< !&6B"
< 'B"

"

L"
6B& 6 < &
" /

&39(39" 39" K/
< '
'&9>B"
< !

&9>B"

- B 5< !&
&&& -.
" /
3' /< !39&39"

'33 0

'B /< !3&3"

5 & '"
+
5 < '"
5 < !"

"
+
DC
0
,$

@0 /
/ $$ 1

&<
@E,F& <

K 9& @
/ $ '
&
@E,F $ $ <*& / % / <

@0C& <C C&C

D<"
C
"

4 / /<"
& && C"

%9 $
9"
"
+

0<"

0 &
*'"
0( "

5&
*'>C"
/
$
0"

)
/ ( 0"

+
< ("
+

&"
+
D*
0 +
30 3

4
/"
6BB 061"
67 61 7"
$

/"
7
8/"
BB 0BC
1
"
+
,

6/$8/7 & C C
01
6/<7 $
5 6BB C& 6BB C 2 6BB C"
** '&!
$ '
! 0 ! <1 ! 0 C
** $
0 /

6BB C& C& C 2 C&C"
** & &
$ <1 0 $ 0 $
0
** $

0 C&4 2 C"

0 C& 2 C"

0
C&4 2 C"

0
C& 2 C"

C
/

I
/
$
<

@0 67& 67 2 C&C"

@0 C&C 2 C&C"
**
0
<1 $
$$
/

$ C&C 2 6BB C"
** ,

6/$ $$ $ /
$
C&C2 6BB C"
** $ / $ $

C&C2 C"
** $ / $ ! 1

+
.HH7 7 9"
HH7 7 ' * '"
7&77&BB7"
C

@
"
,N&-
/&I$"
6BB C"
4&67&&C&"

DD
, 5BB&&<&&
BB39 (BB39
, 5BB&C&<C&C&C
BB39 ( BB39"
BB3' < ( BB3'"
BB3! ( BB3!"
BB3A ( BB3A"
BB"
+
,
5BB&&<&&
BB39 &BB3'<
,
5BB&C&<C&C&C
BB39 "
BB3' <"
BB3! "
BB3A "
BB"
+

,

5' & !
& <& & C"
'39 ( !39 * '3' ( !3!"
< '39 ( !3' * '3' ( !3A"
'3! ( !39 * '3A ( !3!"
'3! ( !3' * '3A ( !3A"
'39 "
'3' <"
'3! "
'3A "

'"
+
' & 0' C& 0! C C&C

& "
0' ( '39 * 0! ( '3'& 0' ( '3! * 0! ( '3A"
+

PPP O0 0
$ /$ S3'9
0

/

PPP

0
C&
4C
C
"

D
/I
"
/9C'"
/HHC'"
/HH
C'"
&"
C"
D
$

/$
'"

/$
"

'33
!)"
)"
/HH
!(/HH(/HH(/HH "
/HH /HH
"
+

/HH
"
+

0
C& C
4"
.
/ 4"

0
& ."
DB
+

0 - C&
C

.4
4"

0 - &
."
+
***
0. 8&

1

***
0 8 .

0. 867&
C
7&C&&4&67"
"
0
"
C 83& 4 "
8
0339 <1 '
.D 838 $
"
5& 838&84"
+

"
+

0 C& C
.4 4"

0 & ."
+

0
C
0
$ 8

BE,F $ 9 '&

O $ / / *'
/
BE,F 1
/ / K ' ,)

0 C&
4C
4&"
&/&G&&8 && &67"
HH'&&&"
C"
7"

D
/I
"
D
$

/$
'"

/$
"

$'&" !)

/

&9>7"
G

&9>7"

&9>7"
8

&9>7"

&9>7"
39 '>7"
/39 '>7"

&9>7"

&9>7" $

&9>7"
88 9"
8

88
2 <8"
388 8"
88
,88"
+

'33
$'&" !)
'" / /H
7 0BC
1"
"
/ 5 &&"
/ 5/&&& &8 "
< # ,)!)
:
933 3: 3:"

5&&& &8 "
:
933 3: 3:(/3:" (/

DF
5&&& &8 "
5&"
0
HH' $'&' '" / /HH'

HH'
, HH'"
88 9"
:

, HH'33
388 3:"
88
, 88"
+
5&&& &8 "
:
933 /3: /3: ( 3:" (/

/ 5/&&& &8 "
/ 5/&"
,)
, HH'(G
:
933HH' ,)
, HH'(G
G3:*
HH' /3:"
+
:

HH'33 3: 3: G3:"
:
933 /3: 3:" 5
+

0./&
"
0 1
"
5/"
5"
5"
58 "
5 "
5"

"
+
***
0. 8
1

***
0 8

0. 867C
7&C&&4&67"

&"

L 8"
0
"
C 83& 4 "
8
0339 <1 '
.D 838 $
"
5& 838&84"
+

"
+
*** 0 <1

/&
3
*** 0
567&
67
&67&7&4"
. L"
8
933 0 .
5&8&
47(38"
+

"
+
01

1
3

39333
'

567&
67
67&&7"
L %
$

"
.5&
"

"
+

PP PP
B)

D
4J

9 2
"

' 2
"

/$
'"
<<< 0"

933 <<<
<D
& $

"
+
<D
&<<< $

"

"
+

@0 /
/ $$ 1

@0 C& < C C&C
C
"

4 / /<"
& C"

%9 $
.HH7C"
"
+

C 0<"
C
0 &
*'"
0( "

5&
*'"
/
$
0"
)
/ ( 0"

< ( "
+

&"
+
8 ,)
0
0. 67&
67
67"
.5 &
"
3
*' '>7"

"
+
$ TI@ 6/$$

,/9 ; !
$9C&'C
/9 2 /'"
94 /9"
'4 /'"
#"
4 9*' !"
/' % $

E'&9&9&'F>"
99C 1 9"
''C 1 '"
$599&>C" 99 ,)
$5''&>C" 99 ,)
' $99& ''"
HH:HH
HH'C&HH:C '&9&'"
.DHH: $

'"
HH:C& HH:C
@0HH:HH
HH'& HH:"
$HH:HH HH' 7
/I
HH:"
HH:HH HH' C& HH C &
0HHHH C
OHH:"

0$HH:HH HH' C
0$HH:HH HH'C"
!
"
!39 9"
!3' '"
B>
!3!
0$HH:HH HH'"
!3A
0$HH:HH HH' ( HH:"
! 5!&'"
.DHH:HH HH' $

!"
4 !(/HH:"
HH:'C 1 HH:"
HH:HH HH''C 1 HH:HH HH'"
$5HH:'& "
$5HH:HH HH''& "
A $HH:'&HH:HH HH''"

5A&!"
+
$ I@ 6/$

9C&'C
#"
' $9&'"
HH:HH
HH'C&HH:C '&9&'"
.DHH: $

'"
HH:C& HH:C
@0HH:HH
HH'& HH:"
$HH:HH HH'7
/I
HH:"
HH:HH HH' C& HH C &
0HHHH C
OHH:"

0$HH:HH HH' C
0$HH:HH HH'C"

"
,
5 &9&'&
0$HH:HH HH'&
0$HH:HH HH'(HH:"
' 5 &'"
.DHH:HH HH' $

'"
-- HH:&HH:HH HH'"
5--&'"

"
+
*** &<
$ / $ 1

<3
C&<CC
C&6BB C&&"
"
' $
/>
/"
! $
/<>
/"
' 2 ! $
&<"
/ 39 ( * 3' ( <"

/"
+
' ! $

<& <"

<&"
+
$ 5 67& 67& 67

888 9"
::&
9&:9"

$'& "

8
933 0 $ 0
/ /
1 0 9

9 $'&8" !)8
:9

9"

; !)! $
< <1
$ 0
3 0 '
=
1& $0 :9 ! <1

'33
9 $ <1&

933 0:9 <1 ! 0

,
:: :9 ( 0 "
:: *::"
3888 3::"
888
, 888"
B(
+

'33 0:9 <1 ! /$ &
,
:: :9 ( 0 "
:: * ::"
3888 3::"
888
, 888"
+
+

933 0

3 3" 1
8889
+
. 8

933 0
3 9>7"

"
+
$ 5
*** &
&& /HH &8
$ @
*** /& 0 $ / % ./HH
*** 1

1

U
!)
***

@
/
***8 $ <
/$ !)
5 67&
&& 67&8 6767

&&&!&8:&8:&: "
& 7"

0
"
$
&'"
!
$ 5 &8 &" $
@
/

'33
$ $ & < 3
$'& " !)
! $&'"
8 9"
$ 8 %
$
/
$

/$
:
933!'
<
$

/
$ 0
$ < 1 1 3:
8: 8*:"
8: 8*:*!"
' $

$
/
1 39 $
$
'& !&!'&
:

1 9 $
'
3: ( 38:"
38:"
+

,

$
$ 0
1 $ 0
/ $
3: <

/
$ 0& 8 ?
, 9&!&#333
9&#&=33
: (:" !)
3: ( 38:"
38:"
+
38: * "
38: "
+
:
8 8 * "
+
8
$&'"
+

"
+

0 @ $ 1
5'67&
67
B?

07
0
47"

! $
&'"
!

'33
!'
:
"
'3"
'3
0 ( '3:"
'3:
0 ( "
+
'39
0 ( '39"
'3
!
0 ( '3
!"

'"
+
*** 1 <1

*** N $ $1 . @ 0

8 567&<67&
67
67"
8
933 0
38 38 ( <38"

"
+
/ 6 $ 0

TI@6C&JC
E'&9&9&'F>"
/4 /6 !"
/J % / $

"
$ /J 2 /
VC 6 J"
6C 6 J"
6&J"
C V( 3!"
39 "
39 3!"
3! 1 "
V ( 3A"
3' "
3A 1 "
+

"
+
+
B@
4
K>L 5 /5 ' P5 ,5 + ' P5 25 "
5

5 8$' 0' ' "' >FD@5
K(L 5 5 5 "# $ % ' '
())(5
K?L 25 +5 7' =5 &' +5 25

5 " E

5 >
8

' @ @ ?CDU?D>'
>FF)5
K@L 25 P5 7 5 0
# 8 9 5
II;';I ; ! %' ())@5
KCL 25 P5 7 5 !

5 > '
' C@ > >U?)' ())C5
K*L 05 5 7 5

4
5 E '
"# ' >FD)5 OO95

5455OO9 O 5 O5
KDL 05 5 7 ' !5 5 #' 25 15 15 15 ! 6

N
4
5 >
'
' > (CFU(FC' >FB)5
KBL 05 5 7 +5 5 =5 !

9
5 >

' (C @ CB>UCFC' >FDB5
KFL 05 ,5 7 25 %E+ 5
85 ,' .5'
())?5
BC
K>)L 255 ,5 =5 %

# 8
5 0' (B *F?UD)>' >FF>5

K>>L P5 P5 5

4
! ; 5 ' >F (FDU?)>' >F*C5

K>(L =5 25 &5 65 * 5 =
'
())@5
K>?L 5 +5
' 5 ,5 & ' 05 &5 0#' 5 5 0

5 98+ + ,' ())(5
N ' $5 $' 15 35 , :
K>@L 35 2' 5 6' ,5

6 8
# 5 . 0(88' *FUD>5 "#
*' ! ' ())@5
N ' 15 35 %

4
K>CL 35 2' 5 6' ,5
C 5 . 088=?:' ())C5 5

N ' 15 35 %
4
K>*L 35 2' 5 6' ,5
2C 5 .
$??;' ())*5
N 5
5 .
K>DL 35 2 ,5 088 ?1'
>)?U>>)5 ' ())@5
K>BL P5 2 2 ' 5 2 6' 25 2#5 9

8

5 . ( *@,A# B: C $' #
()@
# D 8' (BFU(F)5 8/ ' >FBC5
K>FL P585 2
' 5 ' 5 5 ! 5
. 088 ?$' *?UD@5 ' ())(5

K()L $ 5
5 . 088 415
' >FF@5
B*
K(>L 05 P5 !
5 / 8
#
5
>FF)5 II%%%;0;I I I ';' 5
K((L ! 9 !5 7D@

( #5
II%D;II' ()))8())C5
K(?L 5 P58&5 05 -(

8

5 . (8A =43 (

(
' ?>U?D5
' >FFD5
K(@L =5%5 ' 505 6 ' 5 &5
5
=# ' >FF(5
K(CL 5 + ' 5 M ' 5 V

5

' .5
*

' >@ * @>CU@?B' ())@5
K(*L P5 # +#5
5 . ( 088=?15
' ())@5
K(DL OO99955 O5 #E+5 &74 ' ())C5

K(BL OO9995 555 A ,
5
9
55' ())C5
K(FL

"# 7 '

5

8 D
75
II;;'; ;II' ())@8())*5
K?)L 05 25 P 05 5 5 F0A 8

85
8/ ' >FF(5
K?>L P5 05 P' $5 = ' 5 25 0#5 89
>5 . ( 088=?:5 ' ())C5

BD
K?(L 5 = 15 %
5

8

5 8& ( ) ' D CFCUCF*' >F*?5
K??L 25 ,5 =5
(' #
(5 $'
>FFF5
K?@L N N
& , 5 !
# 9

6 5 80A * >

0 A
,' C >'
())?5
K?CL 35 &5 ,Æ

9
5 8
E ' "# $ % ' ())C5
K?*L 25 &5 +8 # 5 . 088 ?:' (?>U(?*5

' ())C5
8G 8 =3; ('
K?DL 05 5 5

5 .

8
'
>?*U>@B' -9 1 ' -1' "' >FD*5 5
K?BL 5 65

' ())C5 5
K?FL 5 6 5 %5 %

#
9
45 ' "# $8
% ' ())@5
K@)L 7 5

& 5
II ;D+ 0 ;' ())C5
K@>L / 15 5

#

5 > 8 '
>B ? >B?U>B*' >FF@5
5
K@(L T

8

4 8
5 0 @&T& T' >FB(5
BB
K@?L /5 5 9
6

5
> 8 ' () @ ?*?U?FD' >FFC5

K@@L / 5 D
#5 2 5 / ' >FF)5
K@CL + P5 5 D
( 5 .

' ' ())@5
K@*L /5 5

5 D
)'
>? ?C@U?C*' >F*F5
K@DL P5 # 6 P5 5

5

"# ' >FFF5
K@BL 5 5 $5 !%
5 ' .7
0 ' >FF@5
K@FL 5 $5

5
' .7 0 ' >FF?5
KC)L 5 $5 H #

, C?9:5 .7 0 0 0
>FC?)' >FF@5
KC>L 5 =5 15
( 5 "#
' >FF?5
BF

Implementation of Fast Polynomial Arithmetic in Aldor

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Implementation of Fast Polynomial Arithmetic in Aldor

Transféré par

Droits d'auteur :

Formats disponibles



 !  ())*

.  ' 9      4    '  

9   

 !!8  

   5

=9   ' 

     ! 

/   .   3   

-   45 4  

?5> !!8  "#  

@5> 9   .#        

C5>   ! >)  5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?F

*5> ,   

 #   

 # 9   

   ' 9 9     

    9  

  : #' 4 9            

  #   #5 I.  ' 9 9   # 

 9    

     

   5 %     8   '  

  ,4  ,   

   K>>L'    K@*L         #   

 5 %  9 '   '    

!!8  #  

   5J

     5 !  '  

    #   5

.    ' #   9   

     H   #     

 #5 '  

     

     H   

 9  #      Æ 

 !!  5 + 

'  '   5    9   7.%&0 # 

    K@DL5 7.%&0 9   # '  9 9 

    9   .7   5   $  

       #

0' !  ,4  ,   

  '       Æ8      9 # 

  0' !,,   

 H   #     Æ 

          

       #      

>5 !!8 

@5        #     

#8 8   '

H' =   E        

4    5 $ #  

 #    J

! >5( 9 

    9 # 4   H 

 4     #O   

     

! >5> !!    # =   (D8  

! >5( 9   .#  - # # % 

! >5? !  0 #    0    (D8  

' 9    # #9   

 ' 9 #  9 

       !"   #

  ' #' 2    '        6 '

! ())*

. ' 9 4 '

9

!!8

5

=9 '

!

/ . 3

- 45 4

?5> !!8 "#

@5> 9 .#

C5> ! >) 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 ?F

*5> ,

#

# 9

' 9 9

9

:#' 4 9

# #5 I. ' 9 9 #

9

5 % 8 '

,4 ,

K>>L' K@*L #

5 % 9' '

!!8 #

5J

5 ! '

# 5

. ' # 9

H #

#5 '

H

9 # Æ

!! 5 +

' ' 5 9 7.%&0 #

K@DL5 7.%&0 9 # ' 9 9

9 .7 5 $

#

0' ! ,4 ,

' Æ8 9 #

0' !,,

H # Æ

#

>5 !!8

@5 #

#88 '

H' = E

4 5 $ #

# J

! >5( 9

9 # 4 H

4 #O

! >5> !! # = (D8

! >5( 9 .# -# # %

! >5? ! 0 # 0 (D8

' 9 # #9

' 9 # 9

!" #

' #' 2 ' 6'

# )5 '

K>)L 4

9 '

!! #

!! '

( ' 9

>5 2# KL

'

F)E 4

#

'

# P#5 . '

' :8 8

5 98

'

#' '

4 9 48

:' # 5 7

:8

8

$ +"