version 1.8, 2000/12/05 08:29:44 |
version 1.9, 2001/10/09 01:36:11 |
|
|
* 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/engine/distm.c,v 1.7 2000/12/05 06:59:16 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/distm.c,v 1.8 2000/12/05 08:29:44 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "inline.h" |
#include "inline.h" |
|
|
extern int (*cmpdl)(); |
extern int (*cmpdl)(); |
extern int do_weyl; |
extern int do_weyl; |
|
|
void comm_mulmd(); |
void ptomd(VL vl,int mod,VL dvl,P p,DP *pr) |
void weyl_mulmd(); |
|
void weyl_mulmdm(); |
|
void weyl_mulmmm(); |
|
|
|
void mulmdm_dup(); |
|
void comm_mulmd_dup(); |
|
void weyl_mulmd_dup(); |
|
void weyl_mulmdm_dup(); |
|
void weyl_mulmmm_dup(); |
|
void comm_mulmd_tab_destructive(); |
|
void adddl_dup(); |
|
void ptomd(vl,mod,dvl,p,pr) |
|
VL vl,dvl; |
|
int mod; |
|
P p; |
|
DP *pr; |
|
{ |
{ |
P t; |
P t; |
|
|
|
|
mptomd(vl,mod,dvl,t,pr); |
mptomd(vl,mod,dvl,t,pr); |
} |
} |
|
|
void mptomd(vl,mod,dvl,p,pr) |
void mptomd(VL vl,int mod,VL dvl,P p,DP *pr) |
VL vl,dvl; |
|
int mod; |
|
P p; |
|
DP *pr; |
|
{ |
{ |
int n,i; |
int n,i; |
VL tvl; |
VL tvl; |
|
|
} |
} |
} |
} |
|
|
void mdtop(vl,mod,dvl,p,pr) |
void mdtop(VL vl,int mod,VL dvl,DP p,P *pr) |
VL vl,dvl; |
|
int mod; |
|
DP p; |
|
P *pr; |
|
{ |
{ |
int n,i; |
int n,i; |
DL d; |
DL d; |
|
|
} |
} |
} |
} |
|
|
void addmd(vl,mod,p1,p2,pr) |
void addmd(VL vl,int mod,DP p1,DP p2,DP *pr) |
VL vl; |
|
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
int n; |
int n; |
MP m1,m2,mr,mr0; |
MP m1,m2,mr,mr0; |
|
|
} |
} |
} |
} |
|
|
void submd(vl,mod,p1,p2,pr) |
void submd(VL vl,int mod,DP p1,DP p2,DP *pr) |
VL vl; |
|
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
DP t; |
DP t; |
|
|
|
|
} |
} |
} |
} |
|
|
void chsgnmd(mod,p,pr) |
void chsgnmd(int mod,DP p,DP *pr) |
int mod; |
|
DP p,*pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
|
|
|
|
} |
} |
} |
} |
|
|
void mulmd(vl,mod,p1,p2,pr) |
void mulmd(VL vl,int mod,DP p1,DP p2,DP *pr) |
VL vl; |
|
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
if ( !do_weyl ) |
if ( !do_weyl ) |
comm_mulmd(vl,mod,p1,p2,pr); |
comm_mulmd(vl,mod,p1,p2,pr); |
|
|
weyl_mulmd(vl,mod,p1,p2,pr); |
weyl_mulmd(vl,mod,p1,p2,pr); |
} |
} |
|
|
void comm_mulmd(vl,mod,p1,p2,pr) |
void comm_mulmd(VL vl,int mod,DP p1,DP p2,DP *pr) |
VL vl; |
|
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
MP m; |
MP m; |
DP s,t,u; |
DP s,t,u; |
|
|
} |
} |
} |
} |
|
|
void weyl_mulmd(vl,mod,p1,p2,pr) |
void weyl_mulmd(VL vl,int mod,DP p1,DP p2,DP *pr) |
VL vl; |
|
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
MP m; |
MP m; |
DP s,t,u; |
DP s,t,u; |
int i,l,l1; |
int i,l; |
static MP *w; |
static MP *w; |
static int wlen; |
static int wlen; |
|
|
|
|
} |
} |
} |
} |
|
|
void mulmdm(vl,mod,p,m0,pr) |
void mulmdm(VL vl,int mod,DP p,MP m0,DP *pr) |
VL vl; |
|
int mod; |
|
DP p; |
|
MP m0; |
|
DP *pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
P c; |
P c; |
|
|
} |
} |
} |
} |
|
|
void weyl_mulmdm(vl,mod,p,m0,pr) |
void weyl_mulmdm(VL vl,int mod,DP p,MP m0,DP *pr) |
VL vl; |
|
int mod; |
|
DP p; |
|
MP m0; |
|
DP *pr; |
|
{ |
{ |
DP r,t,t1; |
DP r,t,t1; |
MP m; |
MP m; |
|
|
|
|
/* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */ |
/* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */ |
|
|
void weyl_mulmmm(vl,mod,m0,m1,n,pr) |
void weyl_mulmmm(VL vl,int mod,MP m0,MP m1,int n,DP *pr) |
VL vl; |
|
int mod; |
|
MP m0,m1; |
|
int n; |
|
DP *pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP mr,mr0; |
MQ mq; |
MQ mq; |
DP r,t,t1; |
DP r,t,t1; |
P c,c0,c1,cc; |
P c,c0,c1; |
DL d,d0,d1; |
DL d,d0,d1; |
int i,j,a,b,k,l,n2,s,min; |
int i,j,a,b,k,l,n2,s,min; |
static int *tab; |
static int *tab; |
|
|
} |
} |
} |
} |
|
|
void mulmdc(vl,mod,p,c,pr) |
void mulmdc(VL vl,int mod,DP p,P c,DP *pr) |
VL vl; |
|
int mod; |
|
DP p; |
|
P c; |
|
DP *pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
int t; |
int t; |
|
|
} |
} |
} |
} |
|
|
void divsmdc(vl,mod,p,c,pr) |
void divsmdc(VL vl,int mod,DP p,P c,DP *pr) |
VL vl; |
|
int mod; |
|
DP p; |
|
P c; |
|
DP *pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
|
|
|
|
} |
} |
} |
} |
|
|
void _dtop_mod(vl,dvl,p,pr) |
void _dtop_mod(VL vl,VL dvl,DP p,P *pr) |
VL vl,dvl; |
|
DP p; |
|
P *pr; |
|
{ |
{ |
int n,i; |
int n,i; |
DL d; |
DL d; |
|
|
} |
} |
} |
} |
|
|
void _dp_mod(p,mod,subst,rp) |
void _dp_mod(DP p,int mod,NODE subst,DP *rp) |
DP p; |
|
int mod; |
|
NODE subst; |
|
DP *rp; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
P t,s; |
P t,s; |
|
|
} |
} |
} |
} |
|
|
void _dp_monic(p,mod,rp) |
void _dp_monic(DP p,int mod,DP *rp) |
DP p; |
|
int mod; |
|
DP *rp; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
int c,c1; |
int c,c1; |
NODE tn; |
|
|
|
if ( !p ) |
if ( !p ) |
*rp = 0; |
*rp = 0; |
|
|
} |
} |
} |
} |
|
|
void _printdp(d) |
void _printdp(DP d) |
DP d; |
|
{ |
{ |
int n,i; |
int n,i; |
MP m; |
MP m; |
|
|
|
|
/* merge p1 and p2 into pr */ |
/* merge p1 and p2 into pr */ |
|
|
void addmd_destructive(mod,p1,p2,pr) |
void addmd_destructive(int mod,DP p1,DP p2,DP *pr) |
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
int n; |
int n; |
MP m1,m2,mr,mr0,s; |
MP m1,m2,mr,mr0,s; |
|
|
} |
} |
} |
} |
|
|
void mulmd_dup(mod,p1,p2,pr) |
void mulmd_dup(int mod,DP p1,DP p2,DP *pr) |
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
if ( !do_weyl ) |
if ( !do_weyl ) |
comm_mulmd_dup(mod,p1,p2,pr); |
comm_mulmd_dup(mod,p1,p2,pr); |
|
|
weyl_mulmd_dup(mod,p1,p2,pr); |
weyl_mulmd_dup(mod,p1,p2,pr); |
} |
} |
|
|
void comm_mulmd_dup(mod,p1,p2,pr) |
void comm_mulmd_dup(int mod,DP p1,DP p2,DP *pr) |
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
MP m; |
MP m; |
DP s,t,u; |
DP s,t,u; |
|
|
} |
} |
} |
} |
|
|
void weyl_mulmd_dup(mod,p1,p2,pr) |
void weyl_mulmd_dup(int mod,DP p1,DP p2,DP *pr) |
int mod; |
|
DP p1,p2,*pr; |
|
{ |
{ |
MP m; |
MP m; |
DP s,t,u; |
DP s,t,u; |
int i,l,l1; |
int i,l; |
static MP *w; |
static MP *w; |
static int wlen; |
static int wlen; |
|
|
|
|
} |
} |
} |
} |
|
|
void mulmdm_dup(mod,p,m0,pr) |
void mulmdm_dup(int mod,DP p,MP m0,DP *pr) |
int mod; |
|
DP p; |
|
MP m0; |
|
DP *pr; |
|
{ |
{ |
MP m,mr,mr0; |
MP m,mr,mr0; |
DL d,dt,dm; |
DL d,dt,dm; |
int c,n,r,i; |
int c,n,i; |
int *pt,*p1,*p2; |
int *pt,*p1,*p2; |
|
|
if ( !p ) |
if ( !p ) |
|
|
} |
} |
} |
} |
|
|
void weyl_mulmdm_dup(mod,m0,p,pr) |
void weyl_mulmdm_dup(int mod,MP m0,DP p,DP *pr) |
int mod; |
|
MP m0; |
|
DP p; |
|
DP *pr; |
|
{ |
{ |
DP r,t,t1; |
DP r,t,t1; |
MP m; |
MP m; |
|
|
|
|
/* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */ |
/* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */ |
|
|
void weyl_mulmmm_dup(mod,m0,m1,n,rtab,rtablen) |
void weyl_mulmmm_dup(int mod,MP m0,MP m1,int n,struct cdlm *rtab,int rtablen) |
int mod; |
|
MP m0,m1; |
|
int n; |
|
struct cdlm *rtab; |
|
int rtablen; |
|
{ |
{ |
MP m,mr,mr0; |
int c,c0,c1; |
DP r,t,t1; |
|
int c,c0,c1,cc; |
|
DL d,d0,d1,dt; |
DL d,d0,d1,dt; |
int i,j,a,b,k,l,n2,s,min,h,curlen; |
int i,j,a,b,k,l,n2,s,min,curlen; |
struct cdlm *p; |
struct cdlm *p; |
static int *ctab; |
static int *ctab; |
static struct cdlm *tab; |
static struct cdlm *tab; |
|
|
} |
} |
} |
} |
|
|
void comm_mulmd_tab_destructive(mod,nv,t,n,t1,n1) |
void comm_mulmd_tab_destructive(int mod,int nv,struct cdlm *t,int n,struct cdlm *t1,int n1) |
int mod; |
|
int nv; |
|
struct cdlm *t; |
|
int n; |
|
struct cdlm *t1; |
|
int n1; |
|
{ |
{ |
int i,j; |
int i,j; |
struct cdlm *p; |
struct cdlm *p; |
|
|
} |
} |
} |
} |
|
|
void adddl_dup(n,d1,d2,dr) |
void adddl_dup(int n,DL d1,DL d2,DL *dr) |
int n; |
|
DL d1,d2; |
|
DL *dr; |
|
{ |
{ |
DL dt; |
DL dt; |
int i; |
int i; |