| version 1.18, 2003/05/14 06:20:12 |
version 1.27, 2004/02/09 08:23:30 |
|
|
| * 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.17 2003/04/02 09:43:33 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.26 2004/02/05 08:28:54 noro Exp $ |
| */ |
*/ |
| # if defined(VISUAL) |
# if defined(VISUAL) |
| #include <time.h> |
#include <time.h> |
|
|
| 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_COM, I_PROC, 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_QUOTE, I_PAREN, I_MINUS, I_RANGE |
| } fid; |
} fid; |
| |
|
| /* identifiers for statements */ |
/* identifiers for statements */ |
| Line 139 typedef struct oARF { |
|
| Line 139 typedef struct oARF { |
|
| } *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 293 switch ( id ) {\ |
|
| Line 293 switch ( id ) {\ |
|
| extern VS GPVS,CPVS,EPVS,APVS,MPVS; |
extern VS GPVS,CPVS,EPVS,APVS,MPVS; |
| extern MODULE CUR_MODULE; |
extern MODULE CUR_MODULE; |
| extern NODE MODULE_LIST; |
extern NODE MODULE_LIST; |
| |
extern char *CUR_FUNC; |
| extern ARF addfs, subfs, mulfs, divfs, remfs, pwrfs; |
extern ARF addfs, subfs, mulfs, divfs, remfs, pwrfs; |
| extern INFILE asir_infile; |
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; |
| |
|
| #if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
| #include <w_stdio.h> |
#include <w_stdio.h> |
| Line 314 extern int Verbose; |
|
| Line 317 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 368 void dp_mod(DP,int,NODE,DP *); |
|
| Line 371 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 462 int get_heapsize(void); |
|
| Line 465 int get_heapsize(void); |
|
| int searchpvar(char *); |
int searchpvar(char *); |
| void mkparif(char *,FUNC *); |
void mkparif(char *,FUNC *); |
| void makevar(char *,P *); |
void makevar(char *,P *); |
| void mkpvs(void); |
void mkpvs(char *); |
| |
MODULE mkmodule(char *); |
| void stoarg(char *,int *,char **); |
void stoarg(char *,int *,char **); |
| void yyerror(char *); |
void yyerror(char *); |
| void closecurrentinput(void); |
void closecurrentinput(void); |
| Line 598 int dp_redble(DP p1,DP p2); |
|
| Line 602 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 767 void igcd_cofactor(Q a,Q b,Q *gcd,Q *ca,Q *cb); |
|
| Line 769 void igcd_cofactor(Q a,Q b,Q *gcd,Q *ca,Q *cb); |
|
| int comp_n(N *a,N *b); |
int comp_n(N *a,N *b); |
| int TypeT_NB_check(unsigned int m, unsigned int t); |
int TypeT_NB_check(unsigned int m, unsigned int t); |
| int small_jacobi(int a,int m); |
int small_jacobi(int a,int m); |
| void mkpvs(); |
|
| void pushpvs(FUNC f); |
void pushpvs(FUNC f); |
| void poppvs(); |
void poppvs(); |
| unsigned int makepvar(char *str); |
unsigned int makepvar(char *str); |