Quelle strip_identities.c Sprache: C

/****************************************************************************
**
*A  strip_identities.c          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
**
*/

#include "pq_defs.h"
#include "pcp_vars.h"
#include "pga_vars.h"
#include "pq_functions.h"

/* find the non-identity permutations in the soluble subgroup of
   the automorphism group generated by the central automorphisms
   and record the correspondence from the non-identity automorphisms
   to the non-identity permutations */

void strip_identities(int ***auts, struct pga_vars *pga, struct pcp_vars *pcp)
{
   register int alpha;
   int **A; /* automorphism matrix */
   int nmr_soluble = pga->nmr_soluble;

   pga->nmr_of_perms = 0;

   /* set up space for automorphism matrix */
   A = allocate_matrix(pga->q, pga->q, 0, FALSE);
   pga->map = allocate_vector(pga->m, 1, TRUE);

   for (alpha = 1; alpha <= pga->m; ++alpha) {
      if (alpha <= nmr_soluble)
         assemble_matrix(A, pga->q, auts[alpha], pcp);
      if (alpha > nmr_soluble || !is_identity(A, pga->q, 0)) {
         ++pga->nmr_of_perms;
         pga->map[alpha] = pga->nmr_of_perms;
      }
   }

   /* EOB - new 26/7/00 */

   pga->nmr_of_perms = 0;
   for (alpha = 1; alpha <= pga->m; ++alpha) {
      ++pga->nmr_of_perms;
      pga->map[alpha] = pga->nmr_of_perms;
   }

   /*
     printf ("The map from auts to perms is ");
     print_array (pga->map, 1, pga->m + 1);
     */

   free_matrix(A, pga->q, 0);
}

quality89%

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