Return to module_syz.rr CVS log | Up to [local] / OpenXM / src / asir-contrib / testing / noro |
version 1.1, 2009/10/14 07:00:57 | version 1.2, 2010/09/02 14:53:26 | ||
---|---|---|---|
|
|
||
L = module_syz(car(R),V,H,O); | L = module_syz(car(R),V,H,O); | ||
if ( L[0] == [] ) return R; | if ( L[0] == [] ) return R; | ||
S = simplify_syz(L[0],R[0],H); | S = simplify_syz(L[0],R[0],H); | ||
if ( S == [[],[]] ) return cdr(R); | |||
R = append(S,cdr(R)); | R = append(S,cdr(R)); | ||
if ( R[0] == [] ) return cdr(R); | if ( R[0] == [] ) return cdr(R); | ||
} | } |