CS9646: Algorithms for Multivariate Power Series and their Application to Symbolic Analysis, Summer 2021



Welcome to CS9646, 2021!

  • First lecture (10:30-12:00, Friday, May 7): Motivating examples

Lecture Materials

  Given Topic Slides
Lecture 1 Friday May 7 Motivating examples slides
Lecture 2 Wednesday May 12 From convergent to formal power series slides
Lecture 3 Friday May 14 Weierstrass Preparation Theorem (1/2) slides
Lecture 4 Wednesday May 26 Weierstrass Preparation Theorem (2/2) slides
Lecture 5 Friday May 28 Weierstrass Preparation Theorem: UPoPs case slides
Lecture 6 Wednesday June 2 Properties of Power Series Rings slides
Lecture 7 Friday June 4 Puiseux Theorem and Consequences (1/2) slides
Lecture 8 Wednesday June 9 Puiseux Theorem and Consequences (2/2) slides
Lecture 9 Fridya June 11 The Hensel Sasaki Construction (1/2) slides
Lecture 10 Wednesday June 16 The Hensel Sasaki Construction (2/2) slides
Lecture 11 Fridya June 18 Limit Points slides
Lecture 12 Wednesday June 23 Limit of Multivariate Rational Functions slides
Lecture 11 Fridya June 25 Tangent Cones slides
Lecture 12 Wednesday June 30 Project presentations slides

Some research papers used in the lectures are listed below

Some research slides used in the lectures are listed below

Some Maple programs used in the lectures are listed below

Some reference books are listed below

Computer algebra systems and related software used in this course

Quizzes and Projects

Tentative Quiz and Project Schedule

  Given Due Weight
Quiz 1 Friday. May. 21 10:30-11:00 15%
Quiz 2 Friday June 16 10:30-11:00 15%
Project selection Wednesday June 2 3:00 - 6:00pm
Project presentations June 23 and 25 10:30 - 12:00 70%

Teaching Crew and Hours

  • Instructor
    Marc Moreno Maza
    email: moreno@csd.uwo.ca

    Friday lecture: 10:30-12:00
    Zoom meeting Passcode: 848527
    Wednesday lecture: 10:30-12:00
    Zoom meeting Passcode: 166847

CS9646, Summer 2021
Algorithms for Multivariate Power Series and their Application to Symbolic analysis
Course Outline

Course Description

Many fundamental concepts in mathematics are defined in terms of limits and it is highly desirable for computer algebra to implement those concepts. However, limits are, by essence, hard to compute, or even not computable in an algorithmic fashion, say by doing finitely many rational operations on polynomials or matrices.

In this course, we shall see how various types of limits can be computed by means of algebraic calculations. Examples will cover the Zariski closure of a constructible set, the tangent cone of an algebraic set at one of its singular points, and the limit of a real multivariate rational function at one of its poles.

The first half of this course will consist of a presentation of the underlying mathematical concepts (multivariate power series and Puiseux series) and algorithms (factorization of polynomials over multivariate power series rings, including the Extended Hensel Construction) as well as software demonstration powered by the RegularChains and MultivariatePowerSeries libraries in Maple.

Instructor

Marc Moreno Maza
Email: moreno@csd.uwo.ca
Office: Middlesex College 327

Course Materials

There is no specific textbook for this course. Lecture notes, suggested readings and supplementary materials are available electronically on the course website.

Course Website

Students should check the course website http://www.csd.uwo.ca/courses/CS9646 on a regular basis for news and updates. These are the primary method by which information will be disseminated to all students in the class. The missing of critical information due to your failure to check the course website cannot be used as a basis for appeal.

Class Schedule

Wednesdays and Fridays from 10:30 to 12:00 from May 7 to June 25.

Course Work Evaluation

The overall course grade, out of 100, will be calculated as follows:

  • 2 in-class quizzes about key concepts and principles, each worth 15%, the sum of which will constitute 30% of the final grade;
  • 1 course project worth 70%;

A CS9646 project topic is chosen by the student from a list of topics proposed by the instructor. Project topics will be posted by May 21 and each student must choose a project topic by June 2. The projects will be presented in class by the students during the last two weeks of classes. Each presentation will consist of a 20 minute talk followed by questions for 5 minutes.

