|
#! /bin/sh
#File - autcos
#First set the path directory
DIR=`echo $0 | sed -e 's/[^\/]*$//'`
#echo $DIR
if test -f ${DIR}kbprogcos
then
# found the necessary programs, so do nothing.
:
else
# Can't find the programs used in automata so give a warning.
echo Warning. Running ${DIR}automata
echo ${DIR}kbprogcos not found
echo Using versions in path.
DIR=
fi
MAKECOSFILE=${DIR}makecosfile
KBPROGCOS=${DIR}kbprogcos
GPMAKEFSA=${DIR}gpmakefsa
GPAXIOMS=${DIR}gpaxioms
GPSUBPRES=${DIR}gpsubpres
#Now find the options
diff1=false
large=false
verbose=false
veryverbose=false
silent=false
subpres=false
savespace=false
prefix=false
prefname=
getprefname=false
groupname=
subsuffix=
for i
do
if test $getprefname = true
then prefname=$i
getprefname=false
else
case $i in
-l|-large) large=true;;
-v|-verbose) verbose=true;;
-vv|-veryverbose) veryverbose=true;;
-s|-silent) silent=true;;
-d|-d1|-diff1) diff1=true;;
-f|-savespace) savespace=true;;
-p|-subpres) subpres=true;;
-pref|-prefix) prefix=true; getprefname=true;;
-*) echo Usage:
echo autcos [-large] [-verbose] [-veryverbose] [-silent] [-diff1]
echo \ \ \ \ \ \ \ [-savespace] [-p] [-pref prefix] groupname [subsuffix]
exit 1;;
*) if test $subsuffix
then echo Usage:
echo autcos [-large] [-verbose] [-veryverbose] [-silent] [-diff1]
echo \ \ \ \ \ \ \ [-savespace] [-p] [-pref prefix] groupname [subsuffix]
exit 1
elif test $groupname
then subsuffix=$i
else groupname=$i
fi;;
esac
fi
done
if test -z "$groupname"
then echo Usage:
echo autcos [-large] [-verbose] [-veryverbose] [-silent] [-diff1]
echo \ \ \ \ \ \ \ [-savespace] [-p] [-pref prefix] groupname [subsuffix]
exit 1
fi
if test ! -r $groupname
then echo Error: cannot read file $groupname
exit 1
fi
if test -z "$subsuffix"
then subsuffix="sub"
fi
subname=${groupname}.$subsuffix
if test ! -r $subname
then echo Error: cannot read file $subname
exit 1
fi
$MAKECOSFILE -sg $groupname $subsuffix
case $subsuffix in
sub*) cossuffix=`echo $subsuffix | sed 's/^sub/cos/'`;;
*) cossuffix=${subsuffix}_cos;;
esac
cosname=${groupname}.$cossuffix
if test ! -r $cosname
then echo Error: cannot read file $cosname
exit 1
fi
if test $large != true
then kbprogcosflags=" -mt 5 -hf 100 -t 30 -me 200 -ms 1000 -wd "
if test $veryverbose = true
then kbprogcosflags=${kbprogcosflags}" -vv "
elif test $verbose = true
then kbprogcosflags=${kbprogcosflags}" -v "
elif test $silent = true
then kbprogcosflags=${kbprogcosflags}" -silent "
fi
if test $silent != true
then echo \#Running Knuth-Bendix Program:
echo " "$KBPROGCOS $kbprogcosflags $groupname $cossuffix
fi
$KBPROGCOS $kbprogcosflags $groupname $cossuffix
fi
if test $? != 0 || test $large = true
then
if test $large != true && test $silent != true
then echo
fi
kbprogcosflags=" -mt 20 -hf 100 -cn 0 -wd "
if test $veryverbose = true
then kbprogcosflags=${kbprogcosflags}" -vv "
elif test $verbose = true
then kbprogcosflags=${kbprogcosflags}" -v "
elif test $silent = true
then kbprogcosflags=${kbprogcosflags}" -silent "
fi
if test $large = true
then kbprogcosflags=${kbprogcosflags}" -me 262144 -t 500 "
if test $silent != true
then echo \#Running Knuth-Bendix Program
echo " "$KBPROGCOS $kbprogcosflags $groupname $cossuffix
fi
else
if test $silent != true
then echo \#Re-running Knuth-Bendix Program
echo " "$KBPROGCOS $kbprogcosflags $groupname $cossuffix
fi
fi
$KBPROGCOS $kbprogcosflags $groupname $cossuffix
if test $? != 0
then echo \#Knuth-Bendix program failed or was inconclusive. Giving up.
exit 1
fi
fi
if test $silent != true
then echo
fi
if test $large = true
then gpmakefsaflags=" -cos -l "
else gpmakefsaflags=" -cos "
fi
if test $veryverbose = true
then gpmakefsaflags=${gpmakefsaflags}" -vv "
elif test $verbose = true
then gpmakefsaflags=${gpmakefsaflags}" -v "
elif test $silent = true
then gpmakefsaflags=${gpmakefsaflags}" -silent "
fi
if test $diff1 = true
then gpmakefsaflags=${gpmakefsaflags}" -diff1 "
fi
if test $silent != true
then echo \#Running program to construct word-acceptor and multiplier automata
echo " "$GPMAKEFSA $gpmakefsaflags $groupname $cossuffix
fi
$GPMAKEFSA $gpmakefsaflags $groupname $cossuffix
if test $? != 0
then
echo \#Program to construct word-acceptor and multiplier automata failed. \
Giving up.
exit 1
fi
if test $silent != true
then echo
fi
if test $large = true
then gpaxiomsflags=" -cos -l "
else gpaxiomsflags=" -cos "
fi
if test $veryverbose = true
then gpaxiomsflags=${gpaxiomsflags}" -vv "
elif test $verbose = true
then gpaxiomsflags=${gpaxiomsflags}" -v "
elif test $silent = true
then gpaxiomsflags=${gpaxiomsflags}" -silent "
fi
if test $savespace = true
then gpaxiomsflags=${gpaxiomsflags}" -ip s -f "
fi
if test $silent != true
then echo \#Running program to verify axioms on the automatic structure
echo " "$GPAXIOMS $gpaxiomsflags $groupname $cossuffix
fi
$GPAXIOMS $gpaxiomsflags $groupname $cossuffix
case $? in
0) echo "0;" > ${cosname}.success;;
2) echo \#Program to verify axioms on the automatic structure failed.
echo \#Please report this example to dfh@maths.warwick.ac.uk
exit 2;;
*) exit 1;;
esac
if $subpres = true
then
if test $large = true
then gpsubpresflags=" -l "
else gpsubpresflags=
fi
if test $veryverbose = true
then gpsubpresflags=${gpsubpresflags}" -vv "
elif test $verbose = true
then gpsubpresflags=${gpsubpresflags}" -v "
elif test $silent = true
then gpsubpresflags=${gpsubpresflags}" -silent "
fi
if test $savespace = true
then gpsubpresflags=${gpsubpresflags}" -ip s "
fi
if test $prefix = true
then gpsubpresflags=${gpsubpresflags}" -pref $prefname"
fi
if test $silent != true
then echo \#Running program to calculate subgroup relators
echo " "$GPSUBPRES $gpsubpresflags $groupname $subsuffix
fi
$GPSUBPRES $gpsubpresflags $groupname $subsuffix
case $? in
0) echo "0;" > ${cosname}.success
exit 0;;
*) echo \#Program to compute subgroup presentation failed
exit 1;;
esac
else
exit 0
fi
[ Verzeichnis aufwärts0.22unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
