Contents - Student subdomain for University of Bath
Contents - Student subdomain for University of Bath
Contents - Student subdomain for University of Bath
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CONTENTS 5<br />
A Algebraic Background 205<br />
A.1 The resultant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205<br />
A.2 Useful Estimates . . . . . . . . . . . . . . . . . . . . . . . . . . . 208<br />
A.2.1 Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208<br />
A.2.2 Coefficients <strong>of</strong> a polynomial . . . . . . . . . . . . . . . . . 209<br />
A.2.3 Roots <strong>of</strong> a polynomial . . . . . . . . . . . . . . . . . . . . 211<br />
A.2.4 Root separation . . . . . . . . . . . . . . . . . . . . . . . . 212<br />
A.3 Chinese Remainder Theorem . . . . . . . . . . . . . . . . . . . . 215<br />
A.4 Chinese Remainder Theorem <strong>for</strong> Polynomials . . . . . . . . . . . 216<br />
A.5 Vandermonde Systems . . . . . . . . . . . . . . . . . . . . . . . . 217<br />
B Excursus 221<br />
B.1 The Budan–Fourier Theorem . . . . . . . . . . . . . . . . . . . . 221<br />
B.2 Equality <strong>of</strong> factored polynomials . . . . . . . . . . . . . . . . . . 222<br />
B.3 Karatsuba’s method . . . . . . . . . . . . . . . . . . . . . . . . . 224<br />
B.3.1 Karatsuba’s method in practice . . . . . . . . . . . . . . . 225<br />
B.3.2 Karatsuba’s method and sparse polynomials . . . . . . . . 226<br />
B.3.3 Karatsuba’s method and multivariate polynomials . . . . 226<br />
B.3.4 Faster still . . . . . . . . . . . . . . . . . . . . . . . . . . . 226<br />
B.3.5 Faster division . . . . . . . . . . . . . . . . . . . . . . . . 227<br />
B.3.6 Faster g.c.d. computation . . . . . . . . . . . . . . . . . . 227<br />
B.4 Strassen’s method . . . . . . . . . . . . . . . . . . . . . . . . . . 227<br />
B.4.1 Strassen’s method in practice . . . . . . . . . . . . . . . . 229<br />
B.4.2 Further developments . . . . . . . . . . . . . . . . . . . . 229<br />
B.4.3 Matrix Inversion . . . . . . . . . . . . . . . . . . . . . . . 229<br />
C Systems 231<br />
C.1 Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231<br />
C.1.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 231<br />
C.1.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231<br />
C.1.3 Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . 232<br />
C.2 Macsyma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232<br />
C.2.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 232<br />
C.2.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234<br />
C.3 Maple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234<br />
C.3.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 234<br />
C.3.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234<br />
C.3.3 Data structures . . . . . . . . . . . . . . . . . . . . . . . . 234<br />
C.3.4 Heuristic GCD . . . . . . . . . . . . . . . . . . . . . . . . 237<br />
C.3.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . 237<br />
C.4 MuPAD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238<br />
C.4.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 238<br />
C.4.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238<br />
C.5 Reduce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239<br />
C.5.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 239<br />
C.5.2 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239