version 1.5, 2000/09/21 09:19:27 |
version 1.50, 2013/06/13 07:45:28 |
|
|
* 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.4 2000/08/22 05:04:27 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/parse.h,v 1.49 2008/11/18 20:52:47 ohara Exp $ |
*/ |
*/ |
# if defined(THINK_C) || defined(VISUAL) |
# if defined(VISUAL) |
#include <time.h> |
#include <time.h> |
#else |
#else |
#include <sys/time.h> |
#include <sys/time.h> |
|
|
typedef enum { |
typedef enum { |
I_BOP, I_COP, I_AND, I_OR, I_NOT, I_CE, |
I_BOP, I_COP, I_AND, I_OR, I_NOT, I_CE, |
I_PRESELF, I_POSTSELF, |
I_PRESELF, I_POSTSELF, |
I_FUNC, I_FUNC_OPT, I_IFUNC, I_MAP, 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_LOP, |
I_INDEX, I_EV, I_TIMER, I_GF2NGEN, I_GFPNGEN, I_GFSNGEN, |
I_OPT, I_GETOPT, I_POINT |
I_LOP, I_OPT, I_GETOPT, I_POINT, I_PAREN, I_MINUS, |
|
I_NARYOP, I_CONS, I_FUNC_QARG, I_FUNC_HEAD, |
} fid; |
} fid; |
|
|
/* identifiers for statements */ |
/* identifiers for statements */ |
|
|
S_BP, S_PFDEF, |
S_BP, S_PFDEF, |
S_SINGLE, S_CPLX, |
S_SINGLE, S_CPLX, |
S_IFELSE, S_FOR, S_DO, |
S_IFELSE, S_FOR, S_DO, |
S_BREAK, S_RETURN, S_CONTINUE |
S_BREAK, S_RETURN, S_CONTINUE, |
|
S_MODULE |
} sid; |
} sid; |
|
|
/* identifiers for comparison operators */ |
/* identifiers for comparison operators */ |
Line 96 typedef enum { A_UNDEF, A_BIN, A_USR, A_PURE, A_PARI } |
|
Line 98 typedef enum { A_UNDEF, A_BIN, A_USR, A_PURE, A_PARI } |
|
|
|
typedef enum { V_IND, V_UC, V_PF, V_SR } vid; |
typedef enum { V_IND, V_UC, V_PF, V_SR } vid; |
|
|
struct oVS { |
typedef struct oVS { |
unsigned int n; |
unsigned int n; |
unsigned int asize; |
unsigned int asize; |
unsigned int at; |
unsigned int at; |
|
|
struct oFUNC *usrf; |
struct oFUNC *usrf; |
struct oPV *va; |
struct oPV *va; |
NODE opt; |
NODE opt; |
}; |
} *VS; |
|
|
typedef struct oVS *VS; |
typedef struct oMODULE { |
|
char *name; |
|
VS pvs; |
|
NODE usrf_list; |
|
} *MODULE; |
|
|
struct oPV { |
typedef struct oPV { |
char *name; |
char *name; |
short attr,type; |
short attr,type; |
pointer priv; |
pointer priv; |
}; |
} *PV; |
|
|
typedef struct oPV *PV; |
typedef struct oINFILE { |
|
|
struct oIN { |
|
char *name; |
char *name; |
FILE *fp; |
FILE *fp; |
|
JMP_BUF jmpbuf; |
|
int ready_for_longjmp; |
int ln; |
int ln; |
struct oIN *next; |
struct oINFILE *next; |
char *tname; |
char *tname; |
int encoded; |
int encoded; |
short vol; |
short vol; |
}; |
} *INFILE; |
|
|
typedef struct oIN *IN; |
|
|
|
struct oTKWD { |
struct oTKWD { |
char *name; |
char *name; |
int token; |
int token; |
}; |
}; |
|
|
struct oARF { |
typedef struct fid_spec { |
|
fid id; |
|
farg_type type[10]; |
|
} *fid_spec_p; |
|
|
|
typedef struct oARF { |
char *name; |
char *name; |
void (*fp)(); |
void (*fp)(); |
}; |
} *ARF; |
|
|
typedef struct oARF *ARF; |
typedef struct oFUNC { |
|
char *name,*fullname; |
struct oFUNC { |
|
char *name; |
|
int argc; |
int argc; |
int type; |
int type; |
|
int secure; |
aid id; |
aid id; |
|
unsigned int quote; |
union { |
union { |
void (*binf)(); |
void (*binf)(); |
struct oUSRF *usrf; |
struct oUSRF *usrf; |
struct oPF *puref; |
struct oPF *puref; |
} f; |
} f; |
}; |
} *FUNC; |
|
|
typedef struct oFUNC *FUNC; |
typedef struct oUSRF { |
|
|
struct oUSRF { |
|
char *fname; |
char *fname; |
short vol; |
MODULE module; |
int startl,endl; |
int startl,endl; |
NODE args; |
NODE args; |
VS pvs; |
VS pvs; |
char *desc; |
char *desc; |
struct oSNODE *body; |
struct oSNODE *body; |
}; |
} *USRF; |
|
|
typedef struct oUSRF *USRF; |
typedef struct oPF { |
|
|
struct oPF { |
|
char *name; |
char *name; |
int argc; |
int argc; |
Obj body; |
Obj body; |
|
|
int (*pari)(); |
int (*pari)(); |
double (*libm)(); |
double (*libm)(); |
int (*simplify)(); |
int (*simplify)(); |
}; |
} *PF; |
|
|
typedef struct oPF *PF; |
typedef struct oPFAD { |
|
|
struct oPFAD { |
|
Obj arg; |
Obj arg; |
int d; |
int d; |
}; |
} *PFAD; |
|
|
typedef struct oPFAD *PFAD; |
typedef struct oPFINS { |
|
|
struct oPFINS { |
|
struct oPF *pf; |
struct oPF *pf; |
struct oPFAD ad[1]; |
struct oPFAD ad[1]; |
}; |
} *PFINS; |
|
|
typedef struct oPFINS *PFINS; |
|
|
|
#define NEWPF(p) ((p)=(PF)MALLOC(sizeof(struct oPF))) |
#define NEWPF(p) ((p)=(PF)MALLOC(sizeof(struct oPF))) |
|
|
struct oFNODE { |
typedef struct oFNODE { |
fid id; |
short id; |
|
unsigned normalized:1; |
|
unsigned expanded:2; |
|
unsigned coef:1; |
pointer arg[1]; |
pointer arg[1]; |
}; |
} *FNODE; |
|
|
typedef struct oFNODE *FNODE; |
|
|
|
#define NEWFNODE(a,b) \ |
#define NEWFNODE(a,b) \ |
((a)=(FNODE)MALLOC(sizeof(struct oFNODE)+sizeof(pointer)*(b-1))) |
((a)=(FNODE)MALLOC(sizeof(struct oFNODE)+sizeof(pointer)*(b-1))) |
|
|
struct oSNODE { |
typedef struct oSNODE { |
sid id; |
sid id; |
int ln; |
int ln; |
pointer arg[1]; |
pointer arg[1]; |
}; |
} *SNODE; |
|
|
typedef struct oSNODE *SNODE; |
|
|
|
#define NEWSNODE(a,b) \ |
#define NEWSNODE(a,b) \ |
((a)=(SNODE)MALLOC(sizeof(struct oSNODE)+sizeof(pointer)*(b-1)),(a)->ln=asir_infile->ln) |
((a)=(SNODE)MALLOC(sizeof(struct oSNODE)+sizeof(pointer)*(b-1)),(a)->ln=asir_infile->ln) |
|
|
struct oPVI { |
typedef struct oPVI { |
int pv; |
int pv; |
NODE index; |
NODE index; |
}; |
} *PVI; |
|
|
typedef struct oPVI *PVI; |
typedef struct oNODE2 { |
|
|
struct oNODE2 { |
|
pointer body1,body2; |
pointer body1,body2; |
struct oNODE2 *next; |
struct oNODE2 *next; |
}; |
} *NODE2; |
|
|
typedef struct oNODE2 *NODE2; |
|
|
|
struct ftab { |
struct ftab { |
char *name; |
char *name; |
void (*f)(); |
void (*f)(); |
int argc; |
int argc; |
|
unsigned int quote; |
}; |
}; |
|
|
#define MKPVI(a,b,c)\ |
#define MKPVI(a,b,c)\ |
Line 283 switch ( id ) {\ |
|
Line 278 switch ( id ) {\ |
|
} |
} |
|
|
#define DEFSIZE 32 |
#define DEFSIZE 32 |
#define MSB (1<<31) |
#define PVGLOBAL(i) (((unsigned int)(i))|(1<<30)) |
|
#define PVMGLOBAL(i) (((unsigned int)(i))|(2<<30)) |
|
#define PVPATTERN(i) (((unsigned int)(i))|(3<<30)) |
|
#define PVATTR(i) (((unsigned int)(i))>>30) |
|
#define PVIND(i) (((unsigned int)(i))&0x3fffffff) |
#define GETPV(i,p) \ |
#define GETPV(i,p) \ |
((int)(i)>=0 ? (int)((p)=CPVS->va[(unsigned int)(i)].priv)\ |
(PVATTR(i)==0?(int)((p)=CPVS->va[(unsigned int)(i)].priv)\ |
: (int)((p)=GPVS->va[(unsigned int)(i)&(~MSB)].priv)) |
:PVATTR(i)==1?(int)((p)=GPVS->va[PVIND(i)].priv)\ |
|
:PVATTR(i)==2?(int)((p)=MPVS->va[PVIND(i)].priv)\ |
|
:(int)((p)=PPVS->va[PVIND(i)].priv)) |
|
|
|
#define GETPVREF(i,p) \ |
|
(PVATTR(i)==0?(int)((p)=&(CPVS->va[(unsigned int)(i)].priv))\ |
|
:PVATTR(i)==1?(int)((p)=&(GPVS->va[PVIND(i)].priv))\ |
|
:PVATTR(i)==2?(int)((p)=&(MPVS->va[PVIND(i)].priv))\ |
|
:(int)((p)=&(PPVS->va[PVIND(i)].priv))) |
|
|
|
#define GETPVNAME(i,p) \ |
|
(PVATTR(i)==0?(int)((p)=CPVS->va[(unsigned int)(i)].name)\ |
|
:PVATTR(i)==1?(int)((p)=GPVS->va[PVIND(i)].name)\ |
|
:PVATTR(i)==2?(int)((p)=MPVS->va[PVIND(i)].name)\ |
|
:(int)((p)=PPVS->va[PVIND(i)].name)) |
|
|
#define ASSPV(i,p) \ |
#define ASSPV(i,p) \ |
((int)(i)>=0 ? (int)(CPVS->va[(unsigned int)(i)].priv=(pointer)(p))\ |
(PVATTR(i)==0?(int)(CPVS->va[(unsigned int)(i)].priv=(pointer)(p))\ |
: (int)(GPVS->va[(unsigned int)(i)&(~MSB)].priv=(pointer)(p))) |
:PVATTR(i)==1?(int)(GPVS->va[PVIND(i)].priv=(pointer)(p))\ |
|
:PVATTR(i)==2?(int)(MPVS->va[PVIND(i)].priv=(pointer)(p))\ |
|
:(int)(PPVS->va[PVIND(i)].priv=(pointer)(p))) |
|
|
#define NEWNODE2(a) ((a)=(NODE2)MALLOC(sizeof(struct oNODE2))) |
#define NEWNODE2(a) ((a)=(NODE2)MALLOC(sizeof(struct oNODE2))) |
#define MKNODE2(a,b,c,d) \ |
#define MKNODE2(a,b,c,d) \ |
Line 297 switch ( id ) {\ |
|
Line 313 switch ( id ) {\ |
|
#define BDY1(a) ((a)->body1) |
#define BDY1(a) ((a)->body1) |
#define BDY2(a) ((a)->body2) |
#define BDY2(a) ((a)->body2) |
|
|
extern VS GPVS,CPVS,EPVS,APVS; |
extern VS GPVS,CPVS,EPVS,APVS,MPVS,PPVS; |
|
extern MODULE CUR_MODULE; |
|
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 IN 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; |
|
extern NODE current_option; |
|
|
#if defined(VISUAL_LIB) |
#if defined(VISUAL_LIB) |
#include <w_stdio.h> |
#include <w_stdio.h> |
Line 319 extern int Verbose; |
|
Line 341 extern int Verbose; |
|
#define fflush w_fflush |
#define fflush w_fflush |
#endif |
#endif |
|
|
#if defined(THINK_C) || defined(VISUAL) |
#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 333 void call_usrf(); |
|
Line 355 void call_usrf(); |
|
|
|
/* prototypes */ |
/* prototypes */ |
|
|
#if 1 || defined(THINK_C) || defined(VISUAL) |
void dp_ptozp2_d(DP,DP,DP *,DP *); |
void dp_ptozp2_d(NODE,int,DP,DP,DP *,DP *); |
void dp_ptozp_d(DP,DP *); |
void dp_ptozp_d(NODE,int,DP,DP *); |
|
void dp_ptozp_d_old(NODE,int,DP,DP *); |
|
void dp_vtod(Q *,DP,DP *); |
void dp_vtod(Q *,DP,DP *); |
void dp_idivv_hist(Q,DP *); |
void dp_idivv_hist(Q,DP *); |
void dp_igcdv_hist(DP,Q *); |
void dp_igcdv_hist(DP,Q *); |
|
void dp_ptozp3(DP,Q *,DP *); |
void dp_ptozp2(DP,DP,DP *,DP *); |
void dp_ptozp2(DP,DP,DP *,DP *); |
void dp_ptozp(DP,DP *); |
void dp_ptozp(DP,DP *); |
void dp_nf_tab_mod(DP,LIST *,int,DP *); |
void dp_nf_tab_mod(DP,LIST *,int,DP *); |
Line 375 void dp_mod(DP,int,NODE,DP *); |
|
Line 396 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 431 void input_init(FILE *,char *); |
|
Line 452 void input_init(FILE *,char *); |
|
void asir_terminate(int); |
void asir_terminate(int); |
void param_init(void); |
void param_init(void); |
void sprompt(char *); |
void sprompt(char *); |
|
void cppname_init(); |
void process_args(int,char **); |
void process_args(int,char **); |
void sig_init(void); |
void sig_init(void); |
void asir_save_handler(void); |
void asir_save_handler(void); |
Line 464 int yyparse(void); |
|
Line 486 int yyparse(void); |
|
void nodetod(NODE,DP *); |
void nodetod(NODE,DP *); |
void poppvs(void); |
void poppvs(void); |
int length(NODE); |
int length(NODE); |
int get_heapsize(void); |
size_t 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); |
void asir_terminate(int); |
void asir_terminate(int); |
void searchasirpath(char *,char **); |
void searchasirpath(char *,char **); |
void get_vars(Obj,VL *); |
void get_vars(Obj,VL *); |
void appendbinf(NODE *,char *,void(*)(),int); |
void appendbinf(NODE *,char *,void(*)(),int,unsigned int); |
void appendubinf(char *,void(*)(),int); |
void appendubinf(char *,void(*)(),int,unsigned int); |
void parif_init(void); |
void parif_init(void); |
void sysf_init(void); |
void sysf_init(void); |
void makesrvar(FUNC, P *); |
void makesrvar(FUNC, P *); |
Line 500 int gettype(unsigned int); |
|
Line 523 int gettype(unsigned int); |
|
int indextotype(int,int); |
int indextotype(int,int); |
int loadfile(char *); |
int loadfile(char *); |
int loadfiles(NODE); |
int loadfiles(NODE); |
int makepvar(char *); |
unsigned int makepvar(char *); |
int membertoindex(int,char *); |
int membertoindex(int,char *); |
int qcoefp(Obj); |
int qcoefp(Obj); |
int qcoefr(Obj); |
int qcoefr(Obj); |
int rangecheck(Obj,int); |
int rangecheck(Obj,int); |
int structtoindex(char *); |
int structtoindex(char *); |
pointer eval(FNODE); |
|
pointer evalf(FUNC,FNODE,FNODE); |
|
pointer evalif(FNODE,FNODE); |
|
pointer evalnode(NODE node); |
|
pointer evalpf(PF,NODE); |
|
pointer evalparif(FUNC,NODE); |
|
pointer evalpv(int,FNODE,pointer); |
|
pointer evalstat(SNODE f); |
|
void _mkpfins(PF ,Obj *,V *); |
void _mkpfins(PF ,Obj *,V *); |
void appendpfins(V ,V *); |
void appendpfins(V ,V *); |
void appenduf(char *,FUNC *); |
void appenduf(char *,FUNC *); |
Line 547 void instov(PFINS ,V *); |
|
Line 562 void instov(PFINS ,V *); |
|
Obj memberofstruct(COMP,char *); |
Obj memberofstruct(COMP,char *); |
void mkpf(char *,Obj ,int ,V *,int (*)(),double (*)(),int (*)(),PF *); |
void mkpf(char *,Obj ,int ,V *,int (*)(),double (*)(),int (*)(),PF *); |
void mkpfins(PF ,V *,V *); |
void mkpfins(PF ,V *,V *); |
void mkuf(char *,char *,NODE,SNODE,int,int,char *); |
void mkuf(char *,char *,NODE,SNODE,int,int,char *,MODULE); |
void newstruct(int,struct oCOMP **); |
void newstruct(int,struct oCOMP **); |
void optobj(Obj *); |
void optobj(Obj *); |
void println(int, char **, int); |
void println(int, char **, int); |
Line 582 void divcomp(VL,COMP,COMP,COMP *); |
|
Line 597 void divcomp(VL,COMP,COMP,COMP *); |
|
void chsgncomp(COMP,COMP *); |
void chsgncomp(COMP,COMP *); |
void pwrcomp(VL,COMP,Obj,COMP *); |
void pwrcomp(VL,COMP,Obj,COMP *); |
int compcomp(VL,COMP,COMP); |
int compcomp(VL,COMP,COMP); |
#else |
|
int arf_comp(); |
void mergedeglist(NODE d0,NODE d1,NODE *dr); |
int complist(); |
void getdeglist(P p,V v,NODE *d); |
int complist(); |
void restore_mvar(VL vl,P p,V v,P *r); |
int getcompsize(); |
void change_mvar(VL vl,P p,V v,P *r); |
int getpvar(); |
void getcoef(VL vl,P p,V v,Q d,P *r); |
int getpvar(); |
void ranp(int n,UP *nr); |
int gettype(); |
|
int indextotype(); |
void _print_mp(int nv,MP m); |
int loadfile(); |
int dp_homogeneous(DP p); |
int loadfiles(); |
int dp_nt(DP p); |
int makepvar(); |
int dl_equal(int nv,DL dl1,DL dl2); |
int membertoindex(); |
DL lcm_of_DL(int nv,DL dl1,DL dl2,DL dl); |
int qcoefp(); |
void dp_rest(DP p,DP *rp); |
int qcoefr(); |
void dp_hm(DP p,DP *rp); |
int rangecheck(); |
void dltod(DL d,int n,DP *rp); |
int structtoindex(); |
void dp_subd(DP p1,DP p2,DP *rp); |
pointer eval(); |
int dp_redble(DP p1,DP p2); |
pointer evalf(); |
void sortbynm(Q *w,int n); |
pointer evalif(); |
int comp_nm(Q *a,Q *b); |
pointer evalnode(); |
void qltozl(Q *w,int n,Q *dvr); |
pointer evalpf(); |
void dp_rat(DP p,DP *rp); |
pointer evalparif(); |
void dp_mod(DP p,int mod,NODE subst,DP *rp); |
pointer evalpv(); |
void dp_dehomo(DP p,DP *rp); |
pointer evalstat(); |
void dp_homo(DP p,DP *rp); |
void _mkpfins(); |
void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp); |
void appendpfins(); |
void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p); |
void appenduf(); |
void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p); |
void arf_add(); |
void _dp_nf_mod_destructive(NODE b,DP g,DP *ps,int mod,int full,DP *rp); |
void arf_chsgn(); |
void dp_true_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp,P *dnp); |
void arf_div(); |
void dp_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp); |
void arf_init(); |
void dp_nf_f(NODE b,DP g,DP *ps,int full,DP *rp); |
void arf_mul(); |
void dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *rp); |
void arf_pwr(); |
void dp_true_nf(NODE b,DP g,DP *ps,int full,DP *rp,P *dnp); |
void arf_remain(); |
void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *rp); |
void arf_sub(); |
void dp_red_mod(DP p0,DP p1,DP p2,int mod,DP *head,DP *rest,P *dnp); |
void bp(); |
void dp_red_f(DP p1,DP p2,DP *rest); |
void clearbp(); |
void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp,DP *multp); |
void debug(); |
void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp); |
void debug_init(); |
void _dp_sp_mod_dup(DP p1,DP p2,int mod,DP *rp); |
void delbp(); |
void dp_sp_mod(DP p1,DP p2,int mod,DP *rp); |
void derivr(); |
void _dp_sp_dup(DP p1,DP p2,DP *rp); |
void derivvar(); |
void dp_sp(DP p1,DP p2,DP *rp); |
void duppfins(); |
void dp_dtov(DP dp,VECT *rp); |
void error(); |
void dp_cont(DP p,Q *rp); |
void evalins(); |
void dp_prim_mod(DP p,int mod,DP *rp); |
void evalnodebody(); |
void heu_nezgcdnpz(VL vl,P *pl,int m,P *pr); |
void evalp(); |
void dp_prim(DP p,DP *rp); |
void evalr(); |
void dp_ptozp2_d(DP p0,DP p1,DP *hp,DP *rp); |
void evalv(); |
void dp_ptozp_d(DP p,DP *rp); |
void getarrayp(); |
void dp_vtod(Q *c,DP p,DP *rp); |
void getmember(); |
void insert_to_node(DL d,NODE *n,int nvar); |
void getmemberp(); |
int _dl_redble(DL d1,DL d2,int nvar); |
void help(); |
void dp_mbase(NODE hlist,NODE *mbase); |
void instov(); |
void dp_idiv(DP p,Q c,DP *rp); |
Obj memberofstruct(); |
void dp_ptozp2(DP p0,DP p1,DP *hp,DP *rp); |
void mkpf(); |
void dp_ptozp(DP p,DP *rp); |
void mkpfins(); |
int eqdl(int nv,DL dl1,DL dl2); |
void mkuf(); |
void _dpmod_to_vect(DP f,DL *at,int *b); |
void newstruct(); |
void _tf_to_vect_compress(NODE tf,DL *at,CDP *b); |
void optobj(); |
void dp_to_vect(DP f,DL *at,Q *b); |
void println(); |
NODE dp_dllist(DP f); |
void printvars(); |
NODE mul_dllist(DL d,DP f); |
|
void pdl(NODE f); |
|
void dp_gr_main(LIST f,LIST v,Num homo,int modular,int field,struct order_spec *ord,LIST *rp); |
|
void dp_gr_mod_main(LIST f,LIST v,Num homo,int m,struct order_spec *ord,LIST *rp); |
|
void dp_f4_main(LIST f,LIST v,struct order_spec *ord,LIST *rp); |
|
void dp_f4_mod_main(LIST f,LIST v,int m,struct order_spec *ord,LIST *rp); |
|
NODE gb_f4(NODE f); |
|
NODE gb_f4_mod(NODE f,int m); |
|
NODE gb_f4_mod_old(NODE f,int m); |
|
int DPPlength(DP_pairs n); |
|
void printdl(DL dl); |
|
void pltovl(LIST l,VL *vl); |
|
void makesubst(VL v,NODE *s); |
|
void printsubst(NODE s); |
|
void vlminus(VL v,VL w,VL *d); |
|
int validhc(P a,int m,NODE s); |
|
void setup_arrays(NODE f,int m,NODE *r); |
|
void prim_part(DP f,int m,DP *r); |
|
NODE /* of DP */ NODE_sortb_insert( DP newdp, NODE /* of DP */ nd, int dec ); |
|
NODE NODE_sortb( NODE node, int dec ); |
|
NODE /* of index */ NODE_sortbi_insert( int newdpi, NODE /* of index */ nd, int dec ); |
|
NODE NODE_sortbi( NODE node, int dec ); |
|
void reduceall(NODE in,NODE *h); |
|
void reduceall_mod(NODE in,int m,NODE *h); |
|
int newps(DP a,int m,NODE subst); |
|
int newps_nosave(DP a,int m,NODE subst); |
|
int newps_mod(DP a,int m); |
|
void reducebase_dehomo(NODE f,NODE *g); |
|
NODE append_one(NODE f,int n); |
|
DP_pairs minp( DP_pairs d, DP_pairs *prest ); |
|
void minsugar(DP_pairs d,DP_pairs *dm,DP_pairs *dr); |
|
NODE gb(NODE f,int m,NODE subst); |
|
NODE gb_mod(NODE f,int m); |
|
DP_pairs updpairs( DP_pairs d, NODE /* of index */ g, int t); |
|
DP_pairs newpairs( NODE /* of index */ g, int t ); |
|
DP_pairs criterion_B( DP_pairs d, int s ); |
|
DP_pairs criterion_M( DP_pairs d1 ); |
|
int criterion_2( int dp1, int dp2 ); |
|
DP_pairs criterion_F( DP_pairs d1 ); |
|
NODE updbase(NODE g,int t); |
|
NODE /* of index */ remove_reducibles(NODE /* of index */ nd, int newdp ); |
|
int dl_redble(DL dl1,DL dl2); |
|
int dl_weyl_weight(DL dl); |
|
int gbcheck(NODE f); |
|
int membercheck(NODE f,NODE x); |
|
void dp_set_flag(Obj name,Obj value); |
|
void dp_make_flaglist(LIST *list); |
|
void dp_save(int index,Obj p,char *prefix); |
|
void dp_load(int index,DP *p); |
|
int dp_load_t(int index,DP *p); |
|
void init_stat(); |
|
void print_stat(); |
|
void dp_mulc_d(DP p,P c,DP *r); |
|
void _dp_nf(NODE b,DP g,DP *ps,int full,DP *rp); |
|
void _dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *r); |
|
void dp_imul_d(DP p,Q q,DP *rp); |
|
void imulv(VECT w,Q c,VECT *rp); |
|
void dptoca(DP p,unsigned int **rp); |
|
int yylex(); |
|
void purge_stdin(); |
|
int afternl(); |
|
int aftercomment(); |
|
int myatoi(char *s); |
|
void yyerror(char *s); |
|
int Egetc(FILE *fp); |
|
void Eungetc(int c,FILE *fp); |
|
int readline_getc(); |
|
void readline_ungetc(); |
|
char *readline_console(char *prompt); |
|
void ox_usr1_handler(int sig); |
|
void env_init(); |
|
void loadasirfile(char *name0); |
|
void execasirfile(char *name); |
|
void load_and_execfile(char *name); |
|
int loadfile(char *s); |
|
int loadfiles(NODE node); |
|
unsigned char encrypt_char(unsigned char c); |
|
unsigned char decrypt_char(unsigned char c); |
|
void encrypt_file(char *in,char *out); |
|
void decrypt_file(char *in,char *out); |
|
void get_vars(Obj t,VL *vlp); |
|
void get_vars_recursive(Obj obj,VL *vlp); |
|
int comp_obj(Obj *a,Obj *b); |
|
int generic_comp_obj(Obj *a,Obj *b); |
|
void sepvect(VECT v,int d,VECT *rp); |
|
int gauss_elim_mod(int **mat,int row,int col,int md); |
|
int generic_gauss_elim(MAT mat,MAT *nm,Q *dn,int **rindp,int **cindp); |
|
int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn,int **rindp,int **cindp); |
|
int gensolve_check(MAT mat,MAT nm,Q dn,int *rind,int *cind); |
|
int inttorat(N c,N m,N b,int *sgnp,N *nmp,N *dnp); |
|
int intmtoratm(MAT mat,N md,MAT nm,Q *dn); |
|
int intmtoratm_q(MAT mat,N md,MAT nm,Q *dn); |
|
void reduce_reducers_mod(int **mat,int row,int col,int md); |
|
void pre_reduce_mod(int **mat,int row,int col,int nred,int md); |
|
void reduce_sp_by_red_mod(int *sp,int **redmat,int *ind,int nred,int col,int md); |
|
void red_by_compress(int m,unsigned int *p,unsigned int *r, |
|
unsigned int *ri,unsigned int hc,int len); |
|
void red_by_vect(int m,unsigned int *p,unsigned int *r,unsigned int hc,int len); |
|
void reduce_sp_by_red_mod_compress (int *sp,CDP *redmat,int *ind, |
|
int nred,int col,int md); |
|
int generic_gauss_elim_mod(int **mat0,int row,int col,int md,int *colstat); |
|
int lu_gfmmat(GFMMAT mat,unsigned int md,int *perm); |
|
int find_lhs_and_lu_mod(unsigned int **a,int row,int col, |
|
unsigned int md,int **rinfo,int **cinfo); |
|
void solve_by_lu_mod(int **a,int n,int md,int **b,int l,int normalize); |
|
int gauss_elim_mod1(int **mat,int row,int col,int md); |
|
int gauss_elim_geninv_mod(unsigned int **mat,int row,int col,int md); |
|
void solve_by_lu_gfmmat(GFMMAT lu,unsigned int md,unsigned int *b,unsigned int *x); |
|
void mat_to_gfmmat(MAT m,unsigned int md,GFMMAT *rp); |
|
int gauss_elim_geninv_mod_swap(unsigned int **mat,int row,int col, |
|
unsigned int md,unsigned int ***invmatp,int **indexp); |
|
void inner_product_int(Q *a,Q *b,int n,Q *r); |
|
void inner_product_mat_int_mod(Q **a,int **b,int n,int k,int l,Q *r); |
|
int generate_ONB_polynomial(UP2 *rp,int m,int type); |
|
int _generate_irreducible_polynomial(UP2 f,int d); |
|
int _generate_good_irreducible_polynomial(UP2 f,int d); |
|
void printqmat(Q **mat,int row,int col); |
|
void printimat(int **mat,int row,int col); |
|
void ixor(N n1,N n2,N *r); |
|
void ior(N n1,N n2,N *r); |
|
void iand(N n1,N n2,N *r); |
|
void isqrt(N a,N *r); |
|
void igcd_cofactor(Q a,Q b,Q *gcd,Q *ca,Q *cb); |
|
int comp_n(N *a,N *b); |
|
int TypeT_NB_check(unsigned int m, unsigned int t); |
|
int small_jacobi(int a,int m); |
|
void pushpvs(FUNC f); |
|
void poppvs(); |
|
unsigned int makepvar(char *str); |
|
int searchpvar(char *str); |
|
int getpvar(VS pvs,char *str,int searchonly); |
|
void closecurrentinput(); |
void resetpvs(); |
void resetpvs(); |
void searchc(); |
void savepvs(); |
void searchf(); |
void restorepvs(); |
void searchpf(); |
void storeans(pointer p); |
void searchsn(); |
void get_rootdir(char *name,int len); |
void setbp(); |
void set_rootdir(char *name); |
void setf(); |
int process_id(); |
void setstruct(); |
void call_exe(char *name,char **av); |
void showbp(); |
void addquote(VL vl,QUOTE a,QUOTE b,QUOTE *c); |
|
void subquote(VL vl,QUOTE a,QUOTE b,QUOTE *c); |
|
void mulquote(VL vl,QUOTE a,QUOTE b,QUOTE *c); |
|
void divquote(VL vl,QUOTE a,QUOTE b,QUOTE *c); |
|
void pwrquote(VL vl,QUOTE a,QUOTE b,QUOTE *c); |
|
void chsgnquote(QUOTE a,QUOTE *c); |
|
void objtoquote(Obj a,QUOTE *c); |
|
void polytoquote(P a,QUOTE *c); |
|
void dptoquote(DP a,QUOTE *c); |
|
void dctoquote(DCP dc,QUOTE v,QUOTE *c,int *sgn); |
|
void mptoquote(MP m,int n,QUOTE *c,int *sgn); |
|
void vartoquote(V v,QUOTE *c); |
|
void fnodetotree(FNODE f,LIST *rp); |
|
FNODE eval_pvar_in_fnode(FNODE f); |
|
FNODE subst_in_fnode(FNODE f,V v,FNODE g); |
|
char *get_attribute(char *key,LIST attr); |
|
void treetofnode(Obj obj,FNODE *f); |
|
void glob_init() ; |
|
void input_init(FILE *fp,char *name); |
|
void notdef(VL vl,Obj a,Obj b,Obj *c); |
|
void ExitAsir() ; |
|
void asir_terminate(int status); |
|
void param_init() ; |
|
void prompt() ; |
|
void sprompt(char *ptr); |
|
void process_args(int ac,char **av); |
|
void sig_init() ; |
|
static void (*old_int)(int);; |
|
void asir_save_handler() ; |
|
void asir_set_handler() ; |
|
void asir_reset_handler() ; |
|
void resetenv(char *s); |
|
void fatal(int n); |
|
void int_handler(int sig); |
|
void restore_handler() ; |
|
void segv_handler(int sig); |
|
void ill_handler(int sig); |
|
void alrm_handler(int sig); |
|
void bus_handler(int sig); |
|
void fpe_handler(int sig); |
|
void pipe_handler(int sig); |
|
void resize_buffer(); |
|
void tty_init() ; |
|
void tty_reset() ; |
|
void set_lasterror(char *s); |
|
void error(char *s); |
|
void set_timer(int interval); |
|
void reset_timer(); |
|
void copyright() ; |
|
void show_debug_window(int on); |
|
void init_cmdwin(); |
|
void searchpf(char *name,FUNC *fp); |
|
void searchc(char *name,FUNC *fp); |
|
void mkpf(char *name,Obj body,int argc,V *args, |
|
int (*parif)(),double (*libmf)(), int (*simp)(),PF *pfp); |
|
void mkpfins(PF pf,V *args,V *vp); |
|
void _mkpfins(PF pf,Obj *args,V *vp); |
|
void _mkpfins_with_darray(PF pf,Obj *args,int *darray,V *vp); |
|
void appendpfins(V v,V *vp); |
|
void duppfins(V v,V *vp); |
|
void derivvar(VL vl,V pf,V v,Obj *a); |
|
void derivr(VL vl,Obj a,V v,Obj *b); |
|
void substr(VL vl,int partial,Obj a,V v,Obj b,Obj *c); |
|
void substpr(VL vl,int partial,Obj p,V v0,Obj p0,Obj *pr); |
|
void evalr(VL vl,Obj a,int prec,Obj *c); |
|
void evalp(VL vl,P p,int prec,P *pr); |
|
void evalv(VL vl,V v,int prec,Obj *rp); |
|
void evalins(PFINS ins,int prec,Obj *rp); |
|
void devalr(VL vl,Obj a,Obj *c); |
|
void devalp(VL vl,P p,P *pr); |
|
void devalv(VL vl,V v,Obj *rp); |
|
void devalins(PFINS ins,Obj *rp); |
|
void simplify_ins(PFINS ins,Obj *rp); |
|
void instov(PFINS ins,V *vp); |
|
void substfr(VL vl,Obj a,PF u,PF f,Obj *c); |
|
void substfp(VL vl,Obj p,PF u,PF f,Obj *pr); |
|
void substfv(VL vl,V v,PF u,PF f,Obj *c); |
|
int structdef(char *name,NODE member); |
|
void newstruct(int type,COMP *rp); |
|
int structtoindex(char *name); |
|
int membertoindex(int type,char *name); |
|
int getcompsize(int type); |
|
Obj memberofstruct(COMP a,char *name); |
|
void assign_to_member(COMP a,char *name,Obj obj); |
|
void node_concat_dup(NODE n1,NODE n2,NODE *nr); |
|
pointer evall(lid id,Obj a1,Obj a2); |
|
pointer eval(FNODE f); |
|
pointer evalstat(SNODE f); |
|
pointer evalnode(NODE node); |
|
pointer evalf(FUNC f,FNODE a,FNODE opt); |
|
pointer evalparif(FUNC f,NODE a); |
|
pointer evalf_deriv(FUNC f,FNODE a,FNODE deriv); |
|
pointer evalmapf(FUNC f,FNODE a); |
|
pointer eval_rec_mapf(FUNC f,FNODE a); |
|
pointer beval_rec_mapf(FUNC f,NODE node); |
|
pointer bevalf(FUNC f,NODE a); |
|
pointer bevalf_with_opts(FUNC f,NODE a,NODE opts); |
|
pointer evalif(FNODE f,FNODE a,FNODE opt); |
|
pointer evalpf(PF pf,NODE args,NODE deriv); |
|
void evalnodebody(NODE sn,NODE *dnp); |
|
void gen_searchf(char *name,FUNC *r); |
|
void searchf(NODE fn,char *name,FUNC *r); |
|
void appenduf(char *name,FUNC *r); |
|
void mkparif(char *name,FUNC *r); |
|
void mkuf(char *name,char *fname,NODE args,SNODE body,int startl,int endl,char *desc,MODULE module); |
|
Obj getopt_from_cpvs(char *key); |
|
void des_enc(unsigned long *, unsigned char *, unsigned long *); |
|
unsigned long round_func(unsigned long , unsigned char *); |
|
unsigned long s_box_func(unsigned char *); |
|
void des_dec(unsigned long *, unsigned char *, unsigned long *); |
|
void key_schedule(unsigned char *,unsigned char *); |
|
void debug_init(); |
|
void add_alias(char *com,char *alias); |
|
void show_alias(char *alias); |
|
void debug(SNODE f); |
|
void setf(int ac,char **av); |
|
void setbp(char *p); |
|
void settp(char *p); |
|
void clearbp(FUNC f); |
|
int searchbp(); |
|
void delbp(int ac,char **av); |
void showbps(); |
void showbps(); |
|
void showbp(int n); |
|
void searchsn(SNODE *fp,int n,SNODE **fpp); |
|
void bp(SNODE f); |
|
void println(int ac,char **av,int l); |
|
void printvars(char *s,VS vs); |
void showpos(); |
void showpos(); |
void simplify_ins(); |
void showpos_to_string(char *buf); |
void sprintvars(); |
void change_stack(int level,NODE *pvss); |
int structdef(); |
void show_stack(VS vs); |
void substfp(); |
int estimate_length(VL vl,pointer p); |
void substfr(); |
void send_progress(short per,char *msg); |
void substfv(); |
void set_error(int code,char *reason,char *action); |
void substpr(); |
double get_current_time(); |
void substr(); |
|
void appendtonode(); |
|
void getarray(); |
|
void putarray(); |
|
|
|
void addcomp(); |
|
void subcomp(); |
|
void mulcomp(); |
|
void divcomp(); |
|
void chsgncomp(); |
|
void pwrcomp(); |
|
int compcomp(); |
|
#endif |
|