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  permut.h   Sprache: C

 
#ifndef PERMUT
#define PERMUT

extern BOOLEAN isIdentity(
   const Permutation *const s)
;

extern BOOLEAN isInvolution(
   const Permutation *const s)
;

extern Unsigned pointMovedBy(
   const Permutation *const perm)
;

extern void adjoinInvImage(
   Permutation *s)        /* The permutation group (base and sgs known). */
;

extern void leftMultiply(
   Permutation *const s,
   const Permutation *const t)
;

extern void rightMultiply(
   Permutation *const s,
   const Permutation *const t)
;

extern void rightMultiplyInv(
   Permutation *s,
   Permutation *t)
;

extern unsigned long permOrder(
   const Permutation *const perm )
;

extern void raisePermToPower(
   Permutation *const perm,      /* The permutation to be replaced. */
   const long power)             /* Upon return, perm has been replaced by
                                    perm^power. */

;

extern Permutation *permMapping(
   const Unsigned degree,     /* The degree of the new permutation.*/
   const UnsignedS seq1[],    /* The first sequence (must have len = degree). */
   const UnsignedS seq2[])    /* The second sequence (must have len = degree. */
;

extern BOOLEAN checkConjugacy(
   const Permutation *const e,
   const Permutation *const f,
   const Permutation *const conjPerm)
;

extern BOOLEAN isValidPermutation(
   const Permutation *const perm,
   const Unsigned degree,
   const Unsigned xCos,
   const Unsigned *const equivPt)
;

#endif

Messung V0.5
C=91 H=83 G=86

¤ Dauer der Verarbeitung: 0.24 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.