Brent W. Baccala
2017-07-07 01:19:44 UTC
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
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