Changeset 45cc512 in git for libpolys/coeffs

Timestamp:

Dec 5, 2013, 3:34:22 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0acf3e38387201ff9fd3220d3febd9296fda35dd

Parents:

6cce775fcf124d803afe198a1cae685953241af3

Message:

chg: rCharstr is now a wrapper for r->cf->cfCoeffString

fixes also: charstr for integer,2,3

Location:

libpolys/coeffs

Files:

• coeffs.h (modified) (1 diff)
• ffields.cc (modified) (2 diffs)
• gnumpc.cc (modified) (2 diffs)
• gnumpfl.cc (modified) (2 diffs)
• longrat.cc (modified) (2 diffs)
• modulop.cc (modified) (2 diffs)
• numbers.cc (modified) (4 diffs)
• rintegers.cc (modified) (2 diffs)
• rmodulo2m.cc (modified) (2 diffs)
• rmodulon.cc (modified) (2 diffs)
• shortfl.cc (modified) (2 diffs)

libpolys/coeffs/coeffs.h

@@ -111 +111 @@
    /// output of coeff description via Print
    void (*cfCoeffWrite)(const coeffs r, BOOLEAN details);
+
+   /// string output of coeff description
+   char* (*cfCoeffString)(const coeffs r);
 
    // ?

libpolys/coeffs/ffields.cc

@@ -819 +819 @@
 }
 
+static char* nfCoeffString(const coeffs r)
+{
+  const char *p=n_ParameterNames(r)[0];
+  char *s=(char*)omAlloc(11+1+strlen(p));
+  sprintf(s,"%d,%s",r->m_nfCharQ,p);
+  return s;
+}
+
 BOOLEAN nfInitChar(coeffs r,  void * parameter)
 {
@@ -824 +832 @@
   r->cfKillChar=nfKillChar;
   r->nCoeffIsEqual=nfCoeffIsEqual;
+  r->cfCoeffString=nfCoeffString;
 
   r->cfMult  = nfMult;

libpolys/coeffs/gnumpc.cc

@@ -458 +458 @@
 }
 
+static char* ngcCoeffString(const coeffs r)
+{
+  const char *p=n_ParameterNames(r)[0];
+  char *s=(char*)omAlloc(21+strlen(p));
+  sprintf(s,"complex,%d,%s",r->float_len,p);
+  return s;
+}
+
 BOOLEAN ngcInitChar(coeffs n, void* parameter)
 {
@@ -464 +472 @@
   n->cfKillChar = ngcKillChar;
   n->ch = 0;
+  n->cfCoeffString=ngcCoeffString;
 
   n->cfDelete  = ngcDelete;

libpolys/coeffs/gnumpfl.cc

@@ -402 +402 @@
 }
 
+static char* ngfCoeffString(const coeffs r)
+{
+  char *s=(char*)omAlloc(27);
+  snprintf(s,27,"real,%d,%d",r->float_len,r->float_len2);
+  return s;
+}
+
 BOOLEAN ngfInitChar(coeffs n, void *parameter)
 {
@@ -410 +417 @@
   n->cfSetChar = ngfSetChar;
   n->ch = 0;
+  n->cfCoeffString=ngfCoeffString;
   
   n->cfDelete  = ngfDelete;

libpolys/coeffs/longrat.cc

@@ -2826 +2826 @@
 }
 
+static char* nlCoeffString(const coeffs r)
+{
+  return omStrDup("0");
+}
+
 BOOLEAN nlInitChar(coeffs r, void*)
 {
@@ -2833 +2838 @@
   r->nCoeffIsEqual=ndCoeffIsEqual;
   r->cfKillChar = ndKillChar; /* dummy */
+  r->cfCoeffString=nlCoeffString;
 
   r->cfInitMPZ = nlInitMPZ;

libpolys/coeffs/modulop.cc

@@ -425 +425 @@
 }
 
+static char* npCoeffString(const coeffs r)
+{
+  char *s=(char*)omAlloc(11);
+  snprintf(s,11,"%d",r->ch);
+  return s;
+}
+
 BOOLEAN npInitChar(coeffs r, void* p)
 {
@@ -440 +447 @@
   r->cfKillChar=npKillChar;
   r->nCoeffIsEqual=npCoeffsEqual;
+  r->cfCoeffString=npCoeffString;
 
   r->cfMult  = npMult;

libpolys/coeffs/numbers.cc

@@ -50 +50 @@
 void   nNew(number* d) { *d=NULL; }
 void   ndDelete(number* d, const coeffs) { *d=NULL; }
+char* ndCoeffString(const coeffs r)
+{
+  char *s=(char *)omAlloc(11);snprintf(s,11,"Coeffs(%d)",r->type);
+  return s;
+}
 void   ndInpMult(number &a, number b, const coeffs r)
 {
@@ -323 +328 @@
     n->cfImPart=ndReturn0;
     n->cfDelete= ndDelete;
+    n->cfCoeffString = ndCoeffString; // should alway be changed!
     n->cfInpMult=ndInpMult;
     n->cfInpAdd=ndInpAdd;
@@ -385 +391 @@
     assume(n->nCoeffIsEqual!=NULL);
     assume(n->cfSetChar!=NULL);
+    assume(n->cfCoeffString!=ndCoeffString);
     assume(n->cfMult!=NULL);
     assume(n->cfSub!=NULL);
@@ -451 +458 @@
     if(n->cfWriteLong==NULL) Warn("cfWrite is NULL for coeff %d",t);
     if(n->cfWriteShort==NULL) Warn("cfWriteShort is NULL for coeff %d",t);
+    if(n->cfCoeffString==ndCoeffString) Warn("cfCoeffString is undefined for coeff %d",t);
 #endif
      

libpolys/coeffs/rintegers.cc

@@ -383 +383 @@
 }
 
+static char* nrzCoeffString(const coeffs r)
+{
+  return omStrDup("integer");
+}
 
 BOOLEAN nrzInitChar(coeffs r,  void *)
@@ -388 +392 @@
   assume( getCoeffType(r) == ID );
   r->nCoeffIsEqual = ndCoeffIsEqual;
+  r->cfCoeffString = nrzCoeffString;
   r->cfKillChar = ndKillChar;
   r->cfMult  = nrzMult;

libpolys/coeffs/rmodulo2m.cc

@@ -46 +46 @@
   return FALSE;
 }
+
+static char* nr2mCoeffString(const coeffs r)
+{
+  char* s = (char*) omAlloc(11+11);
+  sprintf(s,"integer,2,%lu",r->modExponent);
+  return s;
+}
+
 /* for initializing function pointers */
 BOOLEAN nr2mInitChar (coeffs r, void* p)
@@ -53 +61 @@
   r->cfKillChar    = ndKillChar; /* dummy*/
   r->nCoeffIsEqual = nr2mCoeffIsEqual;
+  r->cfCoeffString = nr2mCoeffString;
 
   r->modBase = (int_number) omAllocBin (gmp_nrz_bin);

libpolys/coeffs/rmodulon.cc

@@ -47 +47 @@
 }
 
+static char* nrnCoeffString(const coeffs r)
+{
+  char* s = (char*) omAlloc(7+11+2);
+  sprintf(s,"integer,%lu",r->modExponent);
+  return s;
+}
 
 /* for initializing function pointers */
@@ -60 +66 @@
      is a GMP number */
   r->ch = mpz_get_ui(r->modNumber);
+
+  r->cfCoeffString = nrnCoeffString;
 
   r->cfInit        = nrnInit;

libpolys/coeffs/shortfl.cc

@@ -630 +630 @@
 }
 
+static char* nrCoeffString(const coeffs r)
+{
+  return omStrDup("real");
+}
+
 BOOLEAN nrInitChar(coeffs n, void* p)
 {
@@ -638 +643 @@
   n->cfKillChar = ndKillChar; /* dummy */
   n->ch = 0;
+  n->cfCoeffString = nrCoeffString;
 
   n->cfInit = nrInit;