# -*- awk -*- well, actually this file goes to sed...

# eliminate the CTRL-A characters separating output lines
# s//\n/

# wipe out execution timing results
s/-- used [0-9.][0-9.e-]* seconds/-- used XXX seconds/g
s/-- [0-9.][0-9.e-]* seconds/-- XXX seconds/g

# Wipe out source code line numbers, which may change.  The format used by "code" may also change.
# Also wipe out the initial part of the path to the file,
#   because some files are found using the VPATH mechanism in the srcdir, so the
#   precise location can vary.
# s%-- \(.*/\)\(.*\):[0-9][0-9]*-[0-9][0-9]*%-- \2:xxx-xxx%
# s%-- \(.*\):[0-9][0-9]*-[1-9][0-9]*%-- \1:xxx-xxx%
# s%-- \(.*/\)\(.*\):[0-9][0-9]*%-- \2:xxx-xxx%
# s%-- \(.*\):[0-9][0-9]*%-- \1:xxx-xxx%

/--source [a-z][a-z]*/d
/^oo*[0-9][0-9]* = .*:[0-9][0-9]*-[0-9][0-9]*$/d

# s%^\(oo*[0-9][0-9]* = \| *\)\(.*\):[0-9][0-9]*:[0-9][0-9]*-[0-9][0-9]*:[0-9][0-9]*: --source [a-z][a-z]*:%\1 --\2:xxx-xxx%
# local internal variables no longer print with dollar signs
s/\$\([[:alpha:]]\)/\1/g

# expressions print their class a little more expressively
# s/^\(o[0-9][0-9]* : \)Expression of class /\1/

# code now includes an extra comment line
# /^-- code for /d

# free modules now have parentheses around the ring, if it's a polynomial ring
# s/\(, quotient of \)(\(.*\))/\1\2/g

# Debugging mode can produce extra output.
/^--changing factory characteristic \(back \)\{0,1\}from [0-9][0-9]* to [0-9][0-9]*$/d
/^--setting factory rational mode \(back \)\{0,1\}on$/d
/^--setting factory rational mode \(back \)\{0,1\}off$/d
