Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/guava/src/leon/src/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 1.1.2025 mit Größe 1 kB image not shown  

Quelle  cdesauto.h   Sprache: C

 
#ifndef CDESAUTO
#define CDESAUTO

extern PermGroup *designAutoGroup(
   Matrix_01 *const D,            /* The matrix whose group is to be found. */
   PermGroup *const L,            /* A (possibly trivial) known subgroup of the
                                     automorphism group of D.  (A null pointer
                                     designates a trivial group.) */

   Code *const C)                 /* If nonnull, the auto grp of the code C is
                                     computed, assuming its group is contained
                                     in that of the design. */

;

extern Permutation *designIsomorphism(
   Matrix_01 *const D_L,          /* The first design. */
   Matrix_01 *const D_R,          /* The second design. */
   PermGroup *const L_L,          /* A known subgroup of Aut(D_L), or NULL. */
   PermGroup *const L_R,          /* A known subgroup of Aut(D_R), or NULL. */
   Code *const C_L,               /* If nonnull, C_R must also be nonull, and */
   Code *const C_R,               /*   any isomorphism of C_L to C_R must map */
                                  /*   D_L to D_R.  A code isomorphism is     */
                                  /*   computed.  */
   const BOOLEAN colInformFlag)
;

#endif

Messung V0.5
C=91 H=79 G=84

¤ Dauer der Verarbeitung: 0.17 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 und die Messung sind noch experimentell.