##############################################################################
## Author:      C. Rhodes
## Version:     2.0
## Purpose:     This file calls the compression routine and then strips 
##              gap output.
##############################################################################
rm -f gap_temp
touch gap_temp
gap_padic_compress < $1  | gap -b -q > rubbish

echo 'GPS := ['
cat gap_temp | awk '{ line[NR] = $0 }
               END  { for (i=1; i<NR; i++)
                 print line[i], ","; 
                 print line[NR]; }' 
echo '];'