There is no midterm examination and no final examination.

It is Faculty of Science policy that a student who chooses to write a test or exam deems themselves fit enough to do so, and the student must accept the mark obtained. Claims of medical, physical, or emotional distress after the fact will not be considered.

Scholastic offences are taken seriously and students are directed to read the appropriate policy, specifically, the definition of what constitutes a Scholastic Offence, at this website:

http://www.uwo.ca/univsec/pdf/academic_policies/appeals/scholastic_discipline_undergrad.pdf.

Computer-marked, multiple-choice tests and exams may be subject to submission for similarity review by software that will check for unusual coincidences in answer patterns that may indicate cheating.

Every effort will be made to have quizzes marked and handed back within 2 weeks of the hand-in date.

Tentative Quiz and Project Schedule

  Given Due Weight
Quiz 1 Friday. May. 21 10:30-11:00 15%
Quiz 2 Friday June 16 10:30-11:00 15%
Project selection Wednesday June 2 3:00 - 6:00pm
Project presentations June 23 and 25 10:30 - 12:00 70%

  • If for any reason the schedule cannot be adhered to, the marks will be pro-rated.
  • No electronic devices may be in your possession during tests.
  • All quizzes are close-book. A reference sheet (provided by the instructor) is allowed for the quizzes.
  • In case of questions regarding the marks, please note that no quizzes will be accepted for re-marking later than two weeks after they have been marked. We reserve the right not to re-mark quizzes or exams that have been written in pencil.
  • All students are expected to attend all classes. A student found to be missing a large number of classes without acceptable reasons risks being denied a passing grade.

Missed Test or Final Exam

If you are unable to meet a course requirement due to illness or other serious circumstances, you must provide valid medical or supporting documentation to the Academic Counselling Office of your home faculty as soon as possible. The University Policy on Accommodation Consideration for Student Absences can be found here.

If you are a science student, the Academic Counselling Office of the Faculty of Science can be contacted at 519-661-3040 or scibmsac@uwo.ca. See their Their web site.

A student requiring academic accommodation due to illness must use the Student Medical certificate when visiting an off-campus medical facility.

For further information, please consult the university's medical illness policy. and the University' policy on academic accommodation for student with disabilities.

Ethical Conduct

Scholastic offences are taken seriously and students are directed to read the appropriate policy, specifically, the definition of what constitutes a Scholastic Offence, at the following web site.

All assignments are individual assignments. You may discuss approaches to problems among yourselves. However, the actual details of the work (assignment coding, answers to concept questions, etc.) must be your individual effort. Assignments that are judged to be the result of academic dishonesty will, for the student's first offence. You are responsible for reading and respecting the Computer Science Department's policy on Rules of Ethical Conduct and Scholastic Offenses.

All required papers may be subject to submission for textual similarity review to the commercial plagiarism detection software under license to the University for the detection of plagiarism. All papers submitted for such checking will be included as source documents in the reference database for the purpose of detecting plagiarism of papers subsequently submitted to the system. Use of the service is subject to the licensing agreement, currently between The University of Western Ontario and Turnitin.com.

Computer-marked multiple-choice tests and/or exams may be subject to submission for similarity review by software that will check for unusual coincidences in answer patterns that may indicate cheating.

Accessibility

Please contact the course instructor if you require lecture or printed material in an alternate format or if any other arrangements can make this course more accessible to you. You may also wish to contact Services for Students with Disabilities (SSD) at 661-2111 ext. 82147 if you have questions regarding accommodation.

Mental Health

All students who are in emotional/mental distress should refer to Mental Health@Western. for a complete list of options about how to obtain help.

Support Services

Learning-skills counsellors at the Student Development Centre. are ready to help you improve your learning skills. They offer presentations on strategies for improving time management, multiple-choice exam preparation/writing, textbook reading, and more. Individual support is offered throughout the Fall/Winter terms in the drop-in Learning Help Centre, and year-round through individual counselling. See also the services provided by the University Students’ Council.

The website for Registrarial Services.