Changeset de88371 in git for libpolys/polys/ext_fields/transext.cc

Timestamp:

Jul 18, 2012, 3:28:22 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')

Children:

91ecf187772d8c5893550eabd5abde87d2f29b9c

Parents:

975db1808b2b0917d858a9096710abc55c256aec

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-18 15:28:22+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-07-18 15:41:07+02:00

Message:

Added stubs for putting the actual code (TODO!), where required (i.e. described) by Hans

chg: descriptions for the output number (n_ClearContent & n_ClearDenominators)
chg: publicly available default implementations ndClearContent & ndClearDenominators for fallback calls

File:

• libpolys/polys/ext_fields/transext.cc (modified) (2 diffs)

libpolys/polys/ext_fields/transext.cc

@@ -1405 +1405 @@
 }
 
+static void ntClearContent(ICoeffsEnumerator& /*numberCollectionEnumerator*/, number& c, const coeffs cf)
+{
+  assume(cf != NULL);
+  assume(getCoeffType(cf) == ID);
+  assume(nCoeff_is_Q_a(cf)); // only over Q(a), while the default impl. is used over Zp(a) !
+  // all coeffs are given by integers!!!
+
+  c = n_Init(1, cf);
+  assume(FALSE); // TODO: NOT YET IMPLEMENTED!!!
+
+//   numberCollectionEnumerator.Reset();
+// 
+//   c = numberCollectionEnumerator.Current();
+// 
+//   n_Normalize(c, r);
+// 
+//   if (!n_IsOne(c, r))
+//   {    
+//     numberCollectionEnumerator.Current() = n_Init(1, r); // ???
+// 
+//     number inv = n_Invers(c, r);
+// 
+//     while( numberCollectionEnumerator.MoveNext() )
+//     {
+//       number &n = numberCollectionEnumerator.Current();
+//       n_Normalize(n, r); // ?
+//       n_InpMult(n, inv, r);
+//     }
+// 
+//     n_Delete(&inv, r);
+//   }
+}
+
+static void ntClearDenominators(ICoeffsEnumerator& /*numberCollectionEnumerator*/, number& c, const coeffs cf)
+{
+  assume(cf != NULL);
+  assume(getCoeffType(cf) == ID); // both over Q(a) and Zp(a)!
+  // all coeffs are given by integers!!!
+
+  c = n_Init(1, cf);
+  assume(FALSE); // TODO: NOT YET IMPLEMENTED!!!
+}
+
 BOOLEAN ntInitChar(coeffs cf, void * infoStruct)
 {
@@ -1487 +1530 @@
   cf->cfParameter = ntParameter;
 
+  if( nCoeff_is_Q(R->cf) )
+    cf->cfClearContent = ntClearContent;
+
+  cf->cfClearDenominators = ntClearDenominators;
 
   return FALSE;