![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to module_syz.rr CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-contrib / testing / noro|
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); | ||
| } | } |