fix: rCompose/NegOffset for ordering am/

Author: hannes14

Singular/ipshell.cc

@@ -2318,6 +2318,19 @@ ring rCompose(const lists  L)
              R->wvhdl[j][i]=(*iv)[i];
            }
            break;
+         case ringorder_am:
+           R->wvhdl[j] =( int *)omAlloc((iv->length()+1)*sizeof(int));
+           for (i=0; i<iv_len;i++)
+           {
+             R->wvhdl[j][i]=(*iv)[i];
+           }
+           R->wvhdl[j][i]=iv->length() - iv_len;
+           //printf("ivlen:%d,iv->len:%d,mod:%d\n",iv_len,iv->length(),R->wvhdl[j][i]);
+           for (; i<iv->length(); i++)
+           {
+              R->wvhdl[j][i+1]=(*iv)[i];
+           }
+           break;
          case ringorder_M:
            R->wvhdl[j] =( int *)omAlloc((iv->length())*sizeof(int));
            for (i=0; i<iv->length();i++) R->wvhdl[j][i]=(*iv)[i];

libpolys/polys/monomials/ring.cc

@@ -3346,7 +3346,9 @@ static void rSetNegWeight(ring r)
     l=0;
     for(i=0;i<r->OrdSize;i++)
     {
-      if(r->typ[i].ord_typ==ro_wp_neg) l++;
+      if((r->typ[i].ord_typ==ro_wp_neg)
+      ||(r->typ[i].ord_typ==ro_am))
+        l++;
     }
     if (l>0)
     {
@@ -3360,6 +3362,11 @@ static void rSetNegWeight(ring r)
           r->NegWeightL_Offset[l]=r->typ[i].data.wp.place;
           l++;
         }
+        else if(r->typ[i].ord_typ==ro_am)
+        {
+          r->NegWeightL_Offset[l]=r->typ[i].data.am.place;
+          l++;
+        }
       }
       return;
     }