# 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$