Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Not urgent:
- Make an example with cancellative monoids and trace
- example 3 Is it possible to find modules (Reflection modules) e_i s_i= - e_i
e_i s_j= e_i (e_i perp s_j) or e_i s_j = e_i+e_j (i<>j and e_i not perp s_j)
- example 14 -> E7 (?)
URGENT:
- Times on what system for ex 14
- Example 24.g SGrobnerTrace outputs e-a which should have been e-1
not good enough sNormalForm? SGrobner on the other hand works well
- Removed obsolete parts from lib?? There seem to be noew versions
in grobnerloop2.gi
DONE:
- comment example10
[Dauer der Verarbeitung: 0.19 Sekunden, vorverarbeitet 2026-06-18]
