REDUCE 更新

https://sourceforge.net/projects/reduce-algebra/files/snapshot_2017-09-22

インストールスクリプト．

svn co http://svn.code.sf.net/p/reduce-algebra/code/trunk reduce-algebra
cd ./reduce-algebra
./configure --with-psl
make
sudo apt-get install libffi-dev
./configure --with-csl
make
cd ./generic/redfront
sudo make install

実行例．

$ rfpsl -b

Redfront 3.2, built 23-Sep-2017 ...
Reduce (Free PSL version, revision 4218), 23-Sep-2017 ...

1: load redlog;rlset ofsf;on rlverbose;off nat;

5: rlcad all({x},a*x^2+b*x+c>=0);

+++ Preparation Phase
+ Kernel order set to (x c b a)
+++ Projection Phase
+ projection order: (x c b a)
+ number of all projection factors: 5
+ number of projection factors of level r,...,1: 1,2,1,1
+++ Extension Phase
+ Building partial CAD tree...
+ number of partial CAD tree nodes of level 0,...,r: 1,3,6,16,0
+++ Simple Solution Formula Construction Phase
+ levels to be considered: (1 2 3)
+ Generating signatures for 4 polynomials and 19 cells.
+ Number of cells on level 3 is 16.
+ SSFC succeded.
+++ Finish Phase
+ Kernel order was restored.

c >= 0 and b = 0 and a >= 0 or c > 0 and b <> 0 and a > 0 and 4*a*c - b**2 >= 0
$

6: rlslfq ws;

+++ creating /tmp/rlslfq-k-18455.slfq ... done

+++ calling slfq -N 100 -P 200000 < /tmp/rlslfq-k-18455.slfq 2> /dev/null | awk -v rf=/tmp/rlslfq-k-18455.red -v verb=t -v time=nil -v slfqvb=nil -v name=SLFQ -f qepcad.awk
+++ SLFQ raw output: [ c >= 0 /\ a >= 0 /\ 4 c a - b^2 >= 0 /\ [ b = 0 \/ c > 0 ] ]

c >= 0 and a >= 0 and 4*a*c - b**2 >= 0 and (b = 0 or c > 0)$

7: rlqepcad all({x},a*x^2+b*x+c>=0);

+++ creating /tmp/rlqepcad-k-18455.qepcad ... done

+++ calling qepcad +N100000000 +L200000 < /tmp/rlqepcad-k-18455.qepcad | awk -v rf=/tmp/rlqepcad-k-18455.red -v verb=t -v time=nil -v slfqvb=nil -v name=QEPCAD -f qepcad.awk
+++ QEPCAD raw output: c >= 0 /\ a >= 0 /\ 4 c a - b^2 >= 0

c >= 0 and a >= 0 and 4*a*c - b**2 >= 0$