OpenXM/src/asir-contrib/testing/noro/pd.rr - diff

Return to pd.rr CVS log

Up to [local] / OpenXM / src / asir-contrib / testing / noro

version 1.9, 2010/06/10 04:55:50

version 1.11, 2010/08/20 04:21:18

Line 1

/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/pd.rr,v 1.10 2010/06/19 08:32:37 noro Exp $ */

import("gr")$

module noro_pd$

static GBCheck,F4,Procs,SatHomo$

Line 439 def pseudo_dec(G,L,V,Ord)

Line 440 def pseudo_dec(G,L,V,Ord)

for ( T = PI; T != []; T = cdr(T) )

if ( gen_nf(car(T),L0[I],V,Ord,Mod) ) break;

if ( T == [] ) error("separator : cannot happen");

SI = satind(G,car(T),V|mod=Mod);

SI = sat_ind(G,car(T),V|mod=Mod);

QI = SI[0];

S[I] = car(T)^SI[1];

PV = L[I][1];

Line 453 def pseudo_dec(G,L,V,Ord)

Line 454 def pseudo_dec(G,L,V,Ord)

#endif

LCFI = lcfactor(GI,V0,Ord,Mod);

for ( F = 1, T = LCFI, Gt = QI; T != []; T = cdr(T) ) {

St = satind(Gt,T[0],V|mod=Mod);

St = sat_ind(Gt,T[0],V|mod=Mod);

Gt = St[0]; F *= T[0]^St[1];

}

Q[I] = [Gt,L0[I]];

Line 509 def prima_dec(B,V)

Line 510 def prima_dec(B,V)

L = zprimacomp(G,V0|mod=Mod);

F = 1;

for ( T = LCF, G2 = G; T != []; T = cdr(T) ) {

S = satind(G2,T[0],V1|mod=Mod);

S = sat_ind(G2,T[0],V1|mod=Mod);

G2 = S[0]; F *= T[0]^S[1];

}

for ( T = L, QL = []; T != []; T = cdr(T) )