version 1.25, 2007/01/18 08:09:02 |
version 1.27, 2018/09/06 05:09:58 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.24 2006/08/09 02:43:38 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.26 2007/07/17 08:17:42 noro Exp $ |
*/ |
*/ |
|
|
module gr $ |
module gr $ |
Line 64 extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
|
Line 64 extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
|
|
|
def gr(B,V,O) |
def gr(B,V,O) |
{ |
{ |
|
Ord=dp_ord(); |
G = dp_gr_main(B,V,0,1,O); |
G = dp_gr_main(B,V,0,1,O); |
|
dp_ord(Ord); |
return G; |
return G; |
} |
} |
|
|
def hgr(B,V,O) |
def hgr(B,V,O) |
{ |
{ |
|
Ord=dp_ord(); |
G = dp_gr_main(B,V,1,1,O); |
G = dp_gr_main(B,V,1,1,O); |
|
dp_ord(Ord); |
return G; |
return G; |
} |
} |
|
|
def gr_mod(B,V,O,M) |
def gr_mod(B,V,O,M) |
{ |
{ |
|
Ord=dp_ord(); |
G = dp_gr_mod_main(B,V,0,M,O); |
G = dp_gr_mod_main(B,V,0,M,O); |
|
dp_ord(Ord); |
return G; |
return G; |
} |
} |
|
|
def hgr_mod(B,V,O,M) |
def hgr_mod(B,V,O,M) |
{ |
{ |
|
Ord=dp_ord(); |
G = dp_gr_mod_main(B,V,1,M,O); |
G = dp_gr_mod_main(B,V,1,M,O); |
|
dp_ord(Ord); |
return G; |
return G; |
} |
} |
|
|
Line 1123 def p_nf(P,B,V,O) { |
|
Line 1131 def p_nf(P,B,V,O) { |
|
N = length(B); DB = newvect(N); |
N = length(B); DB = newvect(N); |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
DB[I] = dp_ptod(B[I],V); |
DB[I] = dp_ptod(B[I],V); |
IL = cons(I,IL); |
if ( DB[I] ) IL = cons(I,IL); |
} |
} |
return dp_dtop(dp_nf(IL,DP,DB,1),V); |
return dp_dtop(dp_nf(IL,DP,DB,1),V); |
} |
} |
Line 1133 def p_true_nf(P,B,V,O) { |
|
Line 1141 def p_true_nf(P,B,V,O) { |
|
N = length(B); DB = newvect(N); |
N = length(B); DB = newvect(N); |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
for ( I = N-1, IL = []; I >= 0; I-- ) { |
DB[I] = dp_ptod(B[I],V); |
DB[I] = dp_ptod(B[I],V); |
IL = cons(I,IL); |
if ( DB[I] ) IL = cons(I,IL); |
} |
} |
L = dp_true_nf(IL,DP,DB,1); |
L = dp_true_nf(IL,DP,DB,1); |
return [dp_dtop(L[0],V),L[1]]; |
return [dp_dtop(L[0],V),L[1]]; |