version 1.24, 2006/08/09 02:43:38 |
version 1.26, 2007/07/17 08:17:42 |
|
|
* 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.23 2006/07/24 07:31:17 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.25 2007/01/18 08:09:02 noro Exp $ |
*/ |
*/ |
|
|
module gr $ |
module gr $ |
Line 153 def tolex(G0,V,O,W) |
|
Line 153 def tolex(G0,V,O,W) |
|
TL = cons(dp_dtop(dp_vtoe(D),W),TL); |
TL = cons(dp_dtop(dp_vtoe(D),W),TL); |
while ( nextm(D,DL,N) ); |
while ( nextm(D,DL,N) ); |
} else { |
} else { |
GM = dp_gr_mod_main(G0,W,0,M,2); |
HVN = "h"; |
|
WN = map(rtostr,W); |
|
while ( member(HVN,WN) ) HVN += "h"; |
|
HV = strtov(HVN); |
|
G0H = map(homogenize,G0,W,HV); |
|
GMH = nd_gr(G0H,append(W,[HV]),M,1); |
|
GMH=map(subst,GMH,HV,1); |
|
GM = nd_gr_postproc(GMH,W,M,2,0); |
dp_ord(2); |
dp_ord(2); |
for ( T = GM, S = 0; T != []; T = cdr(T) ) |
for ( T = GM, S = 0; T != []; T = cdr(T) ) |
for ( D = dp_ptod(car(T),V); D; D = dp_rest(D) ) |
for ( D = dp_ptod(car(T),V); D; D = dp_rest(D) ) |
Line 197 def tolex_gsl(G0,V,O,W) |
|
Line 204 def tolex_gsl(G0,V,O,W) |
|
while ( nextm(D,DL,N) ); |
while ( nextm(D,DL,N) ); |
L = npos_check(DL); NPOSV = L[0]; DIM = L[1]; |
L = npos_check(DL); NPOSV = L[0]; DIM = L[1]; |
if ( NPOSV >= 0 ) { |
if ( NPOSV >= 0 ) { |
|
if ( dp_gr_print() ) print("shape base"); |
V0 = W[NPOSV]; |
V0 = W[NPOSV]; |
T0 = time()[0]; NFL = gennf(G0,TL,V,O,V0,1); |
T0 = time()[0]; NFL = gennf(G0,TL,V,O,V0,1); |
TNF += time()[0] - T0; |
TNF += time()[0] - T0; |
Line 1115 def p_nf(P,B,V,O) { |
|
Line 1123 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 1125 def p_true_nf(P,B,V,O) { |
|
Line 1133 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]]; |