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 ) |