[Maxima-discuss] Qepmax package: interface to Qepcad

[本田康晃 <yas...@gm...>]

Dear maxima users,

Qepmax package, an extension to Maxima to interface with Qepcad B, is
available from Github at:

https://github.com/YasuakiHonda/qepmax
"Download ZIP" button is available for download qepmax-master.zip.

You need to separately install Qepcad B program.

Qepcad B is a software that performs 'quantifier elimination' or Q.E.. This
is quite powerful to solve a large set of issues. Here is an example:
Assuming C: x^2+y^2=1, L:y=x+b, let's find a condition on r, a, b, so that
C and L cross with each other. Qepmax package can be used to solve such a
math problem.

(%i1) load(qepmax)$

(%i2) qe([[E,x],[E,y]], x^2+y^2=1 %and y=x+b);

(%o2) b^2-2=<0;

Note that in qe() argument, x and y are quantified varialbles, while 'b' is
a free variable. The output inequation b^2-2=<0 does not contain any
quantified variables. Quantified variables are eliminated!!

There are a large collection of literatures on Q.E. and you can find them
by using Google search.

Qepmax package is written by me and enhanced by Prof. Reinhard Oldenburg
san.

The Github page includes INSTALL for how to install and README for how to
use it.

Keep in mind, this is still a beta release quality. If you have any
questions and comments, please let me know, or post it here.

Yasuaki Honda, Chiba, Japan