| version 1.11, 2016/11/13 02:09:36 |
version 1.12, 2016/11/15 01:56:22 |
|
|
| /* $OpenXM: OpenXM/src/asir-contrib/testing/noro/new_pd.rr,v 1.10 2014/09/19 00:48:50 ohara Exp $ */ |
/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/new_pd.rr,v 1.11 2016/11/13 02:09:36 noro Exp $ */ |
| import("gr")$ |
import("gr")$ |
| module noro_pd$ |
module noro_pd$ |
| static GBCheck,F4,EProcs,Procs,SatHomo,GBRat,SuccSat,RepColon$ |
static GBCheck,F4,EProcs,Procs,SatHomo,GBRat,SuccSat,RepColon$ |
| Line 2272 def satind(G,F,V) |
|
| Line 2272 def satind(G,F,V) |
|
| return [reverse(R),D1]; |
return [reverse(R),D1]; |
| } |
} |
| |
|
| |
/* homogeneous case only */ |
| |
|
| def sat_ind_var(G,F,V) |
def sat_ind_var(G,F,V) |
| { |
{ |
| if ( type(Ord=getopt(ord)) == -1 ) Ord = 0; |
if ( type(Ord=getopt(ord)) == -1 ) Ord = 0; |
| Line 2294 def sat_ind(G,F,V) |
|
| Line 2296 def sat_ind(G,F,V) |
|
| { |
{ |
| if ( type(Ord=getopt(ord)) == -1 ) Ord = 0; |
if ( type(Ord=getopt(ord)) == -1 ) Ord = 0; |
| if ( type(Mod=getopt(mod)) == -1 ) Mod = 0; |
if ( type(Mod=getopt(mod)) == -1 ) Mod = 0; |
| if ( F == var(F) ) |
|
| return sat_ind_var(G,F,V|ord=Ord,mod=Mod); |
|
| NV = ttttt; |
NV = ttttt; |
| F = gen_nf(F,G,V,Ord,Mod); |
F = gen_nf(F,G,V,Ord,Mod); |
| for ( I = 0, GI = G; ; I++ ) { |
for ( I = 0, GI = G; ; I++ ) { |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to new_pd.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