Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  makedoc.g   Sprache: unbekannt

 
Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

##  makedoc.g for the KBMag package
##  this creates the package documentation  
##  needs: GAPDoc and AutoDoc packages, latex, pdflatex, mkindex 
##  call this with GAP from within the package root directory 
##  
LoadPackage( "AutoDoc" );
LoadPackage( "kbmag" ); 

AutoDoc( rec( 
    scaffold := rec(
        ## MainPage := false, 
        includes := [ "intro.xml", "rws.xml", "cosets.xml", "standalone.xml" ],
        entities := rec( 
            AutoDoc := "<Package>AutoDoc</Package>",
            Automata := "<Package>Automata</Package>", 
            KBMAG := "<Package>KBMag</Package>",
            fsa := "<M>{\\sf fsa}</M>",
            fsa1 := "<M>{\\sf fsa1}</M>",
            fsa2 := "<M>{\\sf fsa2}</M>",
            rkbp := "<M>{\\sf rkbp}</M>",
            rws := "<M>{\\sf rws}</M>",
            ordering := "<B>ordering</B>",
            recursive := "<B>recursive</B>",
            shortlex := "<B>shortlex</B>",
            wtlex := "<B>wtlex</B>",
            wreathprod := "<B>wreathprod</B>"
        )
    )
));

QUIT;

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-21]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=492969
#Domains=607362