version 1.124, 2005/02/09 07:58:43 |
version 1.126, 2005/02/09 14:30:47 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.123 2005/01/23 14:03:48 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.125 2005/02/09 08:32:32 noro Exp $ */ |
|
|
#include "nd.h" |
#include "nd.h" |
|
|
Line 3536 ND nd_dup(ND p) |
|
Line 3536 ND nd_dup(ND p) |
|
void ndv_mod(int mod,NDV p) |
void ndv_mod(int mod,NDV p) |
{ |
{ |
NMV t,d; |
NMV t,d; |
int r; |
int r,s,u; |
int i,len,dlen; |
int i,len,dlen; |
Obj gfs; |
Obj gfs; |
|
|
Line 3558 void ndv_mod(int mod,NDV p) |
|
Line 3558 void ndv_mod(int mod,NDV p) |
|
if ( r ) { |
if ( r ) { |
if ( SGN(CQ(t)) < 0 ) |
if ( SGN(CQ(t)) < 0 ) |
r = mod-r; |
r = mod-r; |
|
if ( DN(CQ(t)) ) { |
|
s = rem(DN(CQ(t)),mod); |
|
if ( !s ) |
|
error("ndv_mod : division by 0"); |
|
s = invm(s,mod); |
|
DMAR(r,s,0,mod,u); r = u; |
|
} |
CM(d) = r; |
CM(d) = r; |
ndl_copy(DL(t),DL(d)); |
ndl_copy(DL(t),DL(d)); |
NMV_ADV(d); |
NMV_ADV(d); |
Line 5090 void nd_det(int mod,MAT f,P *rp) |
|
Line 5097 void nd_det(int mod,MAT f,P *rp) |
|
int n,i,j,max,e,nvar,sgn,k0,l0,len0,len,k,l,a; |
int n,i,j,max,e,nvar,sgn,k0,l0,len0,len,k,l,a; |
pointer **m; |
pointer **m; |
Q mone; |
Q mone; |
|
P **w; |
|
P mp,r; |
NDV **dm; |
NDV **dm; |
NDV *t,*mi,*mj; |
NDV *t,*mi,*mj; |
NDV d,s,mij,mjj; |
NDV d,s,mij,mjj; |
Line 5098 void nd_det(int mod,MAT f,P *rp) |
|
Line 5107 void nd_det(int mod,MAT f,P *rp) |
|
UINT *bound; |
UINT *bound; |
PGeoBucket bucket; |
PGeoBucket bucket; |
struct order_spec *ord; |
struct order_spec *ord; |
|
Q dq,dt,ds; |
|
N gn,qn,dn0,nm,dn; |
|
|
create_order_spec(0,0,&ord); |
create_order_spec(0,0,&ord); |
nd_init_ord(ord); |
nd_init_ord(ord); |
Line 5105 void nd_det(int mod,MAT f,P *rp) |
|
Line 5116 void nd_det(int mod,MAT f,P *rp) |
|
if ( f->row != f->col ) |
if ( f->row != f->col ) |
error("nd_det : non-square matrix"); |
error("nd_det : non-square matrix"); |
n = f->row; |
n = f->row; |
for ( nvar = 0, tv = fv; tv; tv = NEXT(tv), nvar++ ); |
|
m = f->body; |
m = f->body; |
|
for ( nvar = 0, tv = fv; tv; tv = NEXT(tv), nvar++ ); |
|
|
|
if ( !nvar ) { |
|
if ( !mod ) |
|
detp(CO,(P **)m,n,rp); |
|
else { |
|
w = (P **)almat_pointer(n,n); |
|
for ( i = 0; i < n; i++ ) |
|
for ( j = 0; j < n; j++ ) |
|
ptomp(mod,(P)m[i][j],&w[i][j]); |
|
detmp(CO,mod,w,n,&mp); |
|
mptop(mp,rp); |
|
} |
|
return; |
|
} |
|
|
|
if ( !mod ) { |
|
w = (P **)almat_pointer(n,n); |
|
dq = ONE; |
|
for ( i = 0; i < n; i++ ) { |
|
dn0 = ONEN; |
|
for ( j = 0; j < n; j++ ) { |
|
if ( !m[i][j] ) continue; |
|
lgp(m[i][j],&nm,&dn); |
|
gcdn(dn0,dn,&gn); divsn(dn0,gn,&qn); muln(qn,dn,&dn0); |
|
} |
|
if ( !UNIN(dn0) ) { |
|
NTOQ(dn0,1,ds); |
|
for ( j = 0; j < n; j++ ) |
|
mulp(CO,(P)m[i][j],(P)ds,&w[i][j]); |
|
mulq(dq,ds,&dt); dq = dt; |
|
} else |
|
for ( j = 0; j < n; j++ ) |
|
w[i][j] = (P)m[i][j]; |
|
} |
|
m = (pointer **)w; |
|
} |
|
|
for ( i = 0, max = 0; i < n; i++ ) |
for ( i = 0, max = 0; i < n; i++ ) |
for ( j = 0; j < n; j++ ) |
for ( j = 0; j < n; j++ ) |
for ( tv = fv; tv; tv = NEXT(tv) ) { |
for ( tv = fv; tv; tv = NEXT(tv) ) { |
Line 5125 void nd_det(int mod,MAT f,P *rp) |
|
Line 5173 void nd_det(int mod,MAT f,P *rp) |
|
if ( mod ) ndv_mod(mod,d); |
if ( mod ) ndv_mod(mod,d); |
chsgnq(ONE,&mone); |
chsgnq(ONE,&mone); |
for ( j = 0, sgn = 1; j < n; j++ ) { |
for ( j = 0, sgn = 1; j < n; j++ ) { |
if ( DP_Print ) fprintf(stderr,"j=%d\n",j); |
if ( DP_Print ) fprintf(stderr,".",j); |
for ( i = j; i < n && !dm[i][j]; i++ ); |
for ( i = j; i < n && !dm[i][j]; i++ ); |
if ( i == n ) { |
if ( i == n ) { |
*rp = 0; |
*rp = 0; |
Line 5182 void nd_det(int mod,MAT f,P *rp) |
|
Line 5230 void nd_det(int mod,MAT f,P *rp) |
|
} |
} |
d = mjj; |
d = mjj; |
} |
} |
|
if ( DP_Print ) fprintf(stderr,"\n",k); |
if ( sgn < 0 ) |
if ( sgn < 0 ) |
if ( mod ) |
if ( mod ) |
ndv_mul_c(mod,d,mod-1); |
ndv_mul_c(mod,d,mod-1); |
else |
else |
ndv_mul_c_q(d,mone); |
ndv_mul_c_q(d,mone); |
*rp = ndvtop(mod,CO,fv,d); |
r = ndvtop(mod,CO,fv,d); |
|
if ( !mod && !UNIQ(dq) ) |
|
divsp(CO,r,(P)dq,rp); |
|
else |
|
*rp = r; |
} |
} |
|
|
ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |
ND ndv_mul_nmv_trunc(int mod,NMV m0,NDV p,UINT *d) |