LIB "tst.lib";
tst_init();
LIB "algebra.lib";

example algebra_containment;
example module_containment;
example inSubring;
example algDependent;
example alg_kernel;
example is_injective;
example is_surjective;
example is_bijective;
example noetherNormal;
example finitenessTest;
example mapIsFinite;

tst_status(1);$