Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/grpconst/htm/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.0.2024 mit Größe 2 kB image not shown  

Quelle  CHAP003.htm   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/grpconst/htm/CHAP003.htm


<html><head><title>[grpconst] 3 Construction of All Groups</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Previous</a>] [<a href ="CHAP004.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>3 Construction of All Groups</h1><p>
<p>

The following function can be used to determine up to isomorphism
all groups of a given order. This method implements a combination 
of the more specific functions described below. 
<p>
Note that the chosen combination might not be the best possible for 
every application. Thus, if this function takes too long to construct 
the desired groups, then it might still be possible to determine these 
groups using the functions outlined in the following chapters. Moreover, 
the functions described in the following chapters provide more facilities
and this might help to determine groups with certain properties more 
efficiently.
<p>
<a name = ""></a>
<li><code>ConstructAllGroups( </code><var>order</var><code> ) F</code>
<p>
Usually the output of this function is a list of groups. The soluble
groups in the list are given as pc groups and the others as permutation 
groups. However, in some cases the output might contain lists of groups
as well. The groups is such a list could not be proved to be pairwise
non-isomorphic by the algorithm, although this is likely to be the case,
see Section <a href="CHAP004.htm#SECT004">Verifying non-isomorphism</a> for further details
<p>
<pre>
gap> ConstructAllGroups( 60 );
[ <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators>, 
  A5 ]

gap> List( last2, IdGroup );
[ [ 60, 4 ], [ 60, 13 ], [ 60, 6 ], [ 60, 2 ], [ 60, 1 ], [ 60, 7 ], 
  [ 60, 3 ], [ 60, 8 ], [ 60, 9 ], [ 60, 12 ], [ 60, 11 ], [ 60, 10 ], 
  [ 60, 5 ] ]
</pre>
<p>
<p>
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Previous</a>] [<a href ="CHAP004.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<P>
<address>grpconst manual<br>January 2024
</address></body></html>

100%


¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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 ist noch experimentell.