Spring 2023  MATH 801 G100
Computer Algebra (4)
Class Number: 7483
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
Description
CALENDAR DESCRIPTION:
Computing with long integers, polynomials, and mathematical formulae. Topics include computing polynomial greatest common divisors, the Fast Fourier Transform, Hensel's Lemma and padic methods, differentiation and simplification of formulae, polynomial factorization. Integration of rational functions and elementary functions, Liouville's principle, the Risch algorithm. Students will use a computer algebra system such as Maple for calculations and programming. Students who have credit for either MACM 401 or MATH 701 may not take this course for further credit.
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.
 Resultants and rational function integration methods.
Note: this is a crosslisted course with MACM 401/MATH 701.
Grading
 6 Assignments 50%
 Course Project 10%
 Final Exam 40%
NOTES:
Note: all 3 courses (MACM 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.
Graduate Studies Notes:
Important dates and deadlines for graduate students are found here: http://www.sfu.ca/deangradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.
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