Changeset e82417 in git for libpolys/polys/ext_fields/algext.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/algext.cc (modified) (3 diffs)

libpolys/polys/ext_fields/algext.cc

@@ -679 +679 @@
 
 
-number naParam(short iParameter, const coeffs cf)
+number naParam(const short iParameter, const coeffs cf)
 {
   assume(getCoeffType(cf) == ID);
@@ -685 +685 @@
   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);
@@ -691 +691 @@
   return (number) p; 
 }
+
+
+/// if m == var(i)/1 => return i, 
+int naIsParam(number m, const coeffs cf)
+{
+  assume(getCoeffType(cf) == ID);
+
+  const ring R = cf->extRing;
+  assume( R != NULL );  
+
+  return p_Var( (poly)m, R ); 
+}