Ax: An An Online Computer Algebra System.

Roman Pearce, CECM Research Center, Simon Fraser University

Tuesday October 22nd, 10:30am-11:20am in AQ 5004

On the internet at www.axcas.net you can find the Ax computer algebra system, which is in the early stages of development. In this talk we will demo the system and discuss some of its design choices. Ax has immediate representations for small integers, rationals, and floating point numbers. It has an automatic sparse format for matrices and graphs, and it has the machine-friendly POLY dag for multivariate polynomials. One thing that is reasonably complete is the Groebner basis engine, so we will use it to examine machine performance over the decades.