version 1.5, 1999/11/18 00:54:16 |
version 1.14, 2000/12/03 07:29:38 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.4 1999/11/07 13:24:19 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.13 2000/07/26 02:21:30 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
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 101 int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e ( |
|
Line 102 int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e ( |
|
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; |
|
|
/* 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: */ |
Line 124 int Lookup[TYPES][TYPES]; |
|
Line 127 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "2.991118"; |
char *VersionString = "3.001203"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |
Line 136 int OXprintMessage = 1; /* referred only from ox_sm1 |
|
Line 139 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 176 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 */ |