1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
NORMAL_TESTFILES = \
openmath.mpt macro.mpt arithmetic.mpt c_tex_form.mpt calculus.mpt canprove.mpt \
comments.mpt complex.mpt deriv.mpt dimensions.mpt dot.mpt journal.mpt \
integrate.mpt lists.mpt logic_simplify_test.mpt matrixpower.mpt \
nthroot.mpt outer.mpt predicates.mpt ode.mpt \
tensors.mpt trace.mpt tr.mpt multivar.mpt numbers.mpt io.mpt \
programming.mpt regress.mpt simplify.mpt solve.mpt sums.mpt \
transforms.mpt radsimp.mpt linalg.mpt orthopoly.mpt poly.mpt numerics.mpt \
scopestack.mpt plots.mpt GaussianIntegers.mpt nummethods.mpt sturm.mpt \
cyclotomic.mpt binaryfactors.mpt
SPECIAL_TESTFILES = ../manmake/wester-1994.mpt
TESTFILES = $(NORMAL_TESTFILES) $(SPECIAL_TESTFILES)
QUICKTESTFILES = simplify.mpt sturm.mpt
|
