
#=
    The file for keeping track of intermediate results.
    It mirrors some f4 functions to collect statistics
    while computing the basis.
=#

#------------------------------------------------------------------------------
