=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/global.c,v retrieving revision 1.4 retrieving revision 1.15 diff -u -p -r1.4 -r1.15 --- OpenXM/src/kan96xx/Kan/global.c 1999/11/07 13:24:19 1.4 +++ OpenXM/src/kan96xx/Kan/global.c 2001/05/04 01:06:23 1.15 @@ -1,4 +1,4 @@ -/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.3 1999/11/06 10:37:29 takayama Exp $ */ +/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.14 2000/12/03 07:29:38 takayama Exp $ */ #include #include #include "datatype.h" @@ -13,22 +13,22 @@ Any setting must keep the relation: L<=M<=N. You must see mmwMult() in poly.c in the above case. Example. L=M=0 means there is no q-variables and difference variables. - L=5, M=N=5 means all variables are q-variables (x0=q). - L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are - differential variables. - L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4 - are differential variables. */ + L=5, M=N=5 means all variables are q-variables (x0=q). + L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are + differential variables. + L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4 + are differential variables. */ /*#define L 0 number of q-variables */ /*#define M 0 number of difference variables */ /*Number of elimination variables */ /*#define LL 0 */ /*#define MM 0 */ - /* x_MM,...,x_{M-1} are eliminated difference variables */ - /* MM < M if you want to use it. MM>=M if you do not use it */ +/* x_MM,...,x_{M-1} are eliminated difference variables */ +/* MM < M if you want to use it. MM>=M if you do not use it */ /*#define NN 9 */ - /*x_NN,...,x_{N-1} are eliminated differential variables */ - /* NN < N if you want to use it. NN>=N if you do not use it. - See the eliminated_standard() in dbm3.c */ +/*x_NN,...,x_{N-1} are eliminated differential variables */ +/* NN < N if you want to use it. NN>=N if you do not use it. + See the eliminated_standard() in dbm3.c */ /* They are not used. @@ -86,6 +86,7 @@ int Criterion2B = 0; int Criterion2M = 0; int Criterion2F = 0; int Statistics = 0; +int AutoReduce = 0; int CheckHomogenization = 1; int ErrorMessageMode = 0; int WarningMessageMode = 0; @@ -99,15 +100,17 @@ int KSPushEnvMode = 0; int Sugar = 0; int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e (x+h) or (0)x + e(x+h) */ int CmoDMSOutputOption = 0; /* Output with - (1) RING_BY_NAME or (0) DMS_OF_N_VARIABLES. - plugin/cmo.c */ + (1) RING_BY_NAME or (0) DMS_OF_N_VARIABLES. + plugin/cmo.c */ +int SecureMode = 0; /* global variables for stackmachine.c */ int VerboseStack = 1; /* 0 is quiet, 1 is standard, 2 ... */ int DebugStack = 0; -FILE *Fstack = stdout; /* standard output stream - for module: stackmachine */ +FILE *Fstack = NULL; /* Initialized to standard output stream + in stackmachine_init() + for module: stackmachine */ #if defined(sun) /* in case of Solaris, use the following: */ @@ -124,7 +127,7 @@ int Lookup[TYPES][TYPES]; int Quiet = 0; int TimerOn = 0; -char *VersionString = "2.991106"; +char *VersionString = "3.001203"; char *LeftBracket = NULL; char *RightBracket = NULL; @@ -136,10 +139,18 @@ int OXprintMessage = 1; /* referred only from ox_sm1 char *OxSystem = "ox_sm1.plain"; /* Example : ox_sm1.plain */ char *OxSystemVersion = NULL; /* Example : 0.1 */ +/* global variables for kanExport0.c */ +int VerboseK = 1; /* 1 is standard */ +int DebugK = 0; +FILE *Fk = NULL; /* Initialized to stdout in stackmachine_init() */ + stackmachine_init() { int i,j; + extern FILE *BaseFp; OxSystemVersion = VersionString; Fstack = stdout; /* initialize output stream */ + Fk = stdout; + BaseFp = stdin; LeftBracket = "["; RightBracket = "]"; /* initialize null object */ NullObject.tag = 0; @@ -165,10 +176,6 @@ stackmachine_close() { } -/* global variables for kanExport0.c */ -int VerboseK = 1; /* 1 is standard */ -int DebugK = 0; -FILE *Fk = stdout; Kclose() { /* close Fk */