version 1.7, 2000/01/16 07:55:38 |
version 1.23, 2003/07/17 23:37:01 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.6 1999/11/27 01:41:10 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.22 2003/07/17 07:33:03 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
|
|
Any setting must keep the relation: L<=M<=N. |
Any setting must keep the relation: L<=M<=N. |
You must see mmwMult() in poly.c in the above case. |
You must see mmwMult() in poly.c in the above case. |
Example. L=M=0 means there is no q-variables and difference variables. |
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=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 |
L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are |
differential variables. |
differential variables. |
L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4 |
L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4 |
are differential variables. */ |
are differential variables. */ |
/*#define L 0 number of q-variables */ |
/*#define L 0 number of q-variables */ |
/*#define M 0 number of difference variables */ |
/*#define M 0 number of difference variables */ |
/*Number of elimination variables */ |
/*Number of elimination variables */ |
/*#define LL 0 */ |
/*#define LL 0 */ |
/*#define MM 0 */ |
/*#define MM 0 */ |
/* x_MM,...,x_{M-1} are eliminated difference variables */ |
/* 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 */ |
/* MM < M if you want to use it. MM>=M if you do not use it */ |
/*#define NN 9 */ |
/*#define NN 9 */ |
/*x_NN,...,x_{N-1} are eliminated differential variables */ |
/*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. |
/* NN < N if you want to use it. NN>=N if you do not use it. |
See the eliminated_standard() in dbm3.c */ |
See the eliminated_standard() in dbm3.c */ |
|
|
|
|
/* They are not used. |
/* They are not used. |
Line 86 int Criterion2B = 0; |
|
Line 86 int Criterion2B = 0; |
|
int Criterion2M = 0; |
int Criterion2M = 0; |
int Criterion2F = 0; |
int Criterion2F = 0; |
int Statistics = 0; |
int Statistics = 0; |
|
int AutoReduce = 0; |
int CheckHomogenization = 1; |
int CheckHomogenization = 1; |
int ErrorMessageMode = 0; |
int ErrorMessageMode = 0; |
int WarningMessageMode = 0; |
int WarningMessageMode = 0; |
Line 99 int KSPushEnvMode = 0; |
|
Line 100 int KSPushEnvMode = 0; |
|
int Sugar = 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 Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e (x+h) or (0)x + e(x+h) */ |
int CmoDMSOutputOption = 0; /* Output with |
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 Ecart = 0; |
|
int EcartAutomaticHomogenization = 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 ... */ |
int DebugStack = 0; |
int DebugStack = 0; |
|
|
FILE *Fstack = stdout; /* standard output stream |
FILE *Fstack = NULL; /* Initialized to standard output stream |
for module: stackmachine */ |
in stackmachine_init() |
|
for module: stackmachine */ |
|
|
#if defined(sun) |
#if defined(sun) |
/* in case of Solaris, use the following: */ |
/* in case of Solaris, use the following: */ |
int EnvOfStackMachine[2000]; |
int EnvOfStackMachine[2000]; |
#else |
#else |
|
#if defined(__CYGIWN__) |
|
sigjmp_buf EnvOfStackMachine; |
|
#else |
jmp_buf EnvOfStackMachine; |
jmp_buf EnvOfStackMachine; |
#endif |
#endif |
|
#endif |
|
|
|
#if defined(__CYGWIN__) |
|
int errno; |
|
#endif |
|
|
struct object NullObject; |
struct object NullObject; |
struct object NoObject; |
struct object NoObject; |
|
|
Line 124 int Lookup[TYPES][TYPES]; |
|
Line 137 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.000116"; |
char *VersionString = "3.030718"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |
Line 136 int OXprintMessage = 1; /* referred only from ox_sm1 |
|
Line 149 int OXprintMessage = 1; /* referred only from ox_sm1 |
|
char *OxSystem = "ox_sm1.plain"; /* Example : ox_sm1.plain */ |
char *OxSystem = "ox_sm1.plain"; /* Example : ox_sm1.plain */ |
char *OxSystemVersion = NULL; /* Example : 0.1 */ |
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() { |
stackmachine_init() { |
int i,j; |
int i,j; |
|
extern FILE *BaseFp; |
OxSystemVersion = VersionString; |
OxSystemVersion = VersionString; |
Fstack = stdout; /* initialize output stream */ |
Fstack = stdout; /* initialize output stream */ |
|
Fk = stdout; |
|
BaseFp = stdin; |
LeftBracket = "["; RightBracket = "]"; |
LeftBracket = "["; RightBracket = "]"; |
/* initialize null object */ |
/* initialize null object */ |
NullObject.tag = 0; |
NullObject.tag = 0; |
Line 165 stackmachine_close() { |
|
Line 186 stackmachine_close() { |
|
} |
} |
|
|
|
|
/* global variables for kanExport0.c */ |
|
int VerboseK = 1; /* 1 is standard */ |
|
int DebugK = 0; |
|
FILE *Fk = stdout; |
|
|
|
Kclose() { |
Kclose() { |
/* close Fk */ |
/* close Fk */ |