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

Timestamp:

Aug 12, 2011, 5:29:12 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

45c9bd3cc75a93224a2ce248f62c450b05c2ec61

Parents:

94a065cc1eef470efefb950abf185f50c06ba20d

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-08-12 17:29:12+02:00

git-committer:

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

Message:

ADD: new function "int n_IsParam(number m, const ring r)" a-la onld p_Var

File:

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

libpolys/polys/ext_fields/transext.cc

@@ -54 +54 @@
 
 #include "ext_fields/transext.h"
-
-
-
-
 
 
@@ -1132 +1128 @@
 
 
-number ntParam(short iParameter, const coeffs cf)
+number ntParam(const short iParameter, const coeffs cf)
 {
   assume(getCoeffType(cf) == ID);
@@ -1138 +1134 @@
   const ring R = cf->extRing;
   assume( R != NULL );  
-  assume( 0 <= iParameter && iParameter < rVar(R) );
+  assume( 0 < iParameter && iParameter <= rVar(R) );
 
   poly p = p_One(R); p_SetExp(p, iParameter, 1, R); p_Setm(p, R);
@@ -1151 +1147 @@
   return (number)f;
 }
+
+
+/// if m == var(i)/1 => return i, 
+int ntIsParam(number m, const coeffs cf)
+{
+  assume(getCoeffType(cf) == ID);
+
+  const ring R = cf->extRing;
+  assume( R != NULL );
+
+  fraction f = (fraction)m;
+
+  if( DEN(f) != NULL )
+    return 0;
+
+  return p_Var( NUM(f), R ); 
+}