[BACK]Return to grcrt.rr CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / testing / noro

Diff for /OpenXM/src/asir-contrib/testing/noro/grcrt.rr between version 1.1 and 1.2

version 1.1, 2015/03/16 06:55:15 version 1.2, 2016/09/12 03:37:05
Line 416  def iso_eq_mod(Mod,UseNZ)
Line 416  def iso_eq_mod(Mod,UseNZ)
 {  {
   B = GB_B; V = GB_V;    B = GB_B; V = GB_V;
   
   /* V = [c1,bb,aa,b,a], W = [1,3,2,3,1] */    /* V = [c1,bb,aa,b,a], W = [1,3,2,3,2,1] */
   W = [1,3,2,3,1];    W = [1,3,2,3,2,1];
   dp_set_weight(W);    dp_set_weight(W);
   G1 = nd_f4(B,V,Mod,[[0,1],[0,4]]);    G1 = nd_f4(B,V,Mod,[[0,1],[0,4]]);
   V1 = cdr(V);    V1 = cdr(V);
Line 445  def iso_eq_mod(Mod,UseNZ)
Line 445  def iso_eq_mod(Mod,UseNZ)
   
 def iso_eq_gentrace(B,V,Mod)  def iso_eq_gentrace(B,V,Mod)
 {  {
   W = [1,3,2,3,1];    W = [1,3,2,3,2,1];
   
   dp_set_weight(W);    dp_set_weight(W);
   N1 = nd_f4(B,V,Mod,[[0,1],[0,4]]|dp=1,nora=1,gentrace=1);    N1 = nd_f4(B,V,Mod,[[0,1],[0,4]]|dp=1,nora=1,gentrace=1);
Line 469  def iso_eq_gentrace(B,V,Mod)
Line 469  def iso_eq_gentrace(B,V,Mod)
 def iso_eq_mod(Mod)  def iso_eq_mod(Mod)
 {  {
   V = [c1,bb,aa,b,a];    V = [c1,bb,aa,b,a];
   W = [1,3,2,3,1];    W = [1,3,2,3,2,1];
   
   dp_set_weight(W);    dp_set_weight(W);
   if ( GB_N1 )    if ( GB_N1 )
Line 578  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
Line 578  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
 def iso_c1eq_mod(Mod)  def iso_c1eq_mod(Mod)
 {  {
   V = [c1,bb,aa,b,a];    V = [c1,bb,aa,b,a];
   W = [1,3,2,3,1];    W = [1,3,2,3,2,1];
   
   dp_set_weight(W);    dp_set_weight(W);
   if ( GB_N1 )    if ( GB_N1 )
Line 610  def iso_c1eq_d2(L)
Line 610  def iso_c1eq_d2(L)
         NProc = length(Proc);          NProc = length(Proc);
         CRTime = 0; IRTime = 0;          CRTime = 0; IRTime = 0;
         /* gentrace */          /* gentrace */
     W = [1,3,2,3,1];      W = [1,3,2,3,2,1];
     dp_set_weight(W);      dp_set_weight(W);
     N1 = nd_f4(B,V,lprime(0),[[0,1],[0,4]]|dp=1,nora=1,gentrace=1);      N1 = nd_f4(B,V,lprime(0),[[0,1],[0,4]]|dp=1,nora=1,gentrace=1);
         map(ox_rpc,Proc,"noro_grcrt.store_bvn3",B,V,N1,0,0);          map(ox_rpc,Proc,"noro_grcrt.store_bvn3",B,V,N1,0,0);
Line 657  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
Line 657  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
   
 def iso_eq_gentrace2(B,V,Mod)  def iso_eq_gentrace2(B,V,Mod)
 {  {
   Wt = [1,1,3,2,3,1];    Wt = [1,1,3,2,3,2,1];
   Vt = cons(t,V);    Vt = cons(t,V);
   dp_set_weight(Wt);    dp_set_weight(Wt);
   D = res(x,x^3+a*x+b,3*x^2+a);    D = res(x,x^3+a*x+b,3*x^2+a);
Line 684  def iso_eq_mod2(Mod)
Line 684  def iso_eq_mod2(Mod)
 {  {
   V = [c1,bb,aa,b,a];    V = [c1,bb,aa,b,a];
   Vt = cons(t,V);    Vt = cons(t,V);
   Wt = [1,1,3,2,3,1];    Wt = [1,1,3,2,3,2,1];
   dp_set_weight(Wt);    dp_set_weight(Wt);
   D = res(x,x^3+a*x+b,3*x^2+a);    D = res(x,x^3+a*x+b,3*x^2+a);
   if ( GB_N1 )    if ( GB_N1 )
Line 781  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
Line 781  T1 = time(); IRTime += (T1[0]-T0[0])+(T1[1]-T0[1]);
   
 def iso_sat_gentrace(B,V,Mod)  def iso_sat_gentrace(B,V,Mod)
 {  {
   Wt = [1,1,3,2,3,1];    Wt = [1,1,3,2,3,2,1];
   Vt = cons(t,V);    Vt = cons(t,V);
   dp_set_weight(Wt);    dp_set_weight(Wt);
   D = res(x,x^3+a*x+b,3*x^2+a);    D = res(x,x^3+a*x+b,3*x^2+a);
Line 793  def iso_sat_mod(Mod)
Line 793  def iso_sat_mod(Mod)
 {  {
   V = [c1,bb,aa,b,a];    V = [c1,bb,aa,b,a];
   Vt = cons(t,V);    Vt = cons(t,V);
   Wt = [1,1,3,2,3,1];    Wt = [1,1,3,2,3,2,1];
   dp_set_weight(Wt);    dp_set_weight(Wt);
   D = res(x,x^3+a*x+b,3*x^2+a);    D = res(x,x^3+a*x+b,3*x^2+a);
   if ( GB_N1 )    if ( GB_N1 )
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>