LIB "tst.lib"; tst_init(); LIB"realizationMatroids.lib"; example realizationDimPoly; example irrRealizationDim; example realizationDim; tst_status(1);$