version 1.7, 2000/09/07 23:59:55 |
version 1.8, 2001/04/09 02:42:29 |
|
|
* 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.6 2000/08/22 05:04:22 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.7 2000/09/07 23:59:55 noro Exp $ |
*/ |
*/ |
extern INIT_COUNT,ITOR_FAIL$ |
extern INIT_COUNT,ITOR_FAIL$ |
extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
extern REMOTE_MATRIX,REMOTE_NF,REMOTE_VARS$ |
Line 935 def dp_terms(D,V) |
|
Line 935 def dp_terms(D,V) |
|
|
|
def gb_comp(A,B) |
def gb_comp(A,B) |
{ |
{ |
for ( T = A; T != []; T = cdr(T) ) { |
LA = length(A); |
for ( S = B, M = car(T), N = -M; S != []; S = cdr(S) ) |
LB = length(B); |
if ( car(S) == M || car(S) == N ) |
if ( LA != LB ) |
break; |
return 0; |
if ( S == [] ) |
A1 = qsort(newvect(LA,A)); |
|
B1 = qsort(newvect(LB,B)); |
|
for ( I = 0; I < LA; I++ ) |
|
if ( A1[I] != B1[I] && A1[I] != -B1[I] ) |
break; |
break; |
} |
return I == LA ? 1 : 0; |
return T == [] ? 1 : 0; |
|
} |
} |
|
|
def zero_dim(G,V,O) { |
def zero_dim(G,V,O) { |