Brent W. Baccala

2017-07-07 01:19:44 UTC

Permalink

Hi -Raw Message

I've developed some Maxima code to compute Puiseux expansions on algebraic

curves, to support a free book that I'm writing to explain the Risch

integration algorithm.

The code is conceptually an enhancement to the implicit_taylor code in

share/calculus/taylor1.mac, but the format of the return values is somewhat

different. implicit_taylor only works on uniquely defined finite branches

and only expands y itself, while puiseux can also handle ramification,

infinity, and singularities, and can expand arbitrary algebraic functions,

as well as differentials of algebraic functions.

Probably the best documentation for the code is the relevant section of the

book, which is far from finished, but the code itself is pretty stable.

I'm attaching the code along with a PDF except from that part of the book.

The book itself is open source LaTeX and is hosted on github, so any

material there can be incorporated however we see fit. I didn't include

all of the code from the book, only because I'm trying to come up with a

version of the code suitable as a loadable package.

Any suggestions on how to incorporate this code into the Maxima

distribution?

agape

brent