version 1.19, 2003/05/16 07:56:16 |
version 1.32, 2004/07/13 07:59:54 |
|
|
* 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/parse/parse.h,v 1.18 2003/05/14 06:20:12 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.31 2004/07/07 07:40:19 noro Exp $ |
*/ |
*/ |
# if defined(VISUAL) |
# if defined(VISUAL) |
#include <time.h> |
#include <time.h> |
|
|
I_FUNC, I_FUNC_OPT, I_IFUNC, I_MAP, I_RECMAP, I_PFDERIV, |
I_FUNC, I_FUNC_OPT, I_IFUNC, I_MAP, I_RECMAP, I_PFDERIV, |
I_ANS, I_PVAR, I_ASSPVAR, |
I_ANS, I_PVAR, I_ASSPVAR, |
I_FORMULA, I_LIST, I_STR, I_NEWCOMP, I_CAR, I_CDR, I_CAST, |
I_FORMULA, I_LIST, I_STR, I_NEWCOMP, I_CAR, I_CDR, I_CAST, |
I_COM, I_PROC, I_INDEX, I_EV, I_TIMER, I_GF2NGEN, I_GFPNGEN, I_GFSNGEN, |
I_INDEX, I_EV, I_TIMER, I_GF2NGEN, I_GFPNGEN, I_GFSNGEN, |
I_LOP, I_OPT, I_GETOPT, I_POINT, I_QUOTE, I_PAREN, I_MINUS |
I_LOP, I_OPT, I_GETOPT, I_POINT, I_PAREN, I_MINUS, |
|
I_NARYOP |
} fid; |
} fid; |
|
|
/* identifiers for statements */ |
/* identifiers for statements */ |
Line 109 typedef struct oVS { |
|
Line 110 typedef struct oVS { |
|
typedef struct oMODULE { |
typedef struct oMODULE { |
char *name; |
char *name; |
VS pvs; |
VS pvs; |
NODE usrf_list,proto_list; |
NODE usrf_list; |
} *MODULE; |
} *MODULE; |
|
|
typedef struct oPV { |
typedef struct oPV { |
|
|
int token; |
int token; |
}; |
}; |
|
|
|
typedef struct fid_spec { |
|
fid id; |
|
farg_type type[10]; |
|
} *fid_spec_p; |
|
|
typedef struct oARF { |
typedef struct oARF { |
char *name; |
char *name; |
void (*fp)(); |
void (*fp)(); |
} *ARF; |
} *ARF; |
|
|
typedef struct oFUNC { |
typedef struct oFUNC { |
char *name; |
char *name,*fullname; |
int argc; |
int argc; |
int type; |
int type; |
aid id; |
aid id; |
Line 299 extern INFILE asir_infile; |
|
Line 305 extern INFILE asir_infile; |
|
extern NODE usrf,sysf,noargsysf,ubinf,parif,ONENODE; |
extern NODE usrf,sysf,noargsysf,ubinf,parif,ONENODE; |
extern int nextbp,nextbplevel; |
extern int nextbp,nextbplevel; |
extern int Verbose; |
extern int Verbose; |
|
extern int do_quiet; |
|
extern SYMBOL Symbol_grlex, Symbol_glex, Symbol_lex; |
|
extern NODE current_option; |
|
|
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
#include <w_stdio.h> |
#include <w_stdio.h> |
Line 315 extern int Verbose; |
|
Line 324 extern int Verbose; |
|
#define fflush w_fflush |
#define fflush w_fflush |
#endif |
#endif |
|
|
#if defined(VISUAL) || (defined(__MACH__) && defined(__ppc__)) |
#if defined(__GNUC__) || defined(VISUAL) || (defined(__MACH__) && defined(__ppc__)) || defined(__FreeBSD__) |
NODE mknode(int,...); |
NODE mknode(int,...); |
FNODE mkfnode(int,fid,...); |
FNODE mkfnode(int,fid,...); |
SNODE mksnode(int,sid,...); |
SNODE mksnode(int,sid,...); |
Line 369 void dp_mod(DP,int,NODE,DP *); |
|
Line 378 void dp_mod(DP,int,NODE,DP *); |
|
void dp_prim_mod(DP,int,DP *); |
void dp_prim_mod(DP,int,DP *); |
void dp_prim(DP,DP *); |
void dp_prim(DP,DP *); |
void heu_nezgcdnpz(VL,P *,int,P *); |
void heu_nezgcdnpz(VL,P *,int,P *); |
void homogenize_order(struct order_spec *,int,struct order_spec *); |
void homogenize_order(struct order_spec *,int,struct order_spec **); |
int create_order_spec(Obj,struct order_spec *); |
int create_order_spec(VL,Obj,struct order_spec **); |
|
|
int dl_equal(int,DL,DL); |
int dl_equal(int,DL,DL); |
void qltozl(Q *,int,Q *); |
void qltozl(Q *,int,Q *); |
Line 600 int dp_redble(DP p1,DP p2); |
|
Line 609 int dp_redble(DP p1,DP p2); |
|
void sortbynm(Q *w,int n); |
void sortbynm(Q *w,int n); |
int comp_nm(Q *a,Q *b); |
int comp_nm(Q *a,Q *b); |
void qltozl(Q *w,int n,Q *dvr); |
void qltozl(Q *w,int n,Q *dvr); |
void homogenize_order(struct order_spec *old,int n,struct order_spec *new); |
|
void dp_rat(DP p,DP *rp); |
void dp_rat(DP p,DP *rp); |
void dp_mod(DP p,int mod,NODE subst,DP *rp); |
void dp_mod(DP p,int mod,NODE subst,DP *rp); |
void dp_dehomo(DP p,DP *rp); |
void dp_dehomo(DP p,DP *rp); |
void dp_homo(DP p,DP *rp); |
void dp_homo(DP p,DP *rp); |
int create_order_spec(Obj obj,struct order_spec *spec); |
|
void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp); |
void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp); |
void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p); |
void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p); |
void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p); |
void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p); |
Line 792 void chsgnquote(QUOTE a,QUOTE *c); |
|
Line 799 void chsgnquote(QUOTE a,QUOTE *c); |
|
void objtoquote(Obj a,QUOTE *c); |
void objtoquote(Obj a,QUOTE *c); |
void polytoquote(P a,QUOTE *c); |
void polytoquote(P a,QUOTE *c); |
void dptoquote(DP a,QUOTE *c); |
void dptoquote(DP a,QUOTE *c); |
void dctoquote(DCP dc,QUOTE v,QUOTE *c); |
void dctoquote(DCP dc,QUOTE v,QUOTE *c,int *sgn); |
void mptoquote(MP m,int n,QUOTE *c); |
void mptoquote(MP m,int n,QUOTE *c,int *sgn); |
void vartoquote(V v,QUOTE *c); |
void vartoquote(V v,QUOTE *c); |
void fnodetotree(FNODE f,LIST *rp); |
void fnodetotree(FNODE f,LIST *rp); |
FNODE eval_pvar_in_fnode(FNODE f); |
FNODE eval_pvar_in_fnode(FNODE f); |