Manual/multiDegBasis.tst
Manual/graver4ti2.tst
Manual/hilbert4ti2.tst
Manual/isPositive.tst
Manual/markov4ti2.tst