version 1.7, 2000/01/16 07:55:38 |
version 1.10, 2000/02/24 12:33:47 |
|
|
/* 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.9 2000/02/24 00:27:12 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 ... */ |
Line 124 int Lookup[TYPES][TYPES]; |
|
Line 126 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.000116"; |
char *VersionString = "3.000224"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |