Index: Singular/LIB/ncfactor.lib
===================================================================
--- Singular/LIB/ncfactor.lib	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Singular/LIB/ncfactor.lib	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -4,11 +4,11 @@
 info="
 LIBRARY: ncfactor.lib  Tools for factorization in some noncommutative algebras
-AUTHORS: Albert Heinle,     albert.heinle@rwth-aachen.de
+AUTHORS: Albert Heinle,     aheinle@uwaterloo.ca
 @*       Viktor Levandovskyy,     levandov@math.rwth-aachen.de
 
 OVERVIEW: In this library, new methods for factorization on polynomials
-@*  are implemented for two algebras, both generated by two generators (Weyl and
-@*  shift algebras) over a field K. Recall, that   the first Weyl algebra over K
-@*  is generated by x,d obeying the relation d*x=x*d+1.
+  are implemented for two algebras, both generated by two generators (Weyl and
+  shift algebras) over a field K. Recall, that   the first Weyl algebra over K
+  is generated by x,d obeying the relation d*x=x*d+1.
 @* The first shift algebra over K is generated by x,s obeying the relation s*x=x*s+s.
 @* More detailled description of the algorithms can be found at
@@ -35,4 +35,5 @@
 LIB "crypto.lib"; //for introot
 LIB "matrix.lib"; //for submatrix
+LIB "solve.lib"; //right now not needed
 LIB "poly.lib"; //for content
 
@@ -1163,4 +1164,13 @@
     dbprint(p,dbprintWhitespace +" Done");
   }
+  if (homogwithorder(h,intvec(-1,1)))
+  {
+    dbprint(p, dbprintWhitespace + " Polynomial was homogeneous, therefore we have
+already a complete factorization and do not have to go through the factors recursively.");
+    return(result);
+  }
+  dbprint(p,dbprintWhitespace + "We have the following intermediate list of inhomogeneous
+factorizations:");
+  dbprint(p,result);
   dbprint(p,dbprintWhitespace +" recursively check factors for irreducibility");
   list recursivetemp;
@@ -1202,6 +1212,16 @@
     result = list(list(1,h));
   }//only the trivial factorization could be found
+  list resultWithInterchanges;
+  dbprint(p,dbprintWhitespace+ "And the result without interchanges with homogeneous factors is:");
+  dbprint(p,result);
+  for (i = 1; i <= size(result) ; i++)
+  {//applying the interchanges to result
+    resultWithInterchanges = resultWithInterchanges +
+                             checkForHomogInhomogInterchangability(result[i],2,size(result[i]));
+  }//applying the interchanges to result
+  dbprint(p,dbprintWhitespace + "With interchanges, the result is:");
+  dbprint(p,resultWithInterchanges);
   //now, refine the possible redundant list
-  return( delete_dublicates_noteval(result) );
+  return( delete_dublicates_noteval(resultWithInterchanges) );
 }//proc facFirstWeyl
 example
@@ -1218,4 +1238,113 @@
 /////BRANDNEW!!!!////////////////////
 //////////////////////////////////////////////////
+
+static proc checkForHomogInhomogInterchangability(list factors, posLeft, posRight)
+"
+INPUT:  A list consisting of factors of a certain polynomial in the first Weyl
+        algebra, factors, and a position from the left and the right, where the last swap was done.
+OUTPUT: A list containing lists consisting of factors of a certain polynomial in the first Weyl
+        algebra.
+The purpose of this function is to check whether we can interchange certain inhomogeneous factors
+with homogeneous ones. If it is possible, this function returns a list of lists
+of possible interchanges.
+
+The idea came because of an example, where we need an extra swap in the end, otherwise we would
+not capture all factorizations. The example was
+h = x4d7+11x3d6+x2d7+x2d6+x3d4+29x2d5+xd6+8xd5+d6+5x2d3+14xd4+13d4+5xd2+d3+d;
+
+ASSUMPTIONS:
+
+- All factors are irreducible
+"
+{//checkForHomogInhomogInterchangability
+  int p = printlevel-voice+2;
+  string dbprintWhitespace = "";
+  int i; int j; int k;
+  for (i = 1; i<=voice;i++)
+  {dbprintWhitespace = dbprintWhitespace + " ";}
+  if (size(factors) <= 2 || posLeft >= posRight - 1)
+  {//easiest case: There is nothing to swap
+    return (list(factors));
+  }//easiest case: There is nothing to swap
+  list result = list(factors);
+  list tempResultEntries;
+  list tempSwaps;
+  list tempSwapsTempEntry;
+  list attemptToSwap;
+  intvec ivm11 = intvec(-1,1);
+  dbprint(p, dbprintWhitespace+"We try to swap elements in the following list:");
+  dbprint(p, factors);
+  for (i = posLeft; i < posRight; i++)
+  {//checking within the window posLeft <--> posRight, if there are interchanges possible
+    if (homogwithorder(factors[i],ivm11) && !homogwithorder(factors[i+1],ivm11))
+    {//position i is homogeneous, position i+1 is not ==> trying to swap
+      attemptToSwap = extractHomogeneousDivisorsRight(factors[i]*factors[i+1]);
+      if (size(attemptToSwap[1])>1)
+      {//Bingo, we were able to swap this one element
+        dbprint(p,dbprintWhitespace+"We can swap entry "+string(i)+" and "+ string(i+1));
+        dbprint(p,dbprintWhitespace+"The elements look like the following after the swap:");
+        dbprint(p,attemptToSwap);
+        tempSwapsTempEntry = list();
+        for (j = size(factors); j >=1; j--)
+        {//creating a new entry for the resulting list, replacing the swap in factors
+          if (j==i+1)
+          {
+            for (k = size(attemptToSwap[1]); k >=1 ; k--)
+            {
+              tempSwapsTempEntry = insert(tempSwapsTempEntry, attemptToSwap[1][k]);
+            }
+            j--; //Because we changed entry i+1 and i
+          }
+          else
+          {
+            tempSwapsTempEntry = insert(tempSwapsTempEntry,factors[j]);
+          }
+        }//creating a new entry for the resulting list, replacing the swap in factors
+        tempSwaps = insert(tempSwaps,list(list(i+1,posRight),tempSwapsTempEntry));
+      }//Bingo, we were able to swap this one element
+    }//position i is homogeneous, position i+1 is not ==> trying to swap
+    else
+    {
+      if(!homogwithorder(factors[i],ivm11) && homogwithorder(factors[i+1],ivm11))
+      {//position i+1 is homogeneous, position i is not ==> trying to swap
+        attemptToSwap = extractHomogeneousDivisorsLeft(factors[i]*factors[i+1]);
+        if (size(attemptToSwap[1])>1)
+        {//Bingo, we were able to swap this one element
+          dbprint(p,dbprintWhitespace+"We can swap entry "+string(i)+" and "+ string(i+1));
+          dbprint(p,dbprintWhitespace+"The elements look like the following after the swap:");
+          dbprint(p,attemptToSwap);
+          tempSwapsTempEntry = list();
+          for (j = size(factors); j >=1; j--)
+          {//creating a new entry for the resulting list, replacing the swap in factors
+            if (j==i+1)
+            {
+              for (k = size(attemptToSwap[1]); k >=1 ; k--)
+              {
+                tempSwapsTempEntry = insert(tempSwapsTempEntry, attemptToSwap[1][k]);
+              }
+              j--; //Because we changed entry i+1 and i
+            }
+            else
+            {
+              tempSwapsTempEntry = insert(tempSwapsTempEntry,factors[j]);
+            }
+          }//creating a new entry for the resulting list, replacing the swap in factors
+          tempSwaps = insert(tempSwaps,list(list(posLeft,i),tempSwapsTempEntry));
+        }//Bingo, we were able to swap this one element
+      }//position i+1 is homogeneous, position i is not ==> trying to swap
+    }
+  }//checking within the window posLeft <--> posRight, if there are interchanges possible
+  //Now we will recursively call the function for all swapped entries.
+  dbprint(p,dbprintWhitespace+ "Our list of different factorizations is now:");
+  dbprint(p,tempSwaps);
+  for (i = 1; i<=size(tempSwaps);i++)
+  {//recursive call to all formerly attempted swaps.
+    tempResultEntries=checkForHomogInhomogInterchangability(tempSwaps[i][2],
+                                                            tempSwaps[i][1][1],tempSwaps[i][1][2]);
+    result = result + tempResultEntries;
+  }//recursive call to all formerly attempted swaps.
+  result = delete_dublicates_noteval(result);
+  return(result);
+}//checkForHomogInhomogInterchangability
 
 static proc sfacwa(poly h)
