-------------------------------------------------------
 ChangeLog f+r KOVARIANTE
-------------------------------------------------------
	
      1.87:  Besser LaTeX-Ausgabe; 
      1.86:  Kleine Kfer beseitigt
      1.85:  Die Option -a (Alles ausrechnen, um Rechenfehler zu finden)
             wieder implementiert.
      1.84:  Fehler beim Warmstart in der Mitte einer Ordnung behoben.
             GUIs berarbeitet und in dieses Verzeichnis aufgenommen.
      1.83:  * Weitere Informationen ber die Art der Berechnung (Optionen)
               werden mit zwischengespeichert.
	     * Beim Ausgeben abgespeicherter Daten wird nun auch eine 
	       tabellarische bersicht ausgegeben.
	     * Explizite Ausgabe der Grundformen in den vier Typen
	       - Symbolisch
	       - Residuum
	       - Semiinvariante
	       - Kovariante
             wurde implementiert.
      1.82:  Jordangrad als Klasse eingebaut. Nun knnen binre
             Formen bis zur 255-Form berechnet werden.
	     Leichte Verschnerungen beim Neustart.
      1.81:  Leichte Verbesserungen bei der Monomsuche
      1.80:  Multiplikation zweier Residien erfolgt in der richtigen
             (schnelleren) Reihenfolge.
      1.79:  Siebenform nach von GALL wieder funktionstchtig
      1.78:  Abspeichern und Laden aus Datei funktioniert fehlerfrei
             Auerdem kann nun auch nach Ordgraden gespeichert und
	     gestartet werden.
      1.77:  Treppenstufe luft
      1.76:  Bereits schneller als die alte Version, nachdem ich
             die Monomsuche verbessert habe.
      1.75:  Erste vollstndig lauffhige Version mit Residuen
      1.74 - 1.70: Umschreiben auf Residuum  
      1.65:  berschiebung zweier Kovarianten erstmals inplementiert
      1.64:  Die berschiebungen fr Residuen wurde begonnen.
      1.63:  Die Anfnge der Klasse Residuum wurden eingebaut.
      1.62:  Aus den abgespeicherten Daten wird jetzt eine Tabelle 
             erzeugt.
      1.61:  VERBOSE statisch eingefhrt & Vorbereitung fr Residuum
      1.60:  Noch einen Fehler im neuen LGS_PP eliminiert.
      1.59:  Die Siebung kann nun ausgeschaltet werden (SIEBUNG_AUS), so
             da explizit alle berschiebungen berechnet werden mssen.
	     Hierdurch kann getestet werden, ob es zu Rechenfehler kommt.
	     Es dauert natrlich viel lnger!
      1.58:  LGS_PP umgebaut, so da die mittels Hilbertreihe berechnete
             Monomanzahl benutzt wird. Dadurch wird nur der wirklich 
	     ntige Speicher beantragt. Auch keine 'abschneiden' mehr 
	     mglich.
      1.56:  Orakel umgebaut, so da nur noch der notwendige Speicher
             beantragt wird. Dies geht durch den Einsatz der Jordanschen
	     Gradschranken.
	     Auerdem wird in jedem Ordgrad die Anzahl der hchstens 
	     vorkommenden Monome berechnet (aber noch nicht benutzt)
      1.54:  Cayleys Summentest eingebaut
      1.53:  Alle Dateiausgaben gehen nun in das Verzeichnis Status
      1.52:  Minilog funktioniert nun fehlerfrei. Auerdem wird nun bei den
             *.kov Dateien die MAX_MONOM-Anzahl mitabgespeichert, so da
	     bei einer Wiederaufnahme der Berechnung keine der blichen
	     Speicherprobleme auftreten.
	     Allerdings sind nun alle frheren *.kov-Dateien inkompatibel.
      1.51:  Verbesserungen in der Ausgabe und im Rekonstruktionsmodus
      1.50:  Genauere Ausgabe in Status/status
      1.49:  Treppenstufe ist nun beliebig einstellbar
      1.48:  "Minilogdatei" eingebaut
      1.47:  Kleinigkeiten
      1.46:  Die Erweiterung mit verkrztem LGS ist nun mittels der
             Option '-a' in das Programm integriert.
      1.45:  Da im LGS etwa 72 Zeilen und 200.000 Spalten vorkamen, d.h.
             unglaublich viel redundante Information, schrieb ich das LGS
	     um, so da nur ein Teil der Spalten vorkommt. Allerdings
	     ist hierdurch keine Garantie auf Richtigkeit des Ergebnisses
	     gewhrt.
      1.44:  Treppenstufenvermutung wieder eingebaut (Option -t) 
      1.43:  GMP hat ein Fehler: Alloziiere ich A[200000][72] so bekomme ich
             eine Fehlermeldung (out of memory). Jedoch geht
	     A[72][200000] problemlos. Ich mu also wieder auf meine alte
	     Methode zurckgreifen.
	     Bei der Ausgabe der Szgientabelle werden nun Ordgrade mit 
	     Verletzung des Fundamentalpostulats durch '#' markiert.
      1.42:  Im LGS_PP werden nur noch die absolut notwendigen Spalten allokiert
      1.41:  Im LGS_PP werden nur noch die absolut notwendigen Zeilen alloziiert
             und die Erzeugung der Potenzprodukte wird abgebrochen, sobald die
	     maximal mgliche Anzahl an lin. unab. Kovarianten erreicht wurde.
      -----Purify: Es gibt nur in LGS_PP kleine Speicherlecks------------------ 
      1.40:  Beseitigung von Speicherlecks
      1.39:  Vollstndige nderung der Speicherstruktur von lgs_pp.cc
             Da nach jeder Zeileneuaufnahme eine LGS-Krzung stattfindet und
	     die Zahlen dabei sehr gro werden knnen, mache ich nun folgendes
	     a)  Suche den kleinsten Zeileneintrag
	     b)  Dividiere die Zeile durch das ggT der Zeileneintrge
      -----Purify------------------------------------------------- 
      1.38:  Kleine Verbesserung bei 'lgs_pp'.
             Umbau der Ausgaberoutine fr Monome. Durch setzen von
	     KOV_DRUCKEN_DATEN werden alle Grundformen in das Verzeichnis
	     'Status/Formen/' gespeichert.
      1.37:  Die Multiplikation von Polynomen luft nun mittels verketteter Listen
      1.36:  Aufruf und Datenspeicherun/-laden funktioniert nun
      1.35:  Aufruf des Programms mit UNIX-Syntax und Parameterbergabe;
             noch provisorisch  
      1.34:  Kleinigkeiten: Infoausgaben, 'const'
      1.33:  Neue Multiplikation von Polynomen, um Speicher zu sparen
      1.32:  Potenzprodukte, die nichts zur Berechnung beitragen wrden,
             werden nun bereits in 'faktor.cc' eliminiert.
      1.31:  Speicheranforderungen dynamischer gestaltet.
      1.30:  Einbau von BESCHISS; ermglicht die berprfung der
             von Gallschen Berechnungen fr die 7-Form.
      1.29:  Erste Anfnge der Gordanreihe
      1.28:  Nun luft das Programm wohl richtig
      1.27:  Eliminierung der Klassen LGS` und Tamisage, da diese
             nicht mehr gebraucht werden
             ### Programm luft nicht ########
      1.26:  Weiter Kompaktierung der Struktur
      1.25:  Leichte Veinfachungen und Stringentierung des Codes  
      1.24:  Begin der groen Umstrukturierung von kovariante.cc
      1.23:  Die Klasse 'LGS_PP' wurde entwickelt und luft einwandfrei.
             Diese Version ist aber noch eine Testversion und mu noch 
	     beschleunigt werden!
      1.22:  Ist nun wirklich in Ordnung
      1.21:  Nun luft das Programm mit der Klasse MONOM,
             jedoch ist die Geschwindigkeit abgesackt.
	     (Leider gibt es doch noch Fehler !!)
      1.20:  Die Polynommultiplikation wurde optimiert
      1.19:  Nun luft das Programm fehlerfrei und schnell
      1.18:  Programm luft mit neuer Datenstruktur, ist aber noch sehr langsam
             Anscheinend gibt es keine Fehler mehr ...
      1.17:  s.1.16 
      1.16:  Die Datenstruktur der Monome wurde umgebaut, aber es luft
             noch nicht. Wird wohl noch einige Zeit dauern!
      1.15:  Zentrale Fehlerausgabe auf alle Dateien ausgeweitet
      1.14:  Zur Ablaufsteuerung fhrte ich ein 'proc'-hnliches Dateisystem
             ein.
	     Ein zentraler Fehlerausgabebefehl wurde eingefhrt.
      1.13:  Der einzige UMR-Fehler beseitigt. Es gibt aber noch Speicherlecks
      -----Purify------------------ 
      1.12:  Monomordnung bei Polys werden nun als 'short int' gespeichert.
             Kleiner Verbesserungen
      1.11:  Kleinere Verbesserungen
      1.10:  Ab nun wird nicht mehr nach Ausgangsformen, sondern nach degordern gerechnet
      -----------------------------------------------------------------------------------
      1.08:  Linear abhngige Produkte werden nach Szygientest gelscht
      1.07:  Kleine Verbesserung in der Ausgabe
      1.06:  Kastration der unzerlegbaren Kovarianten eingebaut (weniger Speicher!)
      1.05:  Aufnahme von Potenzprodukte nur noch via POLYNOMTAUSCH!
      1.04:  Speicherplatz fr Potenzprodukte nur noch einfach!
      1.03:  Tamisage wird vorab nur fakultativ berechnet; Endausgabe verbessert
      1.02:  Kleine Speicherlecks geschlossen
      1.01:  Kleine Verbesserung der Eingabe und Eingabe der letzten Ordnung
      1.00:  Verbesserte Tamisage war fehlerhaft. Jetzt arbeitet sie korrekt.
             Eine normale Tamisageberechnung ist nicht mehr ntig fr die
	     Berechnung eines Fundamentalsystems.
      ------------------------------------------------------------------------------------
      0.99:  Hilbertreihe und Tamisage durch Einfhrung von Wissen ber
             den hchsten vorkommenden Grad zu verbessern
      0.97:  Verbesserte Tamisage weiter integriert, so da nun noch
             weniger Ausgangsformen bentigt werden.
      0.96:  Tamisageerneuerung eingebaut
      0.95:  Einbau der Zeitnahme
      0.94:  Kleinigkeiten / Ergebnistabelle
      0.93:  Ableitungsroutine verschnert
      0.92:  Ursprung jeder Kovarianten wird abgespeichert
      0.91:  Kleine kosmetische Korrekturen.
      0.90:  Das Orakel arbeitet jetzt richtig (mit Treppenstufenvermutung).
             Alle frheren Versionen arbeiteten fehlerhaft bei ungltigem
	     Fundamentalpostulat.
      0.90b: Entwicklerversion
      0.89:  Monomfindung beschleunigt!
      0.88:  Alle vorkommenden Monome finden beschleunigt ( noch BETA !)
      0.87:  Einige Speicherlecks beseitigt; hhere Ordnungen als Tamisage berechenbar
      0.86:  Einige Speicherlecks beseitigt
      0.85:  In 'polynom.cc' die Koeffizientengewinnung drastisch beschleunigt
      0.84:  In 'polynom.cc' die Monomsortierung auf Radix-Sort umgestellt
             (noch primitiv, aber funktionstchtig)
      0.83:  Kleinigkeiten
      0.82:  Kleinigkeiten
      0.81:  Einen Rechenfehler ausgebessert und Tamisageausdruch verschnert
      0.80:  Geschwindigkeitsgewinn: 3 Mal (Sextik).
             Tamisage wird mit Syzygientest verbunden. 
      0.79:  In jeder Ordnung werden nun alle bereits berechneten 
             Produkte gespeichert und bei Bedarf hervorgeholt!
	     Geschwindigkeitsgewinn: 5 Mal schneller!!
      0.78:  Einfhren des Brokrates, der vor Berechnung einer Ordnung
             aufzhlt, in welchen Graden wieviele Kovarianten durch
	     berschiebungen entstehen knnen. Leider von keinem
	     praktischen Nutzen.
      0.77:  Es gab nie einen Rechenfehler. Unerlaubte Syzygie gefunden.
             Fehlerhaften Syzygientest verbessert!
      0.76:  Noch immer das Problem der Septik. Syzygientest eingebaut.
      0.75:  Es gab nie einen Rechenfehler.Neu ist nun die Ausgabe der Zerlegung.
      0.74:  Alle Fehler beseitigt. Vielleicht gibt es noch Speicherlecks
      0.73:  Die Klasse Polynom arbeitet nun mit exakter Arithmetik und
             diese funktioniert bis auf einen Schnheitsfehler bei ggT
      0.72:  Die Klasse Polynom arbeitet nun mit exakter Arithmetik!
             Hat aber zahlreiche Segmentation falts
      0.71:  Subtraktionsfehler beseitigt, aber noch immer Rechenfehler
      0.70:  Kleinere Verbesserung. In Ordnung 6 und 7 gibt es aber 
             noch eine falsch gefundene Kovariante
      0.69:  Neue Struktur der Klasse POLYNOM. Trennung von Monom-
             und Absolutkoeffizientenspeicher.
