Quelle methods.xml Sprache: XML

<Chapter Label="methods">
<Heading>Methods for recognition</Heading>

<Section Label="genericmethods">
<Heading>Methods for generic groups</Heading>

The following methods can be equally applied to permutation, matrix and
projective groups. We do not refer to them as black-box groups here, as
they are allowed to contain code that only works for inputs of the
listed types.

<#Include SYSTEM "_methods_generic_list.xml">

</Section>

<Section Label="permmethods">
<Heading>Methods for permutation groups</Heading>

The following table gives an overview over the installed methods and their
rank (higher rank means higher priority, the method is tried earlier, see
Chapter <Ref Chap="methsel"/>).

<#Include SYSTEM "_methods_perm_table.xml">
<#Include SYSTEM "_methods_perm_list.xml">

</Section>

<Section Label="matrixmethods">
<Heading>Methods for matrix groups</Heading>

The following table gives an overview over the installed methods and their
rank (higher rank means higher priority, the method is tried earlier, see
Chapter <Ref Chap="methsel"/>). Note
that there are not that many methods for matrix groups since the
system can switch to projective groups by dividing out the subgroup
of scalar matrices. The bulk of the recognition methods are then
installed es methods for projective groups.

<#Include SYSTEM "_methods_matrix_table.xml">
<#Include SYSTEM "_methods_matrix_list.xml">

</Section>

<Section Label="projmethods">
<Heading>Methods for projective groups</Heading>

The following table gives an overview over the installed methods and their
rank (higher rank means higher priority, the method is tried earlier, see
Chapter <Ref Chap="methsel"/>). Note
that the recognition for matrix group switches to projective recognition
rather soon in the recognition process such that most recognition methods
in fact are installed as methods for projective groups.

<#Include SYSTEM "_methods_proj_table.xml">
<#Include SYSTEM "_methods_proj_list.xml">

</Section>

<Section Label="unusedmethods">
<Heading>Unused methods</Heading>

The following table gives an overview over the methods which are currently unused.

<#Include SYSTEM "_methods_unused_table.xml">

</Section>



</Chapter>

quality93%

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

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.