LÜCKE (Gruppen, Algorithmen und Programmierend) ist ein Computeralgebra-System für die rechenbetonte getrennte Algebra mit der besonderen Betonung auf der rechenbetonten Gruppentheorie.

Geschichte

LÜCKE wurde an Lehrstuhl D Für Mathematik (LDFM), RWTH Aachen, Deutschland von 1986 bis 1997 entwickelt. Nachdem der Ruhestand von J. Neubüser vom Vorsitzenden von LDFM, der Entwicklung und Wartung der LÜCKE von der Schule von Mathematischen und Rechenbetonten Wissenschaften an der Universität St. Andrews, Schottland koordiniert wurde. Im Sommer 2005 wurde Koordination einer gleichen Partnerschaft von 4 `LÜCKE-Zentren übertragen, die an der Universität St. Andrews gelegen sind; RWTH Aachen; Technische Universität Braunschweig; und Colorado Staatliche Universität am Fort Collins.

Vertrieb

LÜCKE und seine Quellen, einschließlich Pakete (haben Sätze des Benutzers Programme beigetragen), Datenbibliothek (einschließlich einer Liste von kleinen Gruppen) und das Handbuch, werden frei, Thema "copyleft" Bedingungen verteilt. LÜCKE läuft auf jedem System von Unix, unter Windows, und auf Systemen von Macintosh. Der Standardvertrieb verlangt ungefähr 300 Mb (ungefähr 400 Mb, wenn alle Pakete geladen werden). Um LÜCKE zu führen, sind 128 Mb des RAM genügend.

Der Benutzer hat beigetragen Pakete sind eine wichtige Eigenschaft des Systems, sehr viel Funktionalität hinzufügend. LÜCKE bietet Paket-Autoren die Gelegenheit an, diese Pakete für einen Prozess der gleichrangigen Rezension vorzulegen, hoffentlich die Qualität der Endpakete verbessernd, und Anerkennung zur Verfügung stellend, die mit einer akademischen Veröffentlichung für ihre Autoren verwandt ist., es gibt 58 Pakete, die mit der LÜCKE verteilt sind, deren etwa 35 durch diesen Prozess gewesen sind.

Eine Schnittstelle ist verfügbar, für das EINZIGARTIGE Computeralgebra-System aus der LÜCKE zu verwenden. LÜCKE wird auch ins mathematische Softwaresystem Sage eingeschlossen.

Beispielsitzung

Lücke> G: = SmallGroup (8,1); # Satz G, um eine Gruppe des Auftrags 8 zu sein.

Lücke> ich: = IsomorphismPermGroup (G); # Finden einen Isomorphismus von G bis eine Gruppe von Versetzungen

Lücke> Image (ich, G); # Das Image von G unter mir - das sind die Generatoren von im G.

Gruppe ([(1,5,3,7,2,6,4, 8), (1,3,2,4) (5,7,6, 8), (1,2) (3,4) (5,6) (7, 8)])

Lücke> Elemente (Image (ich, G)); # Alle Elemente von im G.

(1,5,3,7,2,6,4, 8), (1,6,3,8,2,5,4,7), (1,7,4,5,2,8,3,6), (1,8,4,6,2,7,3,5)] </nowiki>

Siehe auch

• Vergleich von Computeralgebra-Systemen

Links

• Die Schnittstelle von der LÜCKE bis Einzigartigen
• Frontend für das LÜCKE-Computeralgebra-System.