#!/bin/sh
reduce=/export/pc/reduce
MACHINE=linux
lisp=psl
IMAGE=$reduce/lisp/$lisp/$MACHINE/red/reduce.img
export MACHINE
export reduce
export lisp

echo 'off int$' > reduceinit
echo 'lisp setq(promptstring!*,"")$' >> reduceinit
echo 'lisp setq(promptexp!*'",'! )$" >> reduceinit
echo 'off nat$'  >> reduceinit
echo 'on gcd$'   >> reduceinit
echo 'on ezgcd$' >> reduceinit
echo '1;' >> reduceinit

REDUCE="$reduce/lisp/psl/$MACHINE/psl/bpsl -td 128000000 \
                                                   -f $IMAGE"
INF1='sed -u s/\^-[0123456789]*/&Pr/g'
INF2='sed -u s/\-[0123456789]*Pr/(&)/g'
INF3='sed -u -e s/Pr//g -e s/\^/**/g'
cat -u reduceinit -|$INF1|$INF2|$INF3|$REDUCE|./smallfilter.pl
rm -f reduceinit