@@ -1269,4 +1398,6 @@
   }//Going through all different kinds of factorizations where we extracted homogeneous factors
   dbprint(p,dbprintWhitespace +" Done");
+  dbprint(p,dbprintWhitespace + "The set is:");
+  dbprint(p,inhomogeneousFactorsToFactorize);
   dbprint(p,dbprintWhitespace+ "Factorizing the different occuring inhomogeneous factors");
   for (i = 1; i<= size(inhomogeneousFactorsToFactorize); i++)
@@ -1313,4 +1444,6 @@
                            posInhomogPoly-1);
       }//Inserting factorizations
+      dbprint(p,dbprintWhitespace + "Added a factorization to result, namely:");
+      dbprint(p, result[1]);
     }
   }//going through all by now calculated factorizations
@@ -1639,8 +1772,8 @@
   option(redSB);
   dbprint(p,dbprintWhitespace+" Calculating reduced Groebner Basis of that system.");
-  solutionSystemforqs = std(solutionSystemforqs);
+  solutionSystemforqs = slimgb(solutionSystemforqs);
   dbprint(p,dbprintWhitespace+" Done!, the solution for the system is:");
   dbprint(p,dbprintWhitespace+string(solutionSystemforqs));
-  if(vdim(std(solutionSystemforqs+theta))==0)
+  if(vdim(slimgb(solutionSystemforqs+theta))==0)
   {//No solution in this case. Return the empty list
     dbprint(p,dbprintWhitespace+"The Groebner Basis of the solution system was <1>.");
@@ -1648,5 +1781,5 @@
     return(list());
   }//No solution in this case. Return the empty list
-  if(vdim(std(solutionSystemforqs+theta))==-1)
+  if(vdim(slimgb(solutionSystemforqs+theta))==-1)
   {//My conjecture is that this would never happen
     //ERROR("This is an counterexample to your conjecture. We have infinitely many solutions");
@@ -1659,5 +1792,5 @@
   else
   {//We have finitely many solutions
-    if(vdim(std(solutionSystemforqs+theta))==1)
+    if(vdim(slimgb(solutionSystemforqs+theta))==1)
     {//exactly one solution
       for (i = 2; i<= size(qs)-1;i++)
@@ -1764,4 +1897,5 @@
   string dbprintWhitespace = "";
   int i; int j; int k; int l;
+  list result;
   for (i = 1; i<=voice;i++)
   {dbprintWhitespace = dbprintWhitespace + " ";}
@@ -1769,7 +1903,11 @@
   {//given polynomial was homogeneous already
     dbprint(p,dbprintWhitespace+"Polynomial was homogeneous. Just returning all factorizations.");
-    return(homogfacFirstWeyl_all(h));
+    result = homogfacFirstWeyl_all(h);
+    for (i = 1; i<=size(result);i++)
+    {//removing the first entry (coefficient) from the list result
+      result[i] = delete(result[i],1);
+    }//removing the first entry (coefficient) from the list result
+    return(result);
   }//given polynomial was homogeneous already
-  list result;
   dbprint(p,dbprintWhitespace+"Calculating list with all homogeneous left divisors extracted");
   list leftDivisionPossibilities = extractHomogeneousDivisorsLeft(h);
@@ -1895,5 +2033,10 @@
   {//given polynomial was homogeneous already
     dbprint(p,dbprintWhitespace+"Polynomial was homogeneous. Just returning all factorizations.");
-    return(homogfacFirstWeyl_all(h));
+    result = homogfacFirstWeyl_all(h);
+    for (i = 1; i<=size(result);i++)
+    {//removing the first entry (coefficient) from the list result
+      result[i] = delete(result[i],1);
+    }//removing the first entry (coefficient) from the list result
+    return(result);
   }//given polynomial was homogeneous already
   list hlist = homogDistribution(h);
@@ -1999,5 +2142,10 @@
   {//given polynomial was homogeneous already
     dbprint(p,dbprintWhitespace+"Polynomial was homogeneous. Just returning all factorizations.");
-    return(homogfacFirstWeyl_all(h));
+    result = homogfacFirstWeyl_all(h);
+    for (i = 1; i<=size(result);i++)
+    {//removing the first entry (coefficient) from the list result
+      result[i] = delete(result[i],1);
+    }//removing the first entry (coefficient) from the list result
+    return(result);
   }//given polynomial was homogeneous already
   list hlist = homogDistribution(h);
@@ -2079,5 +2227,5 @@
   }
   return(result);
-}//extractHomogeneousDivisorsLeft
+}//extractHomogeneousDivisorsRight
 
 static proc fromZeroHomogToThetaPoly(poly h)
@@ -2235,5 +2383,5 @@
   //First, we are going to deal with our most hated guys: The Coefficients.
   //
-  list coeffTuplesMax = getAllCoeffTuplesComb(factorizeInt(int(f1[1][1])));
+  list coeffTuplesMax = getAllCoeffTuplesComb(factorizeInt(number(f1[1][1])));
   //We can assume without loss of generality, that p_max has a
   //nonnegative leading coefficient
@@ -2246,5 +2394,5 @@
     }
   }//Deleting all tuples with negative entries for p_max
-  list coeffTuplesMin = getAllCoeffTuplesComb(factorizeInt(int(f2[1][1])));
+  list coeffTuplesMin = getAllCoeffTuplesComb(factorizeInt(number(f2[1][1])));
 
   //Now, we will be actally dealing with the Combinations.
@@ -3809,13 +3957,13 @@
   if (size(list_not_azero)!=0)
   {//Compute all possibilities to permute the x's resp. the y's in the list
-    if (list_not_azero[1] == x)
+    if (list_not_azero[1] == var(1))
     {//h had a negative weighted degree
       shift_sign = 1;
-      shiftvar = x;
+      shiftvar = var(1);
     }//h had a negative weighted degree
     else
     {//h had a positive weighted degree
       shift_sign = -1;
-      shiftvar = y;
+      shiftvar = var(2);
     }//h had a positive weighted degree
     result = permpp(list_azero + list_not_azero);
@@ -3890,7 +4038,7 @@
       {//the jth entry is theta and can be written as x*y
         thetapos = j;
-        result[i]= insert(result[i],x,j-1);
+        result[i]= insert(result[i],var(1),j-1);
         j++;
-        result[i][j] = y;
+        result[i][j] = var(2);
         found_theta = 1;
         break;
@@ -3899,7 +4047,7 @@
       {
         thetapos = j;
-        result[i] = insert(result[i],y,j-1);
+        result[i] = insert(result[i],var(2),j-1);
         j++;
-        result[i][j] = x;
+        result[i][j] = var(1);
         found_theta = 1;
         break;
@@ -3915,13 +4063,13 @@
       rparts = list(rightpart);
       //first deal with the left part
-      if (leftpart[thetapos] == x)
+      if (leftpart[thetapos] == var(1))
       {
         shift_sign = 1;
-        shiftvar = x;
+        shiftvar = var(1);
       }
       else
       {
         shift_sign = -1;
-        shiftvar = y;
+        shiftvar = var(2);
       }
       for (j = size(leftpart); j>1;j--)
@@ -3949,13 +4097,13 @@
       }//drip x resp. y
       //and now deal with the right part
-      if (rightpart[1] == x)
+      if (rightpart[1] == var(1))
       {
         shift_sign = 1;
-        shiftvar = x;
+        shiftvar = var(1);
       }
       else
       {
         shift_sign = -1;
-        shiftvar = y;
+        shiftvar = var(2);
       }
       for (j = 1 ; j < size(rightpart); j++)
@@ -4340,5 +4488,5 @@
 def R = nc_algebra(1,1);
 setring R;
-LIB "ncfactor.lib";
+LIB "/Users/albertheinle/Studium/forschung/ncfactor/versionen/ncfactor.lib";
 poly t = x; poly D =d;
 poly p = 2*t^2*D^8-6*t*D^8+2*t^2*D^7+8*t*D^7+12*D^7-2*t^4*D^6+6*t^3*D^6+12*t*D^6-20*D^6
Index: Tst/Long/ncfactor_counterExOld_l.res.gz.uu
===================================================================
--- Tst/Long/ncfactor_counterExOld_l.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Long/ncfactor_counterExOld_l.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,29 +1,15 @@
-begin 644 ncfactor_counterExOld_l.res.gz
-M'XL("#,APE```VYC9F%C=&]R7V-O=6YT97)%>$]L9%]L+G)E<P"M6%M3XS88
-M?<^OT`,/W04[NO@2NYV="9!"NL`R&]@^=#N,$HN@0;:RLD-)'_K;*SNVN<59
-M*]B3R_B3?,YWTY$2`#9<D_'%R?79\.NFL1=7OP>&X$C&BV7&%!B*.9LJ"B:K
-M-&,QN)4*7$JQ2F3,J2BGT8S+)*T>U^\'IE)M`L1"EMO[*6/S!7_K@>DJ!'_:
-MX)C-[IDZ`">V=6Z#$\663.1WX/*6:]?TR*D-)K,[R1(6TR0IGO^NWW\L!<`0
-MX=[OA^"<9G=Z-./W(-+!72>\<#6C+#L`QY;G>RX!GRE/M570/`%)Y<KW7K\/
-M/GX$0M*(1:`_7"P$GZU#[T]X,E\*JOI%Q/VS\6$_2S-;\"GX!3G.`!_D'E@0
-M63#XT.,)S\"G3^!Z,BK*$5(Q94I[QA/!ZM'3+Y.KB^'Y*!Q_&9[:0LZHJ,>6
-M"8T9L&AX3-4_/`%/4P""]L"&H!SXK"-@`GPK"[(>#,'5DNF\Z-A\@+R0D)!X
-MX/+X*L\3^A4H*;/P,5E:R(6.C5R;_(?Z7T=GH^%D=#,F`P]P_5$[$]&,%6&<
-M2X`]<"$?BGP#C$/HA\0!1Z.K>G+5&B'1X+4UX[/[O(%"5)OR=.L<WO!Y(A4+
-MP=&W"1@?@[UQM&=8B61V2V>95$4Y=GA^H?N]*N7`K4KI6`1^,$12VE0BN0C"
-M$LFWD#'20O$X8K/*+9]4;I$=W*+3-,]0!88"E(/I7G5UF*9@F>*TCI(X09!C
-M02M_N<;YHDDDX\HOST-UD-`8BPG>$1)/Y#+K)L!4B@=60?F$E%#:,<\42JN:
-MXH\5EN<.2BQD(6.LF5HM,EEEBT"O[`?/PKXIUJUB;#ZML#`D3[UEG*[I[3+I
-M!FFAV//<OQ,MBF5$%XL*+`@&97MYN_3$DT@X`P?6<H.-U_7\/JI['F/B:B@8
-MY!T!R2X1UML9+ONA>!GWEDPR)44W37\G8RGDO)MU'3%]NHF[6=CS.'U>1Q0X
-M[Y!4P1,JYMUD[,>=KN12\&X:7V]H#U1UD[)_F9(IZTA8\_V19_RA&S0=I13+
-MK)L%D,R>BOG.].M##:_.`)@06"]P;-P7B3XA29'6?CE>[9<YV%R?P14530>*
-MO]#?8?ZKH/K6%RKN<7W_B*/]M8T\MUF/I=79:'5?/(]S<X79%=?^9BY-1'8F
-MPB9,15!.UUS-^7-WI3*H5$'D=4G45"2_#4GM9:O4X2TQ#;JGV\1%"K+@'61&
-MH6DN!+LF:VB-=6BHE6)LIMLWH5NSM=(,$[;&-+82#8MT4+3U:D:ME,.,<&OA
-M6LE'`Y_Q<D.M-,2$;4MD[:2D@<M8\5$[*3&BV](F[;0$OW_!E9MT.SDQX6O>
-MJ'$[,=E,9K@+E.&U$Q0SQFW+#K?3E89\FFT%N)VDM.?:MA.@XM_"-+N)62S5
-MZ@:",'SV[V=(',_'T'DS#[V:AP/7=Z`W>#,1OP9T'>)C'S]-S'C,U&LXUPEZ
-G^*>^N;XW&+R9U^C;ZXF-ON$7OKT%S+WK[1VNF-W[']K<[5P<&```
+begin 664 ncfactor_counterExOld_l.res.gz
+M'XL("+*;*5(``VYC9F%C=&]R7V-O=6YT97)%>$]L9%]L+G)E<P"MEDUK@T`0
+MAN_^BB'T8!HKV36?#=U#OR`04F@*/9163+1%6$S1+37_OFN,F@979EM/ZLSL
+M/,ZX^SJKI]OY$@`(@\7\&CHB$38/UYV9L3IX*`-I=,,H%&9W9F178`RBS;NW
+M$=O8W6R_(A'$=^D#]UUN1\&WG0A/E.N=0^9BP4GZ`8/R?FA#'$8?\`A7T+?,
+MU/*[EO]9Q8X8^,$[Q-(=;5R/?P3KV#.)1;I5S)A!$H@LC1D?F2<,/K=\!PNY
+MUB2]](V>^]VW014PS7/S*_F6]V&<B.=@Q\U%E8+T92."1"QO9`28W(+,24JW
+M[""?&2_D]=*0Z8IKUMK],RV?4^KW<IMS;+M(#];!K\C".CQ97R34!]5B%!"G
+M3<A%?2V9M0ALJVT*%-VSAG]FT?IOI$:-VD8UM'",896-0=%H`V[2/JZ.Y>QA
+MTW_`M$J3+-)O&Z;8C7EI!*48];@>OH\9"249.J2F$TU0VE%MA;_C\J-&4!*B
+MQ5.++T%IB`*F>=H.Y:&D1)/8N"]Q>J+HI^:1PXD)GM5\XG!JXK0@)_FWHSA%
+MT0(V%4AQDE+/T_X14)RL:-`:*L.)BH*E_4NE.$W1PBFW23%(TFHB)HZ]'[ZS
+8@?HK,8^&T0$[=L@!&,Z,'P.DEAK,"P``
 `
 end
Index: Tst/Long/ncfactor_counterExOld_l.stat
===================================================================
--- Tst/Long/ncfactor_counterExOld_l.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
+++ Tst/Long/ncfactor_counterExOld_l.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -0,0 +1,8 @@
+1 >> tst_memory_0 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:6583472
+1 >> tst_memory_1 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:38285312
+1 >> tst_memory_2 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:57585664
+1 >> tst_timer :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:137315
+2 >> tst_memory_0 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:6564592
+2 >> tst_memory_1 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:38285312
+2 >> tst_memory_2 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:57585664
+2 >> tst_timer_1 :: 1378458546:3170:3-1-7:x86_64-Linux:fifi.mathematik.uni-kl.de:137316
Index: Tst/Long/ncfactor_counterExOld_l.tst
===================================================================
--- Tst/Long/ncfactor_counterExOld_l.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Long/ncfactor_counterExOld_l.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -8,5 +8,7 @@
 setring(r);
 poly L = (1+x^2*d)^4;
-facFirstWeyl(L);
+def l=facFirstWeyl(L);
+testNCfac (l, L);
+l;
 
 tst_status();
Index: Tst/Long/ncfactor_lee_l.res.gz.uu
===================================================================
--- Tst/Long/ncfactor_lee_l.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Long/ncfactor_lee_l.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,28 +1,14 @@
 begin 644 ncfactor_lee_l.res.gz
-M'XL("#,APE```VYC9F%C=&]R7VQE95]L+G)E<P"U5UU3XS84?<^ON`\\='>Q
-MHP];=MS.S@1((5U@F0UL'[H=1HE%T"!;J6+3I`_][96=V,D&*./@]>1CKG1U
-M=.Z]1[($\,PS&EZ>WISWOSS7]]W3[4`?CG4RRS-AH*^F8FPXC);S3"1PIPU<
-M:;5,=2*Y6KOQ3.IT7@VWWT=AYK8)J(,=O_/JC"\_Z)<.C)<1_.["B9@\"',(
-MIZYSX<*I$;E0A057=])2LSUG+HPF]UJD(N%I6H[_9K^_Y0H(PJ3SZQ%<\.S>
-M]F;R`6(;W$TJ2ZH9%]DAG#@L8#Z%3US.;:OB10+2BLJW3K<+[]^#TCP6,73[
-MLYF2DU7HW9%,I[GBIEM&W#T?'G6S>>8J.8:?L.>%Y+!@X"#LH-Z[CDQE!A\_
-MPLUH4)8CXFHLC&4F4R7JWK//H^O+_L4@&G[NG[E*3[BJ^_*4)P(<'IUP\[=,
-M8>,"&+FABV#=\<E&(!1\71=DU1G!=2YL7FQL`6`641I1!E<GUT6>\,]@M,ZB
-M19H[V$>>BWV7_HN[7P;G@_YH<#ND(0-I?VHR,<]$&<:%!L+@4C^6^09"(HPC
-MC\'QX+IVKJ0140M>MV9R\E`(*,)U4Y%NF\-;.4VU$1$<?QW!\`0.AO%!PTJD
-MDSL^R;0IR[''^)G5>U7*T*]*Z3D4O6N(9&S3&LG'"*V1`@<W1IH9F<1B4M$*
-M:$6+[D&+C^=%ABHPW,,%F-6J;\-L"I89R>LHJ=?K%5C(*3Y^XWSQ--9)Q8LQ
-M7`>)&F,))5M"DJG.LW8"G&OU*"JH@-(UE"7&FD+97<W(187%_'"-A1W<&&MB
-MEK-,5]FBB*WUP!P2-,6Z,T),QQ46072CK<;I&M_E:3M(,R.V<_]&M#C1,9_-
-M*K!>+US+B^VCB<TFX84>JK<;TGA=3Q_B6O.$4-]"H5ZA"$3WB;!^G9&U'LI/
-M8VWI-#-:M2/Z>YUHI:?MK.M8V---TL["GB;S[3KBGO>&+57)E*MI.QG[Z]Y6
-M,E>R'>';%]HC-^VD[!]A]%RTM+$6[T>9R<=VT&R46N59.PL@G6R*^<;TVT.-
-MK,X`A%)4+W#26!>I/2%I-:]Y>:SFU1QL:L_@AJN7#A1_X#^CXE90_=L'ES;9
-MV&CAQ>0#80L:TP]>L/!L6($UG"!<$-M36/;79XO8%I25PVD]?%':7FW'I>UO
-MV=5</XY#O,.A<.I4_?\S[>*56!8[L:QLMDV[9+WB[/2"%9%@AUBXG0SO=5:Q
-M0UL@1@MB7D',9@,%,7&\H%.-:9*4V"&M3<_>7I.BMOM.'_QP2>PJX&4NX3Y"
-ML'!TM5#(2G2T7"@D=GQ2:-$GSZX%7-[\[!4O$8DVRUL$4;1UDXW"GCU[>MX3
-M/[SC9]DC1,E31[+K:.]<#`=LXYC)1)@=+X)(A[Q.#7LH?.+W(K5=QQ>ID>^H
-4/0$LR'4.CI;"[?P'AY"J5^81````
+M'XL("`_<*%(``VYC9F%C=&]R7VQE95]L+G)E<P"U5$UK@T`0O?LKAM"#(2KN
+MAYHV9`]M*01"#TVAAU)"FC5!6$S0+37_OK,:/Y#0-"V]K#YGY[VWL^,LGN]G
+MCP!`!,QGMS#0N?94\CZ86(MCA`K`C\LD3;0]G%CF"4)`NMZLUGJ7+54<+Y67
+MQI]>KE>Z26-'PGI?CY4+:-X##[(DW<(33,%W[,*10T?NV[VA`!EO(,-PNEZN
+MU#9^SU8V<<BPW1,)R&-M:.RL\WDL8+]3!YAC+O&+0/(1#0LN@Q&/$%'W.D+$
+MVH3K2DM-T?5#DN7Z)3XH>]Y2$A_K$>?Z\0YW@*T<,$'2A+&0:F*]DK<;"^GJ
+MIZEPB6F+?52FQ@Z3S-CA+B$1`C<:%Q0C!N$:A(5T<2W369->E)@W6)8XZ.!:
+MZQL/19]4NK3'6_1X*QQVCX'V:8B5Q3.@4S_"LO+(JFDOD>]K(]VOY?G?Y<]H
+M5R6/?N`E^'<O1MLT4]5*V-9]<Q4>=_LC/.]*NJQG#(58U;:TTF)EVU+I!M18
+M"*@\=8NUD\O$?E.%TS<P_N__\>2IZZ%`VVE'F%?.4S,L/W*[,UBXZ`9PN,&5
+*]05/O5#WGP4`````
 `
 end
Index: Tst/Long/ncfactor_lee_l.stat
===================================================================
--- Tst/Long/ncfactor_lee_l.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
+++ Tst/Long/ncfactor_lee_l.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -0,0 +1,8 @@
+1 >> tst_memory_0 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:8948272
+1 >> tst_memory_1 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:10776576
+1 >> tst_memory_2 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:11014144
+1 >> tst_timer :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:32510
+2 >> tst_memory_0 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:8945336
+2 >> tst_memory_1 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:10776576
+2 >> tst_memory_2 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:11014144
+2 >> tst_timer_1 :: 1378409487:3170:3-1-7:ix86-Linux:mamawutz:32512
Index: Tst/Long/ncfactor_lee_l.tst
===================================================================
--- Tst/Long/ncfactor_lee_l.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Long/ncfactor_lee_l.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -8,5 +8,7 @@
 setring(r);
 poly L = 10x5d4+26x4d5+47x5d2-97x4d3;
-facFirstWeyl(L);
+def l=facFirstWeyl(L);
+testNCfac (l, L);
+l;
 
 tst_status();
Index: t/Long/ncfactor_tsai_l.res.gz.uu
===================================================================
--- Tst/Long/ncfactor_tsai_l.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ 	(revision )
@@ -1,11 +1,0 @@
-begin 644 ncfactor_tsai_l.res.gz
-M'XL("+P5QE```VYC9F%C=&]R7W1S86E?;"YR97,`?9++:L,P$$7W_HHA="%7
-MEHD><1^A6I12"(0NFD(7I3%.Y`2#<8*M4N7O.Q)V'%KH1C.:<W7%:+1Z>UJ\
-M``#7L%P\PL1V-JVKS60>K7HB-&`QKYK*DG@>^0A:0[/=%5M[:'/;%55>ITWY
-MG7:VL.=SLG<<A+]LE89S/DNAK9H]O,(#3!/B$A,GYCAJ,PVFW$&+N-GF1;TO
-M-VU!>,+C47.CH2NMMR'M1?E6P_%0GV")9XE;9U1<N[5B$E<17YNU8$1A/F,J
-MU+G'(@2D0(%D8UVR+%"!6JQ<W'*G`9M\KMK.OI>GFBR1??#/^PC9$/TCA[TX
-M[YTRU$G#E)-4.F$8+I@8ECDF@U:.6L1(A*,J&BS^MV;>6O;6-'.">6OI*!=_
-FO6E`C`\M\>DX'\[3\`7\>+\Z,O;-^[_1`QP'7$4_:[YB<5("````
-`
-end
Index: t/Long/ncfactor_tsai_l.stat
===================================================================
--- Tst/Long/ncfactor_tsai_l.stat	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ 	(revision )
@@ -1,8 +1,0 @@
-1 >> tst_memory_0 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:1417256
-1 >> tst_memory_1 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:2371584
-1 >> tst_memory_2 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:2535424
-1 >> tst_timer :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:48952
-2 >> tst_memory_0 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:1417488
-2 >> tst_memory_1 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:2371584
-2 >> tst_memory_2 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:2535424
-2 >> tst_timer_1 :: 1354699581:3150:3-1-5:ix86-Linux:mamawutz:48953
Index: t/Long/ncfactor_tsai_l.tst
===================================================================
--- Tst/Long/ncfactor_tsai_l.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ 	(revision )
@@ -1,12 +1,0 @@
-LIB "tst.lib";
-tst_init();
-LIB "ncfactor.lib";
-
-ring R = 0,(x,d),dp;
-def r = nc_algebra(1,1);
-setring(r);
-poly L = (x^6+2*x^4-3*x^2)*d^2-(4*x^5-4*x^4-12*x^2-12*x)*d + (6*x^4-12*x^3-6*x^2-24*x-12);
-facFirstWeyl(L);
-
-tst_status();
-tst_status(1); $
Index: Tst/Long/ok_l.lst
===================================================================
--- Tst/Long/ok_l.lst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Long/ok_l.lst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -46,5 +46,5 @@
 mre
 mre_nonhom
-ncfactor_tsai_l
+ncfactor_lee_l
 paraplan
 pAdd0L_l
Index: Tst/Manual/facFirstShift.res.gz.uu
===================================================================
--- Tst/Manual/facFirstShift.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Manual/facFirstShift.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,10 +1,10 @@
-begin 644 facFirstShift.res.gz
-M'XL("(JNRU```V9A8T9I<G-T4VAI9G0N<F5S`)V1,6O#,!"%=_V*(V20$\=4
-M=M*4FF@H)1`H'>IN)0V.8\<"HP3=E:C_OK(3V\5#ATZG=^_=QTE*WI\WKP`@
-M)+QLGF!$2$&E]J,8W&FGM"+NQ:RN("44:;96!BDI54&!SB\!4DHLN4'"&T1G
-M+D@G<R5U=B3!*'V$-UC!G<^MCYY_./?^7,(A+\`X6V>[M#KF>Y-RX6)]9B$!
-M<ZHQW/QJWTLXGZIO*-TLQ\]P8J?6FV`?6`Z6YZ6;_A#;1^;,MM;OT.BPTQA.
-MKZVH;S5ZWFD[$ZR=^(LTQ+3D`2GZSTYV0,+NX@^R^<GZG[Z0"R\>LQ_"*J0^
-$]`$`````
+begin 664 facFirstShift.res.gz
+M'XL("%"R*5(``V9A8T9I<G-T4VAI9G0N<F5S`)V1,6O#,!"%=_V*(V20$]=4
+M=M*4FFHHI1`('>IL)0V.8\<"HP3=E:K_OK(3V\%#ADZG=^_=AZ1+UJ_+=P`0
+M$E;+%Q@14E"IW2@&=]HJK8A[,:LK2`E%FKTI@Y24JJ!`YS\!4DHLN4#""T1G
+M+DA'<R9U=B3!*'V`#WB&>Y];'SU_?^K]F81]7H!QMLZV:77(=R;EPL7ZS%P"
+MYE1CN+EJ/T@X':M?*-TLQZ]P8J?6FV`?6`PNSTLW_2DV3\R9;:W_H=%AI['1
+M4:_#Z3DRZUKV3K!VXA:IG8P&\`$I^@_)#DC8/?Q1-INL]_2-7'CQF/T!<RK2
+%H_0!````
 `
 end
Index: Tst/Manual/facFirstShift.stat
===================================================================
--- Tst/Manual/facFirstShift.stat	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Manual/facFirstShift.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,4 +1,4 @@
-1 >> tst_memory_0 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:503528
-1 >> tst_memory_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2453504
-1 >> tst_memory_2 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2613248
-1 >> tst_timer_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:49
+1 >> tst_memory_0 :: 1378464336:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:512160
+1 >> tst_memory_1 :: 1378464336:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2441216
+1 >> tst_memory_2 :: 1378464336:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2513568
+1 >> tst_timer_1 :: 1378464336:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:33
Index: Tst/Short/ncfactor_example2_7FromMaster_s.res.gz.uu
===================================================================
--- Tst/Short/ncfactor_example2_7FromMaster_s.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_example2_7FromMaster_s.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,11 +1,11 @@
 begin 644 ncfactor_example2_7FromMaster_s.res.gz
-M'XL("'/OQ5```VYC9F%C=&]R7V5X86UP;&4R7S=&<F]M36%S=&5R7W,N<F5S
-M`%U1RVK#,!"\^RN6T(-D&1/939PV5(=2`@&WAZ300VF-8RG!X-A&4JGR]Y42
-MO^A!K'9G=D>:W;^_;-\`@#)(M\\PTTJ'57F8K;U]AT0,;#$KZU(CO/9<!,:@
-M+HYYH1N9"9.?VTI$6;*1S?DU5UK(3(6U^`V5SO4P)^X4^L9_,O<,AOLB!%G6
-M)]C!$\P#9`*.`]Z.W"4#+HX@+5P765Z=Q$'FB`84CYR$@1+:C4%R4EXQ:)OJ
-M`JGM189S(&`XH<0E9(%]@WV$D/$Y_HX(Q7Y'B&^$Q!'&80\,[%\VI53Z0UPJ
-ME%KLDWX]>A;KH_/VFD=#;B).#(_L(4M#;F@\16,RH:P,L?J])IV//E$:7E?C
-8;/Y1:'P8[7;6`=86N//^`#HO-X#J`0``
+M'XL(")C=*%(``VYC9F%C=&]R7V5X86UP;&4R7S=&<F]M36%S=&5R7W,N<F5S
+M`%U136L",1"][Z\8I(=DLRPFZU<KYM`60;`>M-!#:9?51%F(JR0IC?^^B:N[
+M2P\AF7EOWDS>;-Y?%RL`H!R6BV?H66-356Y[TVAS0Q@'G\S+JK0(3Z-P`^=0
+M[?;%SIYT+EUQ/"O)\O%<GXYOA;%2YR:MY&]J;&$;G>S6X5[XK\V`0_,>IJ#+
+MZ@!KF$$_02X1.!'GECOB(.0>M(>K75ZH@]SJ`M&$XI8SYF"D#3)(=](3#N>3
+MNL#2UR(G!!!P@E`2`C+$L<,Q0LC%`G\S0G%\(V0U81P(K=AC/8>:^1_-2VWL
+MA[PHM&P9M._-D\:N7CP#D$H@@+2!O>MJ&GW2KZ?(R]WOL(YKS)K8,4&<8/Z0
+MD2,UFG71C'0H$T?\R$T7UEI+L_2ZS;"9'X,ZDPYX%_!.PD/T!_.AS@P=`@``
 `
 end
Index: Tst/Short/ncfactor_example2_7FromMaster_s.stat
===================================================================
--- Tst/Short/ncfactor_example2_7FromMaster_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
+++ Tst/Short/ncfactor_example2_7FromMaster_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -0,0 +1,8 @@
+1 >> tst_memory_0 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:832244
+1 >> tst_memory_1 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2387968
+1 >> tst_memory_2 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2600960
+1 >> tst_timer :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2357
+2 >> tst_memory_0 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:832476
+2 >> tst_memory_1 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2387968
+2 >> tst_memory_2 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2600960
+2 >> tst_timer_1 :: 1378409880:3170:3-1-7:ix86-Linux:mamawutz:2359
Index: Tst/Short/ncfactor_example2_7FromMaster_s.tst
===================================================================
--- Tst/Short/ncfactor_example2_7FromMaster_s.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_example2_7FromMaster_s.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -7,5 +7,7 @@
 setring(r);
 poly L = (xdd + xd+1+ (xd+5)*x)*(((x*d)^2+1)*d + xd+3+ (xd+7)*x);
-facFirstWeyl(L);
+def l=facFirstWeyl(L);
+testNCfac (l, L);
+l;
 
 tst_status();
Index: Tst/Short/ncfactor_example_all_procedures_s.res.gz.uu
===================================================================
--- Tst/Short/ncfactor_example_all_procedures_s.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_example_all_procedures_s.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,12 +1,12 @@
-begin 644 ncfactor_example_all_procedures_s.res.gz
-M'XL(",KCQ5```VYC9F%C=&]R7V5X86UP;&5?86QL7W!R;V-E9'5R97-?<RYR
-M97,`K5/M:X)`&/]^?\5#[,-"M/3408&PEP9!BX:##<80JVL)EN&=[/SO=Y?=
-MZ21:&R%X/&^_W_,:OCR,IP!@!S`9WT&'46:ER;PS1.'!X@0@E%&R3=AU=XCD
-M"T$`V\4J7K`LCPB/-[N41'&:1KL\6Y!ED1,:46M+OBS*8J:1\(%#A;:(W(I(
-M6259KP<2$H3F,<DI>R5E"JL\VX`(A28.&KW=/LTFHP%ZMS\&2,"I5Q:WEQTM
-M\[V,:[ETC,K'K75"TZ8/U\F*78"?*KHZ!=JF-VVD(DXAM6&.%"*1\']RXBTD
-MVFQ(6,S/F4;=1$8HF]X+G]]#;-07GTJVKQO1UX68W!4SX[C$IBO^AL^=TC$Q
-M=XP;7FK*=;;)/M7PGO^R/'7SN;?T#%\3[T6.E]AP3]#(8[C$GE;<K:DT,CAC
-C0YKN1X!\?7Y>=7[R8@LJCT\9_!\&NSN$*_0-,;3#@S<$````
+begin 664 ncfactor_example_all_procedures_s.res.gz
+M'XL("#VR*5(``VYC9F%C=&]R7V5X86UP;&5?86QL7W!R;V-E9'5R97-?<RYR
+M97,`K9-M:\(P$,??YU,<LA>34K5-VX%"80\.!">.#C88HU2-LU"M-)&EWWZ)
+M-6D7Q+DAA8:[R_U_R5TN>GD830#`"6$\NH,6HZR3I;/6`$6'B!N"<,;I)F77
+M[0&2*X0A;.;+9,[R(B8\66\S$B=9%F^+?$X6NX+0F'8VY*M#6<*T$CXP5*H!
+M\BJ0BDI8MPM2$H3G,2TH>R5E!LLB7X-(A:8.&K[=/DW'PSYZ=S[Z2,BI55YN
+M;[O:YGL;UW;I6M4>K_8)CXF/5NF278!/#3X]@K<=I#).*:E,;(@;2O@_2MQ0
+MHLV"1+O9.=VHB\@(99-[L>?W%`?UQ*<.V].%Z.F+V-P3/>.XQ+8G_E;`W=*U
+M,7>M&UYJY"I?YY^J><]_>3QU\;F_\*U`@_<FQPML>2<P<A@N\4XKMM&5Q@G.
+D>"'-[4>$`CU^?C5^<F)W5`Z?"@0_`DY[`%?H&R',((\W!```
 `
 end
Index: Tst/Short/ncfactor_example_all_procedures_s.stat
===================================================================
--- Tst/Short/ncfactor_example_all_procedures_s.stat	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_example_all_procedures_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,8 +1,8 @@
-1 >> tst_memory_0 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:524412
-1 >> tst_memory_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2453504
-1 >> tst_memory_2 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2552468
-1 >> tst_timer :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:675
-2 >> tst_memory_0 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:525028
-2 >> tst_memory_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2453504
-2 >> tst_memory_2 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2552468
-2 >> tst_timer_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:676
+1 >> tst_memory_0 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:571856
+1 >> tst_memory_1 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2461696
+1 >> tst_memory_2 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2600960
+1 >> tst_timer :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:119
+2 >> tst_memory_0 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:572584
+2 >> tst_memory_1 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2461696
+2 >> tst_memory_2 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:2600960
+2 >> tst_timer_1 :: 1378464317:3.1.3.sw, 64 bit:spielwiese:x86_64-Linux:fifi.mathematik.uni-kl.de:119
Index: Tst/Short/ncfactor_inhomog_s.res.gz.uu
===================================================================
--- Tst/Short/ncfactor_inhomog_s.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_inhomog_s.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,10 +1,11 @@
 begin 644 ncfactor_inhomog_s.res.gz
-M'XL(",SCQ5```VYC9F%C=&]R7VEN:&]M;V=?<RYR97,`M5#+:L,P$+S[*Y;0
-M@VP9$TEN^@C5H91"H/30!'HHJ7$<QQ:X=I!4*OU]92=^M-!C3[N:F1T-L]X\
-MK)X!@'!X6MW#3"L=56(W6WKK,T,Y.#`1M=#(7WKM!,ZAS@YIIAOIB++Y:(I$
-M177^%2F=ZN&4G4U[[2_GF,.P7T8@15W`"]S!/$0FM'ZX/X[:!8=]?@#IZ#I+
-MTJK(=S)%)"3^J+GBH'+=VB`Y@:\Y')O*0NEND7EGV&#B!VZ+L0T,IA/I#0>7
-M]%%(I5]S6Z'2<6]D>^LYKI]M6=V;#F_3>78@&\$8&XM9[TWFIQ[;@CX5&C\E
-EI,]'3P%I8+%U`2TV@9WHZ#^&8W^%BW\0KFVX^`8P@!Z_,P(`````
+M'XL(".3=*%(``VYC9F%C=&]R7VEN:&]M;V=?<RYR97,`C5'+:L,P$+S[*Y;0
+M@VP9$\G.HS71H2V%0,FA*?106N,X3F)0[6"I5/K[RHY?22CT).W.:'9GM'Y]
+M7*X`@#!X7M[#2`KI\6PS"JUU@U`&IAEE>2:1'5K5"8Q!GNSB1!:E`0[%5[&/
+MA)>G/YZ0L>R>^HUHR[U0#AAT]XD'99;OX046,':1<K7M;H\]=\I@F^Z@-'">
+M1#'?IYLR1L0E=L^9,1"IK&10.6C/&1P+KN%@WB+UZ6.%B>V86X"UHS`=4&]/
+M4_C"[/N4E4*^I9JC0\\@8Y-&*N3JP3``<1<JD'2PB9&'UCOYN+.,7'M6^=8U
+M[6I5KU$W_;X98*6QWZDUT5>9?@LTV,)O+=&3)^IHK(TGC96C!SR3\*67@5TR
+JN3)#S]Q,_^V&7GG1=1WTE(8Q&3#:.;._?,[/`//7<&/]`J4=PT.R`@``
 `
 end
Index: Tst/Short/ncfactor_inhomog_s.stat
===================================================================
--- Tst/Short/ncfactor_inhomog_s.stat	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_inhomog_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,12 +1,12 @@
-1 >> tst_memory_0 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:518968
-1 >> tst_memory_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2387968
-1 >> tst_memory_2 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2527232
-1 >> tst_timer :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:125
-2 >> tst_memory_0 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:637872
-2 >> tst_memory_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2387968
-2 >> tst_memory_2 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2527232
-2 >> tst_timer :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:113
-3 >> tst_memory_0 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:638000
-3 >> tst_memory_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2387968
-3 >> tst_memory_2 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:2527232
-3 >> tst_timer_1 :: 1355146179:3150:3-1-5:ix86-Linux:mamawutz:239
+1 >> tst_memory_0 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:500816
+1 >> tst_memory_1 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2363392
+1 >> tst_memory_2 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2502656
+1 >> tst_timer :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:132
+2 >> tst_memory_0 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:505272
+2 >> tst_memory_1 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2363392
+2 >> tst_memory_2 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2502656
+2 >> tst_timer :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:85
+3 >> tst_memory_0 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:505400
+3 >> tst_memory_1 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2363392
+3 >> tst_memory_2 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:2502656
+3 >> tst_timer_1 :: 1378409956:3170:3-1-7:ix86-Linux:mamawutz:219
Index: Tst/Short/ncfactor_inhomog_s.tst
===================================================================
--- Tst/Short/ncfactor_inhomog_s.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_inhomog_s.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -7,8 +7,12 @@
 setring(r);
 poly h = (x^3+x+1)*(x^4+y*x+2);
-facFirstWeyl(h);
+def l=facFirstWeyl(h);
+testNCfac (l, h);
+l;
 tst_status();
 poly h2 = (x^2*y+y)*(y+x*y);
-facFirstWeyl(h);
+l=facFirstWeyl(h2);
+testNCfac (l, h2);
+l;
 tst_status();
 tst_status(1); $
Index: Tst/Short/ncfactor_koepf_s.res.gz.uu
===================================================================
--- Tst/Short/ncfactor_koepf_s.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_koepf_s.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,12 +1,13 @@
 begin 644 ncfactor_koepf_s.res.gz
-M'XL("'?OQ5```VYC9F%C=&]R7VMO97!F7W,N<F5S`+5536O"0!"]YU<,TL/F
-M$R>)7Y7NH92"(#W40@^EANA&"0U1DBV-_[Z;F&2+IB@:3[OS9N>]W9UA9O;V
-M-'D!`*0PG3Q"AZ?<BL)%9ZS,2H]-08!>&(><J&,E7X%2B)<K?\DWB?>U";8K
-M+[7BX,=*N<_K0*>DK$X>\+H4ZGW/@B2,U_`*#]`U2&8PU6!;>;9/@04K2(0[
-M7GI^M`X6B4_00%6>&5!(`Y[3D.0//*2PW40[F(I8DLU=$U4MT]C<U@GJ`TT@
-MJL;TH=@X,FA$0=SY.4Q2_A[L(C(5A!_X>:\(7[7FGU;8=FVSPG9J.V.F74"N
-MA/1]4$\B=@GU)62B4M%>*6>>(R>0BN9*.?OX><VO<V\E9S:^KG>CW!VKY5>J
-M[-9S=_R7A=S@I)R@QP-%=G%E#EN1.[LR1ZW(G5V9V+V57G-IXNF^<EGV_JE-
-L/-U8+DM?<W&6+16[LMTC6L5(R:?%=TIDL\9RUI0.T=WA3OD%_4G)*:(&````
+M'XL("%[>*%(``VYC9F%C=&]R7VMO97!F7W,N<F5S`+552VO"0!"^YU<,TL/F
+MB;N)KXI[:$M!$`^UT$.I(;I10I<HR9;&?]]--%G1%,7':7>^>7R[,\/,Y/UE
+M.`8`3&$T?(*&2(7#HUFCKTUV&D)!@GX41P+I?2T_@5*(YXM@+E:)_[T*UPL_
+M=>+PUTE%("I'=Q>RM#R(ZU&H[BT'DBA>PAL,H&FAS&*ZQ=;*MDV!A0M(I#J>
+M^P%?AK,D0-C"NK+I4$A#D8=!R1[<I;!>\0V,I"_*IIZ-=2,SV)28")L=0R*Z
+MP<RNO+C*J;?EXP/Y\M<H2<5'N.%HI,+BILQ*F(KQL[0`Q"W(E;A2RW3ROO:)
+MOQXU&:X\\SP7,JED5LAN)6?,)@7D*<C<.K440G906T$VULJP5]+9Y]!)I`QS
+M)1TY_E[][[Q[T=FUOVO=J7;';/F32OGFM3O.94'7.4DGP^,#1G9Q9W9O0G=V
+M9_9N0G=V9^+FO?CJ6Q.?GBN75>^?WL2G!\MEY:MOSG*($K4AL.L46RA?,#\I
+4VAO$'MU7R(4`#]H?T+HH@=4&````
 `
 end
Index: Tst/Short/ncfactor_koepf_s.stat
===================================================================
--- Tst/Short/ncfactor_koepf_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
+++ Tst/Short/ncfactor_koepf_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -0,0 +1,8 @@
+1 >> tst_memory_0 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:389540
+1 >> tst_memory_1 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:2367488
+1 >> tst_memory_2 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:2456324
+1 >> tst_timer :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:180
+2 >> tst_memory_0 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:385184
+2 >> tst_memory_1 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:2367488
+2 >> tst_memory_2 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:2456324
+2 >> tst_timer_1 :: 1378410078:3170:3-1-7:ix86-Linux:mamawutz:182
Index: Tst/Short/ncfactor_koepf_s.tst
===================================================================
--- Tst/Short/ncfactor_koepf_s.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_koepf_s.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -7,5 +7,7 @@
 setring(r);
 poly L = (x^4-1)*x*d^2+(1+7*x^4)*d+8*x^3;
-facFirstWeyl(L);
+def l=facFirstWeyl(L);
+testNCfac (l, L);
+l;
 
 tst_status();
Index: Tst/Short/ncfactor_tsai_s.res.gz.uu
===================================================================
--- Tst/Short/ncfactor_tsai_s.res.gz.uu	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_tsai_s.res.gz.uu	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -1,11 +1,12 @@
 begin 644 ncfactor_tsai_s.res.gz
-M'XL("(?OQ5```VYC9F%C=&]R7W1S86E?<RYR97,`?9++:L,P$$7W_HHA="%7
-MEHD><1^A6I12"(0NFD(7I3%.Y`2#<8*M4N7O.Q)V'%KH1C.:<W7%:+1Z>UJ\
-M``#7L%P\PL1V-JVKS60>K7HB-&`QKYK*DG@>^0A:0[/=%5M[:'/;%57>I4WY
-MG7:VL.=SLG<<A+]LE89S/DNAK9H]O,(#3!/B$A,GYCAJ,PVFW$&+N-GF1;TO
-M-VU!>,+C47.CH2NMMR'M1?E6P_%0GV")9XE;9U1<N[5B$E<17YNU8$1A/F,J
-MU+G'(@2D0(%D8UVR+%"!6JQ<W'*G`9M\KMK.OI>GFBR1??#/^PC9$/TCA[TX
-M[YTRU$G#E)-4.F$8+I@8ECDF@U:.6L1(A*,J&BS^MV;>6O;6-'.">6OI*!=_
-FO6E`C`\M\>DX'\[3\`7\>+\Z,O;-^[_1`QP'7$4_Y/(Y[%("````
+M'XL("`O>*%(``VYC9F%C=&]R7W1S86E?<RYR97,`?9++:L,P$$7W_HHA="%7
+MEHD><1\A6K2E$`A9-(4N2F.<R`D&XP1+I<K?=^PFMFFA&\UHSM6U-:/5Z]-\
+M"0!<PV+^`"-G75P6F]$T6)V)T(#%M*@*1\)IT$30&JKM+MNZ0YTZFQ6IC:O\
+M*[8N<]TY>7:\"'_9*@U=/HFA+JH]O,`,QA'QD0DC<^RUB0:3[Z!&7&W3K-SG
+MFSHC/.)AK[G18'/7V)!Z4+[5<#R4)UC@6>+7"177?JV8Q%6$UV8M&%&83YAJ
+MZ[S!H@U(@0))^KID24L%:K$R^,K=SP^6,[SJ<U%;]Y:?2K+H%7R,7<RM6SZB
+M`D@900-YA[']Y31XYQ_W`=I=8C.7=B^ZO5>&>FF8\I)*+PS#!1/#$L]DJY6]
+M%C$2X:D*+A;_6[/&6IZM:>(%:ZREIUS\]:8M8OTE1#]2+N/VU30OXM.202.4
+/'@*<(%P%WT9(V`>%`@``
 `
 end
Index: Tst/Short/ncfactor_tsai_s.stat
===================================================================
--- Tst/Short/ncfactor_tsai_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
+++ Tst/Short/ncfactor_tsai_s.stat	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -0,0 +1,8 @@
+1 >> tst_memory_0 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:690208
+1 >> tst_memory_1 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:2387968
+1 >> tst_memory_2 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:2543616
+1 >> tst_timer :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:1622
+2 >> tst_memory_0 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:690064
+2 >> tst_memory_1 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:2387968
+2 >> tst_memory_2 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:2543616
+2 >> tst_timer_1 :: 1378409995:3170:3-1-7:ix86-Linux:mamawutz:1623
Index: Tst/Short/ncfactor_tsai_s.tst
===================================================================
--- Tst/Short/ncfactor_tsai_s.tst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ncfactor_tsai_s.tst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -7,5 +7,7 @@
 setring(r);
 poly L = (x^6+2*x^4-3*x^2)*d^2-(4*x^5-4*x^4-12*x^2-12*x)*d + (6*x^4-12*x^3-6*x^2-24*x-12);
-facFirstWeyl(L);
+def l=facFirstWeyl(L);
+testNCfac (l, L);
+l;
 
 tst_status();
Index: Tst/Short/ok_s.lst
===================================================================
--- Tst/Short/ok_s.lst	(revision 1f4135239e4f72e97d56ca7e4f953e9604cc1218)
+++ Tst/Short/ok_s.lst	(revision cbfc2fb55e23aeaf62542f3d3cff3c1c703cdc39)
@@ -209,6 +209,10 @@
 ; mpsr_s
 mres_s
+ncfactor_example2_7FromMaster_s
 ncfactor_example_all_procedures_s
 ncfactor_inhomog_s
+ncfactor_koepf_s
+ncfactor_koepfShift_s
+ncfactor_tsai_s
 normal
 parallel_s
