CAS: The Interface

I wrote in the tome-like overview of CAS that I would begin the technical posts with one about the parser. It makes more sense, however, to write first about how one uses CAS. After all, the interface is what unifies the rest of the program!

Primitive Integration

Integration of polynomials, the basic trig functions, and sums of both is simple. Yesterday, I realized I could adapt the strategy I used in CAS's differentiator to implement integration of such expressions. The result is the first iteration of the CAS integrator, now up on my GitHub account.

An Overview of CAS

In this post, I intend to outline the basic problem of computer algebra, exposit the design of CAS, name its principle components, and briefly discuss possible directions of future development.

Note that most of this is written in very basic terms. A reader who has looked at the CAS source, or one who desires a technical description of each of CAS's components should skim the current posting (paying particular attention to the last two sections) and await the forthcoming series of explanations of CAS's constituent parts.

Introduction

Hello.

I am Collin Lally; welcome to my blog. In this space I intend, primarily, to write about my interests (namely: mathematics, physics, computer science) and my projects within those fields, although I expect that the occasional interesting-but-mundane experience will percolate through to the blog.

What lies ahead?

For the near future (at least the span of a few posts), I am going to write about CAS, a work-in-progress, toy computer algebra system that I released just the other day. Computer algebra is an interesting problem space, and a good one in which to grow one's programming skill set -- there are problems of parsing, data structures, rule-set definition, and more. None of this is cutting-edge, of course, but I find it interesting, nonetheless. In the coming days, look for an overview of the CAS architecture, and a post each on its most significant current parts -- parser, differentiator, and simplifier.