aa agnes alex1 alex2 ;algmap algnorm barei bett betti binomial bluff ch cmp coef coeff col comp corner cring curve cyclic def deg degre det dimens dups ech err1 err2 err3 err4 err5 err6 err7 execut factor fak fastelim fetch firsts formmat freemod generat gm h4 hilb hilbert homo idea ideal idealop if imap index initial inoutlib integ integers interred intersec intmat intvec jacobi jet jett kbas kil koszul lamm lif liftstan liste lists longalg lpowers m100si m101si m102si m103si m104si m105si m106si m107si m108si m109si m10ex m10si m110si m111si m112si m113si m114si m115si m116si m117si m118si m119si m11ex m11si m120si m121si m122si m123si m124si m125si m126si m127si m128si m129si m12ex m12si m130si m131si m132si m133si m134si m135si m136si m137si m138si m139si m13ex m13si m140si m141si m142si m143si m144si m145si m146si m147si m148si m149si m14si m150si m151si m153si m154si m15ex m15si m16ex m16si m17ex m17si m18ex m18si m19ex m19si m1ex m1si m1st m20si m21si m22si m23si m24si ;m25si m27si m28si m29si m2ex m2si m30si m31si m32si m33si m34si m35si m36si m37si m38si m39si m3ex m3si m40si m41si m42si m43si m44si m45si m46si m47si m48si m49si m4ex m4si m50si m51si m52si m53si m54si m55si m56si m57si m58si m59si m5ex m5si m60si m61si m62si m63si m64si m65si m66si m67si m68si m69si m6ex m6si m70si m71si m72si m73si m74si m75si m76si m77si m78si m79si m7ex m7si m80si m81si m82si m83si m84si m85si m86si m88si m89si m8ex m8si m90si m90si_1 m91si m92si m93si m94si m95si m96si m97si m98si m99si m9ex m9si map mapp matr matrix matrows maxdegr maxid minbas mino modu modul modul1 modulo mora1 mora2 moralex mre msect mult namof nofile normalf numvar opt ord order palg part permutat pol poly polylib preim preimage prim proc qhw qrin qring qring1 quot rang re redtail regr1 regul res res2 ring ringdef ringlib rings row rvari sat setrin shor siz smm sre sres sstring std1 std_test stdhilb string subexpr subexpr1 substit ; DIFF syzygies syzygies_new syzygy teste time trac trans typ typof va varlist vdimen vec wedg weight weight2 zahlen0