EN
Home
[368.164] Computer Algebra 2 (Winter semester 2018-2019)
The course is an overview of algorithms for fast polynomial and integer arithmetic, and for polynomial factorization.
Location
MT 327 (Science Park 1)
Time
Wednesday 10:15 - 11:45
First class
Friday 05 October 2018
Note: the lecture on Wednesday 05 December is moved to Friday 14 December (13:45 - 15:15).
The lecture notes will be available after each class:
last version
.
The problem sheet for the winter holidays homework is available
here
.
Prerequisites
The course should be accessible to 5th semester students, and the content is mostly independent of
Computer Algebra
. The prerequisites are a basic understanding of common algebraic structures (ring, field) and linear algebra.
Topics
Karatsuba's algorithm
Toom-Cook's algorithm
Evaluation/interpolation
Discrete Fourier Transform (DFT)
Fast Fourier Transform (FFT)
Schönhage-Strassen's algorithm
Kronecker substitution
Newton iteration
Chinese Remainder Theorem (CRT)
LLL algorithm
Berlekamp's algorithm
Cantor-Zassenhaus's algorithm
Hensel lifting
Van Hoeij's algorithm
Plan of the course (can and will be modified)
Semi-fast multiplication (Karatsuba, Toom-Cook)
Fast multiplication in \(\bar{k}[X]\) (using Fourier transform)
Fast multiplication in \(R[X]\) (Schönhage-Strassen)
Fast multiplication in \(\mathbb{Z}\)
Fast multiplication in \(R[X,Y]\) (using Kronecker substitution)
Fast division
Fast evaluation and interpolation
Fast Greatest Common Divisor*
Fast squarefree decomposition*
LLL algorithm and applications
Factorization in \(\mathbb{F}_p[X]\) (Berlekamp, Cantor-Zassenhaus)
Factorization in \(\mathbb{Q}[X]\) (using Hensel lifting)
Faster factorization in \(\mathbb{Q}[X]\) (using LLL)
Even faster factorization in \(\mathbb{Q}[X]\) (van Hoeij)*
* Pending available time
References
Modern Computer Algebra
, Joachim van zur Gathen and Jürgen Gerhard (1999),
Cambridge University Press
Algorithmes efficaces en calcul formel
, Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy and Éric Schost (2017),
CreateSpace
, also available
online
(in French)