version 1.8, 2001/08/06 01:48:33 |
version 1.13, 2015/08/04 06:20:45 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* 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/io/cio.c,v 1.7 2001/08/03 08:50:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/cio.c,v 1.12 2003/04/08 22:29:00 ohara Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
#include "ox.h" |
#include "ox.h" |
|
#if !defined(VISUAL) |
|
#include <ctype.h> |
|
#endif |
|
|
#define ISIZ sizeof(int) |
#define ISIZ sizeof(int) |
|
|
int write_cmo_zz(FILE *,int,N); |
int valid_as_cmo(Obj obj) |
int read_cmo_zz(FILE *,int *,N *); |
|
|
|
int valid_as_cmo(obj) |
|
Obj obj; |
|
{ |
{ |
NODE m; |
NODE m; |
|
int nid; |
|
|
if ( !obj ) |
if ( !obj ) |
return 1; |
return 1; |
|
|
case O_ERR: case O_USINT: case O_BYTEARRAY: case O_VOID: |
case O_ERR: case O_USINT: case O_BYTEARRAY: case O_VOID: |
return 1; |
return 1; |
case O_N: |
case O_N: |
if ( NID((Num)obj) == N_Q || NID((Num)obj) == N_R ) |
nid = NID((Num)obj); |
|
if ( nid == N_Q || nid == N_R || nid == N_B ) |
return 1; |
return 1; |
else |
else |
return 0; |
return 0; |
|
|
} |
} |
} |
} |
|
|
write_cmo(s,obj) |
void write_cmo(FILE *s,Obj obj) |
FILE *s; |
|
Obj obj; |
|
{ |
{ |
int r; |
int r; |
char errmsg[BUFSIZ]; |
char errmsg[BUFSIZ]; |
|
LIST l; |
|
|
if ( !obj ) { |
if ( !obj ) { |
r = CMO_NULL; write_int(s,&r); |
r = CMO_NULL; write_int(s,&r); |
|
|
case N_R: |
case N_R: |
write_cmo_real(s,(Real)obj); |
write_cmo_real(s,(Real)obj); |
break; |
break; |
|
case N_B: |
|
write_cmo_bf(s,(BF)obj); |
|
break; |
default: |
default: |
sprintf(errmsg, "write_cmo : number id=%d not implemented.", |
sprintf(errmsg, "write_cmo : number id=%d not implemented.", |
NID((Num)obj)); |
NID((Num)obj)); |
|
|
} |
} |
break; |
break; |
case O_P: |
case O_P: |
write_cmo_p(s,obj); |
write_cmo_p(s,(P)obj); |
break; |
break; |
case O_R: |
case O_R: |
write_cmo_r(s,obj); |
write_cmo_r(s,(R)obj); |
break; |
break; |
case O_DP: |
case O_DP: |
write_cmo_dp(s,obj); |
write_cmo_dp(s,(DP)obj); |
break; |
break; |
case O_LIST: |
case O_LIST: |
write_cmo_list(s,obj); |
write_cmo_list(s,(LIST)obj); |
break; |
break; |
case O_STR: |
case O_STR: |
write_cmo_string(s,obj); |
write_cmo_string(s,(STRING)obj); |
break; |
break; |
case O_USINT: |
case O_USINT: |
write_cmo_uint(s,obj); |
write_cmo_uint(s,(USINT)obj); |
break; |
break; |
case O_MATHCAP: |
case O_MATHCAP: |
write_cmo_mathcap(s,obj); |
write_cmo_mathcap(s,(MATHCAP)obj); |
break; |
break; |
case O_ERR: |
case O_ERR: |
write_cmo_error(s,obj); |
write_cmo_error(s,(ERR)obj); |
break; |
break; |
case O_BYTEARRAY: |
case O_BYTEARRAY: |
write_cmo_bytearray(s,obj); |
write_cmo_bytearray(s,(BYTEARRAY)obj); |
break; |
break; |
case O_VOID: |
case O_VOID: |
r = ((USINT)obj)->body; write_int(s,&r); |
r = ((USINT)obj)->body; write_int(s,&r); |
break; |
break; |
case O_QUOTE: |
case O_QUOTE: |
write_cmo_tree(s,(FNODE)(((QUOTE)obj)->body)); |
fnodetotree(BDY((QUOTE)obj),&l); |
|
write_cmo_tree(s,l); |
break; |
break; |
default: |
default: |
sprintf(errmsg, "write_cmo : id=%d not implemented.",OID(obj)); |
sprintf(errmsg, "write_cmo : id=%d not implemented.",OID(obj)); |
|
|
} |
} |
} |
} |
|
|
int cmo_tag(obj,tag) |
int cmo_tag(Obj obj,int *tag) |
Obj obj; |
|
int *tag; |
|
{ |
{ |
if ( !valid_as_cmo(obj) ) |
if ( !valid_as_cmo(obj) ) |
return 0; |
return 0; |
|
|
*tag = DN((Q)obj) ? CMO_QQ : CMO_ZZ; break; |
*tag = DN((Q)obj) ? CMO_QQ : CMO_ZZ; break; |
case N_R: |
case N_R: |
*tag = CMO_IEEE_DOUBLE_FLOAT; break; |
*tag = CMO_IEEE_DOUBLE_FLOAT; break; |
|
case N_B: |
|
*tag = CMO_BIGFLOAT; break; |
default: |
default: |
return 0; |
return 0; |
} |
} |
|
|
return 1; |
return 1; |
} |
} |
|
|
write_cmo_mathcap(s,mc) |
void write_cmo_mathcap(FILE *s,MATHCAP mc) |
FILE *s; |
|
MATHCAP mc; |
|
{ |
{ |
unsigned int r; |
unsigned int r; |
|
|
r = CMO_MATHCAP; write_int(s,&r); |
r = CMO_MATHCAP; write_int(s,&r); |
write_cmo(s,BDY(mc)); |
write_cmo(s,(Obj)BDY(mc)); |
} |
} |
|
|
write_cmo_uint(s,ui) |
void write_cmo_uint(FILE *s,USINT ui) |
FILE *s; |
|
USINT ui; |
|
{ |
{ |
unsigned int r; |
unsigned int r; |
|
|
|
|
r = ui->body; write_int(s,&r); |
r = ui->body; write_int(s,&r); |
} |
} |
|
|
write_cmo_q(s,q) |
void write_cmo_q(FILE *s,Q q) |
FILE *s; |
|
Q q; |
|
{ |
{ |
int r; |
int r; |
|
|
|
|
} |
} |
} |
} |
|
|
write_cmo_real(s,real) |
void write_cmo_real(FILE *s,Real real) |
FILE *s; |
|
Real real; |
|
{ |
{ |
unsigned int r; |
unsigned int r; |
double dbl; |
double dbl; |
|
|
dbl = real->body; write_double(s,&dbl); |
dbl = real->body; write_double(s,&dbl); |
} |
} |
|
|
write_cmo_zz(s,sgn,n) |
void write_cmo_bf(FILE *s,BF bf) |
FILE *s; |
|
int sgn; |
|
N n; |
|
{ |
{ |
int i,l,bytes; |
unsigned int r; |
unsigned int t; |
int len,t; |
unsigned int *b; |
L exp; |
unsigned char c; |
|
|
|
|
r = CMO_BIGFLOAT; write_int(s,&r); |
|
write_int(s,&MPFR_SIGN(bf->body)); |
|
write_int(s,&MPFR_PREC(bf->body)); |
|
exp = MPFR_EXP(bf->body); |
|
write_int64(s,&exp); |
|
len = MPFR_LIMB_SIZE(bf->body); |
|
write_int(s,&len); |
|
#if SIZEOF_LONG == 4 |
|
write_intarray(s,MPFR_MANT(bf->body),len); |
|
#else /* SIZEOF_LONG == 8 */ |
|
t = 2*len; |
|
write_int(s,&t); |
|
write_longarray(s,MPFR_MANT(bf->body),len); |
|
#endif |
|
} |
|
|
|
void write_cmo_zz(FILE *s,int sgn,N n) |
|
{ |
|
int l,bytes; |
|
|
#if 1 |
#if 1 |
l = PL(n); |
l = PL(n); |
bytes = sgn*l; |
bytes = sgn*l; |
|
|
#endif |
#endif |
} |
} |
|
|
write_cmo_p(s,p) |
void write_cmo_p(FILE *s,P p) |
FILE *s; |
|
P p; |
|
{ |
{ |
int r,i; |
int r,i; |
VL t,vl; |
VL t,vl; |
char *namestr; |
char *namestr; |
STRING name; |
STRING name; |
NODE n0,n; |
|
|
|
r = CMO_RECURSIVE_POLYNOMIAL; write_int(s,&r); |
r = CMO_RECURSIVE_POLYNOMIAL; write_int(s,&r); |
get_vars((Obj)p,&vl); |
get_vars((Obj)p,&vl); |
|
|
/* localname_to_cmoname(NAME(t->v),&namestr); */ |
/* localname_to_cmoname(NAME(t->v),&namestr); */ |
namestr = NAME(t->v); |
namestr = NAME(t->v); |
MKSTR(name,namestr); |
MKSTR(name,namestr); |
write_cmo(s,name); |
write_cmo(s,(Obj)name); |
} |
} |
|
|
/* body */ |
/* body */ |
write_cmo_upoly(s,vl,p); |
write_cmo_upoly(s,vl,p); |
} |
} |
|
|
write_cmo_upoly(s,vl,p) |
void write_cmo_upoly(FILE *s,VL vl,P p) |
FILE *s; |
|
VL vl; |
|
P p; |
|
{ |
{ |
int r,i; |
int r,i; |
V v; |
V v; |
|
|
VL vlt; |
VL vlt; |
|
|
if ( NUM(p) ) |
if ( NUM(p) ) |
write_cmo(s,p); |
write_cmo(s,(Obj)p); |
else { |
else { |
r = CMO_UNIVARIATE_POLYNOMIAL; write_int(s,&r); |
r = CMO_UNIVARIATE_POLYNOMIAL; write_int(s,&r); |
v = VR(p); |
v = VR(p); |
|
|
} |
} |
} |
} |
|
|
write_cmo_r(s,f) |
void write_cmo_r(FILE *s,R f) |
FILE *s; |
|
R f; |
|
{ |
{ |
int r; |
int r; |
|
|
r = CMO_RATIONAL; write_int(s,&r); |
r = CMO_RATIONAL; write_int(s,&r); |
write_cmo(s,NM(f)); |
write_cmo(s,(Obj)NM(f)); |
write_cmo(s,DN(f)); |
write_cmo(s,(Obj)DN(f)); |
} |
} |
|
|
write_cmo_dp(s,dp) |
void write_cmo_dp(FILE *s,DP dp) |
FILE *s; |
|
DP dp; |
|
{ |
{ |
int i,n,nv,r; |
int i,n,nv,r; |
MP m; |
MP m; |
|
|
write_cmo_monomial(s,m,nv); |
write_cmo_monomial(s,m,nv); |
} |
} |
|
|
write_cmo_monomial(s,m,n) |
void write_cmo_monomial(FILE *s,MP m,int n) |
FILE *s; |
|
MP m; |
|
int n; |
|
{ |
{ |
int i,r; |
int i,r; |
int *p; |
int *p; |
|
|
for ( i = 0, p = m->dl->d; i < n; i++ ) { |
for ( i = 0, p = m->dl->d; i < n; i++ ) { |
write_int(s,p++); |
write_int(s,p++); |
} |
} |
write_cmo_q(s,m->c); |
write_cmo_q(s,(Q)m->c); |
} |
} |
|
|
write_cmo_list(s,list) |
void write_cmo_list(FILE *s,LIST list) |
FILE *s; |
|
LIST list; |
|
{ |
{ |
NODE m; |
NODE m; |
int i,n,r; |
int i,n,r; |
|
|
write_cmo(s,BDY(m)); |
write_cmo(s,BDY(m)); |
} |
} |
|
|
write_cmo_string(s,str) |
void write_cmo_string(FILE *s,STRING str) |
FILE *s; |
|
STRING str; |
|
{ |
{ |
int r; |
int r; |
|
|
|
|
savestr(s,BDY(str)); |
savestr(s,BDY(str)); |
} |
} |
|
|
write_cmo_bytearray(s,array) |
void write_cmo_bytearray(FILE *s,BYTEARRAY array) |
FILE *s; |
|
BYTEARRAY array; |
|
{ |
{ |
int r; |
int r; |
|
|
Line 406 BYTEARRAY array; |
|
Line 399 BYTEARRAY array; |
|
write_string(s,array->body,array->len); |
write_string(s,array->body,array->len); |
} |
} |
|
|
write_cmo_error(s,e) |
void write_cmo_error(FILE *s,ERR e) |
FILE *s; |
|
ERR e; |
|
{ |
{ |
int r; |
int r; |
|
|
|
|
|
|
/* XXX */ |
/* XXX */ |
|
|
write_cmo_tree(s,f) |
/* |
FILE *s; |
* BDY(l) = treenode |
FNODE f; |
* treenode = [property,(name,)arglist] |
|
* arglist = list of treenode |
|
*/ |
|
|
|
void write_cmo_tree(FILE *s,LIST l) |
{ |
{ |
int r,i,n; |
NODE n; |
char opname[BUFSIZ]; |
int r; |
NODE args,t; |
STRING prop,name,key; |
FUNC fspec; |
|
struct oSTRING str,nullstr; |
|
|
|
/* zero */ |
/* (CMO_TREE (CMO_LIST,n,key1,attr1,...,keyn,attn),(CMO_LIST,m,arg1,...,argm)) */ |
if ( !f ) { |
n = BDY(l); |
r = CMO_NULL; write_int(s,&r); |
prop = (STRING)BDY(n); n = NEXT(n); |
return; |
if ( !strcmp(BDY(prop),"internal") ) { |
} |
write_cmo(s,(Obj)BDY(n)); |
|
} else { |
/* null string */ |
if ( strcmp(BDY(prop),"list") ) { |
nullstr.id = O_STR; |
|
nullstr.body = 0; |
|
|
|
/* name string */ |
|
str.id = O_STR; |
|
str.body = opname; |
|
|
|
switch ( f->id ) { |
|
case I_BOP: case I_COP: |
|
case I_AND: case I_OR: |
|
/* |
|
* (CMO_TREE (CMO_STRING,op),(CMO_STRING,0)(CMO_LIST,2,arg1,arg2)) |
|
*/ |
|
switch ( f->id ) { |
|
case I_BOP: |
|
strcpy(opname,((ARF)FA0(f))->name); break; |
|
case I_COP: |
|
switch( (cid)FA0(f) ) { |
|
case C_EQ: strcpy(opname,"=="); break; |
|
case C_NE: strcpy(opname,"!="); break; |
|
case C_GT: strcpy(opname,">"); break; |
|
case C_LT: strcpy(opname,"<"); break; |
|
case C_GE: strcpy(opname,">="); break; |
|
case C_LE: strcpy(opname,"<="); break; |
|
} |
|
break; |
|
case I_AND: |
|
strcpy(opname,"&&"); break; |
|
case I_OR: |
|
strcpy(opname,"||"); break; |
|
} |
|
r = CMO_TREE; write_int(s,&r); |
r = CMO_TREE; write_int(s,&r); |
write_cmo_string(s,&str); |
name = (STRING)BDY(n); |
write_cmo_string(s,&nullstr); |
n = NEXT(n); |
|
/* function name */ |
|
write_cmo(s,(Obj)name); |
|
|
|
/* attribute list */ |
r = CMO_LIST; write_int(s,&r); |
r = CMO_LIST; write_int(s,&r); |
n = 2; write_int(s,&n); |
r = 2; write_int(s,&r); |
write_cmo_tree(s,(FNODE)FA1(f)); |
MKSTR(key,"asir"); |
write_cmo_tree(s,(FNODE)FA2(f)); |
write_cmo(s,(Obj)key); |
break; |
write_cmo(s,(Obj)prop); |
case I_NOT: |
} |
r = CMO_TREE; write_int(s,&r); |
|
strcpy(opname,"!"); |
/* argument list */ |
write_cmo_string(s,&str);; |
r = CMO_LIST; write_int(s,&r); |
write_cmo_string(s,&nullstr); |
/* len = number of arguments */ |
r = CMO_LIST; write_int(s,&r); |
r = length(n); write_int(s,&r); |
n = 1; write_int(s,&n); |
while ( n ) { |
write_cmo_tree(s,(FNODE)FA1(f)); |
write_cmo_tree(s,BDY(n)); |
break; |
n = NEXT(n); |
case I_FUNC: |
} |
r = CMO_TREE; write_int(s,&r); |
|
fspec = (FUNC)FA0(f); |
|
strcpy(opname,fspec->name); |
|
write_cmo_string(s,&str); |
|
write_cmo_string(s,&nullstr); |
|
args = (NODE)FA0((FNODE)FA1(f)); |
|
r = CMO_LIST; write_int(s,&r); |
|
for ( n = 0, t = args; t; t = NEXT(t), n++ ); |
|
write_int(s,&n); |
|
for ( i = 0, t = args; i < n; t = NEXT(t), i++ ) |
|
write_cmo_tree(s,BDY(t)); |
|
break; |
|
case I_FORMULA: |
|
write_cmo(s,FA0(f)); |
|
break; |
|
default: |
|
break; /* XXX */ |
|
} |
} |
} |
} |
|
|
read_cmo(s,rp) |
void read_cmo(FILE *s,Obj *rp) |
FILE *s; |
|
Obj *rp; |
|
{ |
{ |
int id; |
int id; |
int n,sgn,dummy; |
int sgn,dummy; |
Q q,qnm,qdn; |
Q q; |
N nm,dn; |
N nm,dn; |
P p,pnm,pdn; |
P p,pnm,pdn; |
R r; |
|
Real real; |
Real real; |
double dbl; |
double dbl; |
STRING str; |
STRING str; |
USINT t; |
USINT t; |
DP dp; |
DP dp; |
char *b; |
|
Obj obj; |
Obj obj; |
ERR e; |
ERR e; |
|
BF bf; |
MATHCAP mc; |
MATHCAP mc; |
BYTEARRAY array; |
BYTEARRAY array; |
QUOTE quote; |
LIST list; |
FNODE fn; |
|
|
|
read_int(s,&id); |
read_int(s,&id); |
switch ( id ) { |
switch ( id ) { |
|
|
*rp = 0; |
*rp = 0; |
break; |
break; |
case CMO_INT32: |
case CMO_INT32: |
read_cmo_uint(s,rp); |
read_cmo_uint(s,&t); *rp = (Obj)t; |
break; |
break; |
case CMO_DATUM: |
case CMO_DATUM: |
loadbytearray(s,&array); *rp = (Obj)array; |
loadbytearray(s,&array); *rp = (Obj)array; |
|
|
read_cmo_list(s,rp); |
read_cmo_list(s,rp); |
break; |
break; |
case CMO_MONOMIAL32: |
case CMO_MONOMIAL32: |
read_cmo_monomial(s,rp); |
read_cmo_monomial(s,&dp); *rp = (Obj)dp; |
break; |
break; |
case CMO_ZZ: |
case CMO_ZZ: |
read_cmo_zz(s,&sgn,&nm); |
read_cmo_zz(s,&sgn,&nm); |
|
|
case CMO_IEEE_DOUBLE_FLOAT: |
case CMO_IEEE_DOUBLE_FLOAT: |
read_double(s,&dbl); MKReal(dbl,real); *rp = (Obj)real; |
read_double(s,&dbl); MKReal(dbl,real); *rp = (Obj)real; |
break; |
break; |
|
case CMO_BIGFLOAT: |
|
read_cmo_bf(s,&bf); *rp = (Obj)bf; |
|
break; |
case CMO_DISTRIBUTED_POLYNOMIAL: |
case CMO_DISTRIBUTED_POLYNOMIAL: |
read_cmo_dp(s,&dp); *rp = (Obj)dp; |
read_cmo_dp(s,&dp); *rp = (Obj)dp; |
break; |
break; |
|
|
read_cmo_upoly(s,&p); *rp = (Obj)p; |
read_cmo_upoly(s,&p); *rp = (Obj)p; |
break; |
break; |
case CMO_INDETERMINATE: |
case CMO_INDETERMINATE: |
read_cmo(s,&str); *rp = (Obj)str; |
read_cmo(s,rp); |
break; |
break; |
case CMO_RATIONAL: |
case CMO_RATIONAL: |
read_cmo(s,&pnm); read_cmo(s,&pdn); |
read_cmo(s,&obj); pnm = (P)obj; |
|
read_cmo(s,&obj); pdn = (P)obj; |
divr(CO,(Obj)pnm,(Obj)pdn,rp); |
divr(CO,(Obj)pnm,(Obj)pdn,rp); |
break; |
break; |
case CMO_ZERO: |
case CMO_ZERO: |
|
|
read_cmo(s,rp); |
read_cmo(s,rp); |
break; |
break; |
case CMO_TREE: |
case CMO_TREE: |
read_cmo_tree(s,&fn); |
read_cmo_tree_as_list(s,&list); |
|
#if 0 |
|
treetofnode(list,&fn); |
MKQUOTE(quote,fn); |
MKQUOTE(quote,fn); |
*rp = (Obj)quote; |
*rp = (Obj)quote; |
|
#else |
|
*rp = (Obj)list; |
|
#endif |
break; |
break; |
default: |
default: |
MKUSINT(t,id); |
MKUSINT(t,id); |
|
|
} |
} |
} |
} |
|
|
read_cmo_uint(s,rp) |
void read_cmo_uint(FILE *s,USINT *rp) |
FILE *s; |
|
USINT *rp; |
|
{ |
{ |
unsigned int body; |
unsigned int body; |
|
|
|
|
MKUSINT(*rp,body); |
MKUSINT(*rp,body); |
} |
} |
|
|
read_cmo_zz(s,sgn,rp) |
void read_cmo_zz(FILE *s,int *sgn,N *rp) |
FILE *s; |
|
int *sgn; |
|
N *rp; |
|
{ |
{ |
int l,i,words; |
int l; |
N n; |
N n; |
unsigned int *b; |
|
unsigned int h; |
|
unsigned char c; |
|
|
|
read_int(s,&l); |
read_int(s,&l); |
if ( l == 0 ) { |
if ( l == 0 ) { |
|
|
#endif |
#endif |
} |
} |
|
|
read_cmo_list(s,rp) |
void read_cmo_bf(FILE *s,BF *bf) |
FILE *s; |
|
Obj *rp; |
|
{ |
{ |
|
BF r; |
|
int sgn,prec,len; |
|
L exp; |
|
|
|
NEWBF(r); |
|
read_int(s,&sgn); |
|
read_int(s,&prec); |
|
read_int64(s,&exp); |
|
read_int(s,&len); |
|
mpfr_init2(r->body,prec); |
|
MPFR_SIGN(r->body) = sgn; |
|
MPFR_EXP(r->body) = exp; |
|
#if SIZEOF_LONG == 4 |
|
read_intarray(s,MPFR_MANT(r->body),len); |
|
#else /* SIZEOF_LONG == 8 */ |
|
read_longarray(s,MPFR_MANT(r->body),len>>1); |
|
#endif |
|
*bf = r; |
|
} |
|
|
|
void read_cmo_list(FILE *s,Obj *rp) |
|
{ |
int len; |
int len; |
Obj *w; |
Obj *w; |
int i; |
int i; |
Obj r,r1; |
|
NODE n0,n1; |
NODE n0,n1; |
LIST list; |
LIST list; |
|
|
|
|
*rp = (Obj)list; |
*rp = (Obj)list; |
} |
} |
|
|
read_cmo_dp(s,rp) |
void read_cmo_dp(FILE *s,DP *rp) |
FILE *s; |
|
DP *rp; |
|
{ |
{ |
int len; |
int len; |
int i; |
int i; |
NODE n0,n1; |
|
MP mp0,mp; |
MP mp0,mp; |
int nv,d; |
int nv,d; |
DP dp; |
DP dp; |
|
|
/* skip the ring definition */ |
/* skip the ring definition */ |
read_cmo(s,&obj); |
read_cmo(s,&obj); |
for ( mp0 = 0, i = 0, d = 0; i < len; i++ ) { |
for ( mp0 = 0, i = 0, d = 0; i < len; i++ ) { |
read_cmo(s,&dp); |
read_cmo(s,&obj); dp = (DP)obj; |
if ( !mp0 ) { |
if ( !mp0 ) { |
nv = dp->nv; |
nv = dp->nv; |
mp0 = dp->body; |
mp0 = dp->body; |
|
|
dp->sugar = d; *rp = dp; |
dp->sugar = d; *rp = dp; |
} |
} |
|
|
read_cmo_monomial(s,rp) |
void read_cmo_monomial(FILE *s,DP *rp) |
FILE *s; |
|
DP *rp; |
|
{ |
{ |
|
Obj obj; |
MP m; |
MP m; |
DP dp; |
DP dp; |
int i,sugar,n; |
int i,sugar,n; |
|
|
for ( sugar = 0, i = 0; i < n; i++ ) |
for ( sugar = 0, i = 0; i < n; i++ ) |
sugar += dl->d[i]; |
sugar += dl->d[i]; |
dl->td = sugar; |
dl->td = sugar; |
read_cmo(s,&m->c); |
read_cmo(s,&obj); m->c = (P)obj; |
NEXT(m) = 0; MKDP(n,m,dp); dp->sugar = sugar; *rp = dp; |
NEXT(m) = 0; MKDP(n,m,dp); dp->sugar = sugar; *rp = dp; |
} |
} |
|
|
static V *remote_vtab; |
static V *remote_vtab; |
|
|
read_cmo_p(s,rp) |
void read_cmo_p(FILE *s,P *rp) |
FILE *s; |
|
P *rp; |
|
{ |
{ |
|
Obj obj; |
LIST vlist; |
LIST vlist; |
int nv,i; |
int nv,i; |
V *vtab; |
V *vtab; |
|
|
VL tvl,rvl; |
VL tvl,rvl; |
char *name; |
char *name; |
|
|
read_cmo(s,&vlist); |
read_cmo(s,&obj); vlist = (LIST)obj; |
nv = length(BDY(vlist)); |
nv = length(BDY(vlist)); |
vtab = (V *)ALLOCA(nv*sizeof(V)); |
vtab = (V *)ALLOCA(nv*sizeof(V)); |
for ( i = 0, t = BDY(vlist); i < nv; t = NEXT(t), i++ ) { |
for ( i = 0, t = BDY(vlist); i < nv; t = NEXT(t), i++ ) { |
|
|
makevar(name,&v); vtab[i] = VR(v); |
makevar(name,&v); vtab[i] = VR(v); |
} |
} |
remote_vtab = vtab; |
remote_vtab = vtab; |
read_cmo(s,&p); |
read_cmo(s,&obj); p = (P)obj; |
for ( i = 0; i < nv-1; i++ ) { |
for ( i = 0; i < nv-1; i++ ) { |
v1 = vtab[i]; v2 = vtab[i+1]; |
v1 = vtab[i]; v2 = vtab[i+1]; |
for ( tvl = CO; tvl->v != v1 && tvl->v != v2; tvl = NEXT(tvl) ); |
for ( tvl = CO; tvl->v != v1 && tvl->v != v2; tvl = NEXT(tvl) ); |
|
|
*rp = p; |
*rp = p; |
} |
} |
|
|
read_cmo_upoly(s,rp) |
void read_cmo_upoly(FILE *s,P *rp) |
FILE *s; |
|
P *rp; |
|
{ |
{ |
int n,ind,i,d; |
int n,ind,i,d; |
|
Obj obj; |
P c; |
P c; |
Q q; |
Q q; |
DCP dc0,dc; |
DCP dc0,dc; |
|
|
read_int(s,&ind); |
read_int(s,&ind); |
for ( i = 0, dc0 = 0; i < n; i++ ) { |
for ( i = 0, dc0 = 0; i < n; i++ ) { |
read_int(s,&d); |
read_int(s,&d); |
read_cmo(s,&c); |
read_cmo(s,&obj); c = (P)obj; |
if ( c ) { |
if ( c ) { |
if ( OID(c) == O_USINT ) { |
if ( OID(c) == O_USINT ) { |
UTOQ(((USINT)c)->body,q); c = (P)q; |
UTOQ(((USINT)c)->body,q); c = (P)q; |
Line 839 static struct operator_tab optab[] = { |
|
Line 798 static struct operator_tab optab[] = { |
|
|
|
static int optab_len = sizeof(optab)/sizeof(struct operator_tab); |
static int optab_len = sizeof(optab)/sizeof(struct operator_tab); |
|
|
read_cmo_tree(s,rp) |
#if 0 |
|
/* old code */ |
|
void read_cmo_tree(s,rp) |
FILE *s; |
FILE *s; |
FNODE *rp; |
FNODE *rp; |
{ |
{ |
|
|
FUNC func; |
FUNC func; |
|
|
read_cmo(s,&name); |
read_cmo(s,&name); |
read_cmo(s,&cd); /* XXX: currently not used */ |
read_cmo(s,&attr); |
for ( i = 0; i < optab_len; i++ ) |
for ( i = 0; i < optab_len; i++ ) |
if ( !strcmp(optab[i].name,BDY(name)) ) |
if ( !strcmp(optab[i].name,BDY(name)) ) |
break; |
break; |
|
|
} |
} |
return n; |
return n; |
} |
} |
|
#else |
|
void read_cmo_tree_as_list(FILE *s,LIST *rp) |
|
{ |
|
Obj obj; |
|
STRING name; |
|
LIST attr,args; |
|
NODE t0,t1; |
|
|
localname_to_cmoname(a,b) |
read_cmo(s,&obj); name = (STRING)obj; |
char *a; |
read_cmo(s,&obj); attr = (LIST)obj; |
char **b; |
read_cmo(s,&obj); args = (LIST)obj; |
|
MKNODE(t1,name,BDY(args)); |
|
MKNODE(t0,attr,t1); |
|
MKLIST(*rp,t0); |
|
} |
|
#endif |
|
|
|
void localname_to_cmoname(char *a,char **b) |
{ |
{ |
int l; |
int l; |
char *t; |
char *t; |
|
|
} |
} |
} |
} |
|
|
cmoname_to_localname(a,b) |
void cmoname_to_localname(char *a,char **b) |
char *a; |
|
char **b; |
|
{ |
{ |
int l; |
int l; |
char *t; |
char *t; |