version 1.25, 2003/08/20 01:39:17 |
version 1.38, 2020/10/06 11:33:46 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.24 2003/08/19 08:02:09 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.37 2015/09/29 01:52:14 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
#include "lookup.h" |
#include "lookup.h" |
|
|
|
void hashInitialize(struct dictionary *dic); /* declared in extern.h */ |
|
void initClassDataBase(void); |
/*-------- variables to define a ring ----------------*/ |
/*-------- variables to define a ring ----------------*/ |
/* |
/* |
The numbers L,M, LL,MM,NN are set in setUpRing() in setupring.c now. |
The numbers L,M, LL,MM,NN are set in setUpRing() in setupring.c now. |
Line 79 int Commutative = 0; |
|
Line 81 int Commutative = 0; |
|
int UseCriterion1 = 0; |
int UseCriterion1 = 0; |
int UseCriterion2B = 0; |
int UseCriterion2B = 0; |
int OutputStyle = '*'; |
int OutputStyle = '*'; |
|
int COutput = 0; /* C sytle output of polynomial */ |
int Wrap = 0; /* output.c */ |
int Wrap = 0; /* output.c */ |
int Verbose = 0; |
int Verbose = 0; |
int ReduceLowerTerms = 1; |
int ReduceLowerTerms = 1; |
Line 103 int CmoDMSOutputOption = 0; /* Output with |
|
Line 106 int CmoDMSOutputOption = 0; /* Output with |
|
(1) RING_BY_NAME or (0) DMS_OF_N_VARIABLES. |
(1) RING_BY_NAME or (0) DMS_OF_N_VARIABLES. |
plugin/cmo.c */ |
plugin/cmo.c */ |
int SecureMode = 0; |
int SecureMode = 0; |
|
int RestrictedMode = 0; |
|
int RestrictedMode_saved = 0; |
int Ecart = 0; |
int Ecart = 0; |
int EcartAutomaticHomogenization = 0; |
int EcartAutomaticHomogenization = 0; |
int TraceLift = 0; |
int TraceLift = 0; |
struct ring *TraceLift_ringmod = NULL; |
struct ring *TraceLift_ringmod = NULL; |
int DoCancel = 0; |
int DoCancel = 0; |
|
int QuoteMode = 0; |
|
int UseDsmall = 0; |
|
|
/* global variables for stackmachine.c */ |
/* global variables for stackmachine.c */ |
int VerboseStack = 1; /* 0 is quiet, 1 is standard, 2 ... */ |
int VerboseStack = 1; /* 0 is quiet, 1 is standard, 2 ... */ |
Line 128 jmp_buf EnvOfStackMachine; |
|
Line 135 jmp_buf EnvOfStackMachine; |
|
#endif |
#endif |
#endif |
#endif |
|
|
#if defined(__CYGWIN__) |
|
int errno; |
|
#endif |
|
|
|
struct object NullObject; |
struct object NullObject; |
struct object NoObject; |
struct object NoObject; |
|
|
Line 140 int Lookup[TYPES][TYPES]; |
|
Line 143 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.030718"; |
char *VersionString = "3.050615"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |
Line 157 int VerboseK = 1; /* 1 is standard */ |
|
Line 160 int VerboseK = 1; /* 1 is standard */ |
|
int DebugK = 0; |
int DebugK = 0; |
FILE *Fk = NULL; /* Initialized to stdout in stackmachine_init() */ |
FILE *Fk = NULL; /* Initialized to stdout in stackmachine_init() */ |
|
|
stackmachine_init() { |
void stackmachine_init() { |
int i,j; |
int i,j; |
extern FILE *BaseFp; |
extern FILE *BaseFp; |
|
/* GC_init(); */ |
|
GC_INIT(); |
OxSystemVersion = VersionString; |
OxSystemVersion = VersionString; |
Fstack = stdout; /* initialize output stream */ |
Fstack = stdout; /* initialize output stream */ |
Fk = stdout; |
Fk = stdout; |
Line 168 stackmachine_init() { |
|
Line 173 stackmachine_init() { |
|
/* initialize null object */ |
/* initialize null object */ |
NullObject.tag = 0; |
NullObject.tag = 0; |
NullObject.lc.op = NullObject.rc.op = (struct object *)NULL; |
NullObject.lc.op = NullObject.rc.op = (struct object *)NULL; |
|
NullObject.attr = (struct object *)NULL; |
/* findUserdictionary returns NoObject if it cannot find the key.*/ |
/* findUserdictionary returns NoObject if it cannot find the key.*/ |
NoObject.tag = -1; |
NoObject.tag = -1; |
NoObject.lc.op = NoObject.rc.op = (struct object *)NULL; |
NoObject.lc.op = NoObject.rc.op = (struct object *)NULL; |
|
NoObject.attr = (struct object *)NULL; |
/* Initalize lookup table */ |
/* Initalize lookup table */ |
for (i=0; i<TYPES; i++) { |
for (i=0; i<TYPES; i++) { |
for (j=0; j<TYPES; j++) |
for (j=0; j<TYPES; j++) |
Line 184 stackmachine_init() { |
|
Line 191 stackmachine_init() { |
|
} |
} |
|
|
|
|
stackmachine_close() { |
int stackmachine_close() { |
/* close output stream */ |
/* close output stream */ |
} |
} |
|
|
|
|
|
|
Kclose() { |
void Kclose() { |
/* close Fk */ |
/* close Fk */ |
} |
} |
|
|