Changeset 03f7b5 in git for libpolys/polys/ext_fields

Timestamp:

Oct 11, 2011, 7:22:48 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

3c56d88ff43b9f485d15dbe25b01664e8e072f04

Parents:

5f4015a4722191e67435fb8503aa693c23375458

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-10-11 19:22:48+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:59+01:00

Message:

ADD: detailed printing vs typing for coeff. domains (mostly - minpoly related)

Location:

libpolys/polys/ext_fields

Files:

• algext.cc (modified) (6 diffs)
• transext.cc (modified) (4 diffs)
• transext.h (modified) (1 diff)

libpolys/polys/ext_fields/algext.cc

@@ -70 +70 @@
 #define naMinpoly naRing->minideal->m[0]
 
-
 /// forward declarations
 BOOLEAN  naGreaterZero(number a, const coeffs cf); 
@@ -97 +96 @@
 int      naSize(number a, const coeffs cf);
 void     naDelete(number *a, const coeffs cf);
-void     naCoeffWrite(const coeffs cf);
+void     naCoeffWrite(const coeffs cf, BOOLEAN details);
 number   naIntDiv(number a, number b, const coeffs cf);
 const char * naRead(const char *s, number *a, const coeffs cf);
+
 static BOOLEAN naCoeffIsEqual(const coeffs cf, n_coeffType n, void * param);
 
@@ -256 +256 @@
 }
 
-void naCoeffWrite(const coeffs cf)
+void naCoeffWrite(const coeffs cf, BOOLEAN details)
 {
   assume( cf != NULL );
@@ -265 +265 @@
   assume( A->cf != NULL );
    
-  n_CoeffWrite(A->cf);
+  n_CoeffWrite(A->cf, details);
  
 //  rWrite(A);
@@ -277 +277 @@
     Print("%s ", rRingVar(nop, A));
   
+  PrintLn();
+  
   const ideal I = A->minideal;
 
@@ -282 +284 @@
   assume( IDELEMS(I) == 1 );
   
-  PrintS("\n//   minpoly        : ("); p_Write0( I->m[0], A); PrintS(")\n");
+
+  if ( details )
+  {
+    PrintS("//   minpoly        : (");
+    p_Write0( I->m[0], A);
+    PrintS(")");
+  }
+  else
+    PrintS("//   minpoly        : ...");
+  
+  PrintLn();
   
 /*

libpolys/polys/ext_fields/transext.cc

@@ -118 +118 @@
 int      ntSize(number a, const coeffs cf);
 void     ntDelete(number * a, const coeffs cf);
-void     ntCoeffWrite(const coeffs cf);
+void     ntCoeffWrite(const coeffs cf, BOOLEAN details);
 number   ntIntDiv(number a, number b, const coeffs cf);
 const char * ntRead(const char *s, number *a, const coeffs cf);
@@ -377 +377 @@
 }
 
-void ntCoeffWrite(const coeffs cf)
+void ntCoeffWrite(const coeffs cf, BOOLEAN details)
 {
   assume( cf != NULL );
@@ -386 +386 @@
   assume( A->cf != NULL );
 
-  n_CoeffWrite(A->cf);
+  n_CoeffWrite(A->cf, details);
 
 //  rWrite(A);
@@ -401 +401 @@
 
   PrintS("\n//   minpoly        : 0\n");
-
 
 /*

libpolys/polys/ext_fields/transext.h

@@ -125 +125 @@
 int      ntSize(number a, const coeffs cf);
 void     ntDelete(number * a, const coeffs cf);
-void     ntCoeffWrite(const coeffs cf);
+void     ntCoeffWrite(const coeffs cf, BOOLEAN details);
 number   ntIntDiv(number a, number b, const coeffs cf);
 const char * ntRead(const char *s, number *a, const coeffs cf);