Quelle  read.g   Sprache: unbekannt

#############################################################################
##
#A  read.g               EDIM-mini-package                     Frank Lübeck
##
##  
#Y  Copyright (C) 1999  Lehrstuhl D f\"ur Mathematik, RWTH Aachen
##  
##  Reading the library of the package.
##  

ReadPackage("edim", "lib/util.gi");
ReadPackage("edim", "lib/edim.gi");
ReadPackage("edim", "lib/hmmlll.gi");

# redefine the Info handler and output, we use the plain one from GAPDoc
SetInfoHandler(InfoEDIM, PlainInfoHandler);
SetInfoOutput(InfoEDIM, "*errout*");

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]