|
From: 本田康晃 <yas...@gm...> - 2014-04-14 13:19:52
|
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 |