Spring 2023  MACM 401 D100
Introduction to Computer Algebra (3)
Class Number: 5154
Delivery Method: In Person
Overview

Course Times + Location:
Tu 2:30 PM – 4:20 PM
AQ 5037, BurnabyTh 2:30 PM – 3:20 PM
AQ 5037, Burnaby 
Exam Times + Location:
Apr 21, 2023
9:00 AM – 9:00 AM
TAKE HOMEEXAM, Burnaby

Instructor:
Michael Monagan
mmonagan@sfu.ca
1 778 7824279

Prerequisites:
CMPT 307 or ((MATH 340 or MATH 342) and (CMPT 225 or MACM 204)).
Description
CALENDAR DESCRIPTION:
Data structures and algorithms for mathematical objects. Topics include long integer arithmetic, computing polynomial greatest common divisors, the fast Fourier transform, Hensel's lemma and padic methods, differentiation and simplification of formulae, and polynomial factorization. Students will use a computer algebra system such as Maple for calculations and programming. Quantitative.
COURSE DETAILS:
Course Description
The focus of the course is on the algebra of and computing with long integers, polynomials, rational functions, and the elementary functions. We will use Maple for calculations.The main topics covered will be:
 Algorithms for long integer multiplication and GCD.
 Nonunique factorization and unique factorization.
 Euclidean domains, the Euclidean algorithm and applications.
 How do systems like Maple represent a formula on the computer?
 Simplification and differentiation of a formula.
 The Fast Fourier Transform and applications.
 The Chinese remainder theorem and polynomial GCD computation.
 The Padic Newton iteration.
 Probabilisitic algorithms for polynomial factorization over finite fields.
 Hensel's lemma and polynomial factorization over the integers.
 The Sylvester Resultant.
Note: this is a crosslisted course with MATH 701/ MATH 801.
Grading
 6 Assignments 50%
 Course Project 10%
 Final Exam 40%
NOTES:
Note: all 3 courses (MATH 401, MATH 701, MATH 801) run Tuesday 2:30  4:20 plus Thursday 2:30  4:20 (lecture 2:30  3:20 plus tutorial 3:30  4:20).
THE INSTRUCTOR RESERVES THE RIGHT TO CHANGE ANY OF THE ABOVE INFORMATION.
Students should be aware that they have certain rights to confidentiality concerning the return of course papers and the posting of marks.
Please pay careful attention to the options discussed in class at the beginning of the semester.
Materials
REQUIRED READING:
Course notes will be provided.
RECOMMENDED READING:
Algorithms for Computer Algebra, 1 / E
Author: KO Geddes, SR Czapor, G. Labahn
Publisher: Kluwer Academic, 1992
Students are not required to purchase this text. For those who wish to purchase a physical copy, the text is available on Amazon.
ISBN: 9781475783230
Modern Computer Algebra
Author: von zur Gathen, J & Gerhard, J.
As above, purchase of this text is not required.
ISBN: 9781107039032
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/coursematerials/mypersonalizedcoursematerials.
Registrar Notes:
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
SFU’s Academic Integrity website http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the university community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the university. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the university. http://www.sfu.ca/policies/gazette/student/s1001.html