Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/anupq/include/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 28.7.2025 mit Größe 3 kB image not shown  

Quelle  pcp_vars.h   Sprache: C

 
/****************************************************************************
**
*A  pcp_vars.h                  ANUPQ source                   Eamonn O'Brien
**
*Y  Copyright 1995-2001,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
*Y  Copyright 1995-2001,  School of Mathematical Sciences, ANU,     Australia
**
*/


/* definition file for structure used in computing 
   power-commutator presentation and for array y */


#ifndef ANUPQ_PCP_VARS_H
#define ANUPQ_PCP_VARS_H

#define MAXIDENT 100 

struct pcp_vars {

   int     p;   /* prime */
   int     pm1;   /* prime - 1 */
    
   int     m;                   /* number of automorphisms */

   int     cc;   /* current class */
   int     ccbeg;  /* begin current class */
   int     clend;  /* end current class */

   int     newgen;  /* number of generators of nucleus */
   int     multiplicator_rank;  /* rank of multiplicator */
   int     lastg;  /* last generator of group */
   int     first_pseudo; /* first pseudo-generator */
   int     redgen;              /* redundant generator */

   int     fronty;  /* first storage position available in y */
   int     dgen;  /* storage location for generators */
   int     relp;  /* storage location for relations */
   int     lused;  /* last position used in y from front */
   int     gspace;  /* first garbage location available in y */
   int     words;  /* storage position of words in y */
   int     submlg;  /* position subgrp - lastg */
   int     subgrp;  /* storage position of subgroup information */
   int     structure;  /* storage position of structure information */
   int     ppower;  /* base position for power information */
   int     ppcomm;  /* base position for pointers to commutators */
   int     backy;  /* last storage place available in y */

   int     extra_relations; /* indicate whether exponent law is imposed */
   int     start_wt;  /* start weight for exponent checking */
   int     end_wt;  /* end weight for exponent checking */

   int     ndgen;  /* number of defining generators */
   int     ndrel;  /* number of defining relations */
   int     ncomm;  /* number of commutators */
   int     nwords;  /* number of words */
   int     nsubgp;  /* number of subgroups */

   int     nocset;  /* number of occurrences parameter */
   int     complete;  /* is the group complete? */
   int     ncset;  /* is next class set up? */

   char    ident[MAXIDENT]; /* identifier of group */ 

   Logical middle_of_tails;     /* middle of tails calculation? */
   Logical update;              /* update of generators performed? */
   Logical dummy1;              /* dummy variables which can be used later */
   Logical dummy2;
   Logical dummy3;

   Logical metabelian;          /* is the group metabelian? */
   Logical fullop;  /* indicate nature of output */
   Logical diagn;  /* indicate nature of output */
   Logical eliminate_flag; /* indicate that generator is eliminated */
   Logical valid;  /* indicate that input is valid */
   Logical overflow;  /* indicate integer or space overflow */
   Logical multiplicator; /* p-multiplicator is to be computed */
   Logical cover;  /* p-covering group is to be computed */

};

extern int     *y_address;     /* definition of storage for presentation */

#endif

100%


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