Changeset 7fee876 in git for libpolys/coeffs/numbers.cc

Timestamp:

Mar 16, 2012, 9:26:19 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

5a72fe43aa1fbae0fb93ebbff5685375e726f93c

Parents:

ce1f78b09d525de2d3babcf986a9f4821e60ed00

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-03-16 21:26:19+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-03-17 05:41:42+01:00

Message:

moved prarameter-handling to coeffs from rings.* and related fixes

chg: removed complex_parameter, m_nfParameter
add: n_NumberOfParameters, n_ParameterNames, n_Param(coeffs)
fix: par(1) (n_Param) for n_GF & n_long_C
fix/chg: n_long_C is an Extension as well (rIsExtension)
fix: n_long_C ngcCoeffWrite: additional space needed for compatibility with legacy Singular
fix: complexToStr over non-C coeffs!
fix: rRenameVars renames _new_ VARIABLES instead of _old_ parameters!
fix: coeff construction was broken in walk.cc
add/fix: nfKillChar, ngcKillChar
chg: cleanup of headers & tests
chg: parameter output during "make check"

File:

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

libpolys/coeffs/numbers.cc

@@ -92 +92 @@
 }
 
+static number ndParameter(const int i, const coeffs r)
+{
+  Werror("ndParameter: n_Parameter is not implemented/relevant for (coeff_type = %d)",getCoeffType(r));
+  return NULL;
+}
 
 BOOLEAN n_IsZeroDivisor( number a, const coeffs r)
@@ -258 +263 @@
     n->cfFarey = ndFarey;
     n->cfParDeg = ndParDeg;
+    
+    n->cfParameter = ndParameter;
 
 #ifdef HAVE_RINGS
@@ -323 +330 @@
     assume(n->cfWriteShort!=NULL);
 
+    assume(n->iNumberOfParameters>= 0);
+
+    assume( (n->iNumberOfParameters == 0 && n->pParameterNames == NULL) ||
+            (n->iNumberOfParameters >  0 && n->pParameterNames != NULL) );           
+
+    assume(n->cfParameter!=NULL);
+    assume(n->cfParDeg!=NULL);
 
     if(n->cfWriteLong==NULL) Warn("cfWrite is NULL for coeff %d",t);