Quelle convert.c Sprache: C

/****************************************************************************
**
*A  convert.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"

/* convert exponent vector with base address
   cp to string whose base address is str */

void vector_to_string(int cp, int str, struct pcp_vars *pcp)
{
   register int *y = y_address;

   register int i;
   register int length = 0;
   register int lastg = pcp->lastg;

#include "access.h"

   for (i = 1; i <= lastg; ++i) {
      if (y[cp + i] != 0) {
         ++length;
         y[str + 1 + length] = PACK2(y[cp + i], i);
      }
   }

   y[str + 1] = length;
}

/* convert exponent-vector with base address cp
   to word with base address ptr */

int vector_to_word(int cp, int ptr, struct pcp_vars *pcp)
{
   register int *y = y_address;

   int i, j;
   register int length = 1;
   register int lastg = pcp->lastg;

   y[ptr + 1] = 1;
   for (i = 1; i <= lastg; ++i) {
      for (j = 1; j <= y[cp + i]; ++j) {
         ++length;
         y[ptr + length] = i;
      }
   }

   y[ptr] = length;
   return length;
}

/* convert string with base address str to
   exponent vector whose base address is cp */

void string_to_vector(int str, int cp, struct pcp_vars *pcp)
{
   register int *y = y_address;

   register int i;
   register int length = y[str + 1];

#include "access.h"

   for (i = 1; i <= pcp->lastg; ++i)
      y[cp + i] = 0;

   for (i = 1; i <= length; ++i)
      y[cp + FIELD2(y[str + 1 + i])] = FIELD1(y[str + 1 + i]);
}

quality75%

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