Changeset a934fb3 in git for libpolys/polys

Timestamp:

Mar 11, 2016, 3:36:57 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

23812d3dd3a69ed0874b01c271d1908acd7f0f05

Parents:

052df146007b4badfc821b69808a085b155cc991

Message:

fix: tr. #753 (non-commutative imap)

Location:

libpolys/polys/monomials

Files:

• p_polys.cc (modified) (4 diffs)
• p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.cc

@@ -3925 +3925 @@
 */
 poly p_PermPoly (poly p, const int * perm, const ring oldRing, const ring dst,
-       nMapFunc nMap, const int *par_perm, int OldPar)
+       nMapFunc nMap, const int *par_perm, int OldPar, BOOLEAN use_mult)
 {
 #if 0
@@ -3938 +3938 @@
   assume(dst != NULL);
   assume(dst->cf != NULL);
+  #ifdef HAVE_PLURAL
+  poly tmp_mm=p_One(dst);
+  #endif
   while (p != NULL)
   {
@@ -3983 +3986 @@
             p_SetExp(qq, i, e, dst);
           else if (perm[i]>0)
+          {
+            #ifdef HAVE_PLURAL
+            if(use_mult)
+            {
+              p_SetExp(tmp_mm,perm[i],e,dst);
+              p_Setm(tmp_mm,dst);
+              qq=p_Mult_mm(qq,tmp_mm,dst);
+              p_SetExp(tmp_mm,perm[i],0,dst);
+
+            }
+            else
+            #endif
             p_AddExp(qq,perm[i], e/*p_GetExp( p,i,oldRing)*/, dst);
+          }
           else if (perm[i]<0)
           {
@@ -4124 +4140 @@
   PrintS("result: "); p_Write(result,dst,dst);
 #endif
+  #ifdef HAVE_PLURAL
+  p_LmDelete(&tmp_mm,dst);
+  #endif
   return result;
 }

libpolys/polys/monomials/p_polys.h

@@ -1915 +1915 @@
 
 poly p_PermPoly (poly p, const int * perm,const ring OldRing, const ring dst,
-                     nMapFunc nMap, const int *par_perm=NULL, int OldPar=0);
+                     nMapFunc nMap, const int *par_perm=NULL, int OldPar=0,
+                     BOOLEAN use_mult=FALSE);
 
 /*----------------------------------------------------*/