version 1.18, 2002/02/24 10:27:18 |
version 1.21, 2003/07/10 05:01:41 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.17 2001/08/21 14:12:46 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.20 2002/11/07 23:35:23 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
Line 103 int CmoDMSOutputOption = 0; /* Output with |
|
Line 103 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 TangentCone = 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 135 int Lookup[TYPES][TYPES]; |
|
Line 136 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.010821"; |
char *VersionString = "3.021108"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |