Changeset a83b1f in git for libpolys

Timestamp:

Mar 19, 2022, 4:40:00 PM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

a6029b833a41cc3e5095d46da10d0d366cf45c4f

Parents:

9d46c62371afe083a04695cefe80eff68e050fdb

Message:

provide dummy routines for cfRead,cfSetMap which report error if used

File:

• libpolys/coeffs/numbers.cc (modified) (4 diffs)

libpolys/coeffs/numbers.cc

@@ -327 +327 @@
 }
 
+static const char *ndRead(const char * s, number *, const coeffs r)
+{
+  Werror("cfRead is undefined for %s",nCoeffString(r));
+  return s;
+}
+static nMapFunc ndSetMap(const coeffs src, const coeffs dst)
+{
+  if (src==dst) return ndCopyMap;
+  Werror("cfSetMap is undefined for %s",nCoeffString(dst));
+  return NULL;
+}
 
 static BOOLEAN ndCoeffIsEqual(const coeffs r, n_coeffType n, void *)
@@ -444 +455 @@
 #endif
 
+    // report error, if not redefined
+    n->cfRead=ndRead;
+    n->cfSetMap=ndSetMap;
+
 #ifdef LDEBUG
     n->cfDBTest=ndDBTest;
@@ -506 +521 @@
 
 
-    if(n->cfRead==NULL) PrintS("cfRead missing\n");
     if(n->cfGreater==NULL) PrintS("cfGreater missing\n");
     if(n->cfEqual==NULL) PrintS("cfEqual missing\n");
@@ -513 +527 @@
     if(n->cfIsMOne==NULL) PrintS("cfIsMOne missing\n");
     if(n->cfGreaterZero==NULL) PrintS("cfGreaterZero missing\n");
-    if(n->cfSetMap==NULL) PrintS("cfSetMap missing\n");
+    /* error reporter:
+    if(n->cfRead==ndRead) PrintS("cfRead missing\n");
+    if(n->cfSetMap==ndSetMap) PrintS("cfSetMap missing\n");
+    */
 
     assume(n->type==t);