Quelle CHAP001.htm

Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/liepring/htm/CHAP001.htm

<html><head><title>[LiePRing] 1 Preamble</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>1 Preamble</h1>

<hr>Abstract:
This package gives access to the database of Lie p-rings of order at most
p7 as determined by Mike Newman, Eamonn O'Brien and Michael Vaughan-Lee,
see <a href="biblio.htm#NOV04"><cite>NOV04</cite></a> and <a href="biblio.htm#OVL05"><cite>OVL05</cite></a>, and it provides some functionality to
work with these Lie p-rings.


<hr>Copyright:
The LiePRing package is free software; you can redistribute it under the
terms of the GNU General Public License as published by the Free Software
Foundation; either version 2 of the License, or (at your opinion) any
later version. The LiePRing package is distributed in the hope that it will
be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
Public License for more details.


<hr>How to cite this package:
If you use the LiePRing package, then please cite it as:
Bettina Eick and Michael Vaughan-Lee, LiePRing -- A GAP Package for
computing with nilpotent Lie rings of prime-power order (2014), see
<a href="https://www.gap-system.org/Packages/liepring.html">https://www.gap-system.org/Packages/liepring.html</a>


<hr>Acknowlegdements:
The Lazard correspondence induces a one-to-one correspondence between the
Lie p-rings of order pn and class less than p and the p-groups of
order pn and class less than p. This package provides a function to
evaluate this correspondence; this function has been implemented and given
to us by Willem de Graaf.


[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]

<address>LiePRing manual June 2024
</address></body></html>

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-09-11) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.