Quelle ppgap4.c Sprache: C

/* ppgap4.c   9.3.00.
* GAP4 version of ppgap
*
* 6/8/98 large scale reorganisation to omit globals, etc.
*
* Read a kb-input file and make a preprocessor file for GAP
*
* SYNOPSIS:
* ppgap4  groupname
*
*/

#include <stdio.h>

#include "defs.h"
#include "fsa.h"
#include "rws.h"
#include "definitions.h"

#define MAXEQNS 1024
#define MAXREDUCELEN 4096

static FILE *rfile, *wfile;

/* Functions defined in this file */
void badusage(void);

int main(int argc, char *argv[])
{
  int i, l, ct;
  boolean first, isgroup;
  rewriting_system rws, *rwsptr;
  static char gpname[100], outf[100];

  setbuf(stdout, (char *)0);
  setbuf(stderr, (char *)0);

  rwsptr = &rws;
  rwsptr->maxeqns = MAXEQNS;
  rwsptr->maxreducelen = MAXREDUCELEN;
  rwsptr->cosets = FALSE;
  rwsptr->inv_of = 0;
  rwsptr->weight = 0;
  rwsptr->level = 0;
  rwsptr->history = 0;
  rwsptr->slowhistory = 0;
  rwsptr->slowhistorysp = 0;
  rwsptr->preflen = 0;
  rwsptr->prefno = 0;

  if (argc != 2)
    badusage();
  strcpy(gpname, argv[1]);
  strcpy(outf, gpname);
  strcat(outf, ".gap4");

  /* First read in the defining relations for the group. */
  if ((rfile = fopen(gpname, "r")) == 0) {
    fprintf(stderr, "Cannot open file %s.\n", gpname);
    exit(1);
  }
  read_kbinput_simple(rfile, TRUE, rwsptr);
  fclose(rfile);

  isgroup = TRUE;
  for (i = 1; i <= rws.num_gens; i++) {
    if ((rws.inv_of)[i] == 0) {
      isgroup = FALSE;
      break;
    }
  }
  wfile = fopen(outf, "w");

  kbm_buffer[0] = '\0';
  if (isgroup)
    add_to_buffer(0, "_RWS.FreeGpMonSgp := FreeGroup(");
  else
    add_to_buffer(0, "_RWS.FreeGpMonSgp := FreeMonoid(");

  first = TRUE;

  if (rws.num_gens == 0)
    add_to_buffer(0, "0");
  else
    for (i = 1; i <= rws.num_gens; i++) {
      l = stringlen(rws.gen_name[i]);
      if (l <= 3 || strcmp(rws.gen_name[i] + l - 3, "^-1")) {
        if (!first)
          add_to_buffer(0, ",");
        first = FALSE;
        sprintf(kbm_buffer + stringlen(kbm_buffer), "\"%s\"", rws.gen_name[i]);
      }
      else if (!isgroup) {
        fprintf(stderr,
                "Error in ppgap4: inverses names only allowed in groups.\n");
        exit(1);
      }
    }
  add_to_buffer(0, ");");
  printbuffer(wfile);

  ct = 0;
  for (i = 1; i <= rws.num_gens; i++) {
    l = stringlen(rws.gen_name[i]);
    if (l <= 3 || strcmp(rws.gen_name[i] + l - 3, "^-1")) {
      ct++;
      fprintf(wfile, "%s := _RWS.FreeGpMonSgp.%d;\n", rws.gen_name[i], ct);
    }
  }
  fprintf(wfile, "_ := One(_RWS.FreeGpMonSgp);\n");
  fprintf(wfile, "IdWord := One(_RWS.FreeGpMonSgp);\n");
  fclose(wfile);
  rws_clear(rwsptr);
  exit(0);
}

void badusage(void)
{
  fprintf(stderr, "Usage: ppgap4 groupname.\n");
  exit(1);
}

quality76%

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