Annotation of OpenXM/src/kan96xx/Kan/global.c, Revision 1.18
1.18 ! takayama 1: /* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.17 2001/08/21 14:12:46 takayama Exp $ */
1.1 maekawa 2: #include <stdio.h>
3: #include <setjmp.h>
4: #include "datatype.h"
5: #include "stackm.h"
6: #include "lookup.h"
7:
8: /*-------- variables to define a ring ----------------*/
9: /*
10: The numbers L,M, LL,MM,NN are set in setUpRing() in setupring.c now.
11:
12: Be careful when you do not use one of three type variables.
13: Any setting must keep the relation: L<=M<=N.
14: You must see mmwMult() in poly.c in the above case.
15: Example. L=M=0 means there is no q-variables and difference variables.
1.15 takayama 16: L=5, M=N=5 means all variables are q-variables (x0=q).
17: L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are
18: differential variables.
19: L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4
20: are differential variables. */
1.1 maekawa 21: /*#define L 0 number of q-variables */
22: /*#define M 0 number of difference variables */
23: /*Number of elimination variables */
24: /*#define LL 0 */
25: /*#define MM 0 */
1.15 takayama 26: /* x_MM,...,x_{M-1} are eliminated difference variables */
27: /* MM < M if you want to use it. MM>=M if you do not use it */
1.1 maekawa 28: /*#define NN 9 */
1.15 takayama 29: /*x_NN,...,x_{N-1} are eliminated differential variables */
30: /* NN < N if you want to use it. NN>=N if you do not use it.
31: See the eliminated_standard() in dbm3.c */
1.1 maekawa 32:
33:
34: /* They are not used.
35: int N = 6;
36: int L = 1;
37: int M = 1;
38: int C = 1;
39: int NN = 5;
40: int MM = 1;
41: int LL = 1;
42: int CC = 1;
43: */
44:
45:
46: /********** These variables are set in setUpRing() ***********************/
47: int Md = 0; /* if Md=1, then x_NN, ..., x_{N-1} are eliminated variables*/
48: int Med = 0; /* if Med=1, then x_MM, ..., x_{M-1} are eliminated variables*/
49: int Mq = 0; /* if Mq=1, then x_LL, ..., x_{L-1} are eliminated variables*/
50:
51: char **TransX; /* name of variables */
52: char **TransD;
53: int *Order; /* order matrix */
54:
55: int Msize = 0;
56: /*int P = 32609; */ /* characteristic */
57: /* ------------------ end of variables for the ring -------------- */
58:
59: struct ring SmallRing;
60: struct ring *SmallRingp = &SmallRing;
61:
62: struct ring *CurrentRingp = (struct ring *)0;
63:
64: struct ring *SyzRingp = (struct ring *)0;
65:
66: MP_INT *Mp_one;
67: MP_INT *Mp_zero;
68: MP_INT Mp_work_iiComb;
69: MP_INT Mp_work_iiPower;
70: MP_INT Mp_work_iiPoch;
71:
72: struct coeff *UniversalZero;
73: struct coeff *UniversalOne;
74:
75: /*******************************************************************/
76: int History = 1; /* get a transformation matrix or not */
77:
78: int Commutative = 0;
79: int UseCriterion1 = 0;
80: int UseCriterion2B = 0;
81: int OutputStyle = '*';
82: int Wrap = 0; /* output.c */
83: int Verbose = 0;
84: int ReduceLowerTerms = 1;
85: int Criterion2B = 0;
86: int Criterion2M = 0;
87: int Criterion2F = 0;
88: int Statistics = 0;
1.9 takayama 89: int AutoReduce = 0;
1.1 maekawa 90: int CheckHomogenization = 1;
91: int ErrorMessageMode = 0;
92: int WarningMessageMode = 0;
93: int CatchCtrlC = 0;
94: int Strict = 0; /* It is used warning. */
95: int Strict2 = 0; /* It is used in putDictionary */
96: extern struct dictionary UserDictionary[];
97: int SigIgn = 0;
98: int StopDegree = 0x7fff;
99: int KSPushEnvMode = 0;
100: int Sugar = 0;
101: int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e (x+h) or (0)x + e(x+h) */
102: int CmoDMSOutputOption = 0; /* Output with
1.15 takayama 103: (1) RING_BY_NAME or (0) DMS_OF_N_VARIABLES.
104: plugin/cmo.c */
1.10 takayama 105: int SecureMode = 0;
1.1 maekawa 106:
107: /* global variables for stackmachine.c */
108: int VerboseStack = 1; /* 0 is quiet, 1 is standard, 2 ... */
109: int DebugStack = 0;
110:
1.11 takayama 111: FILE *Fstack = NULL; /* Initialized to standard output stream
112: in stackmachine_init()
113: for module: stackmachine */
1.1 maekawa 114:
115: #if defined(sun)
116: /* in case of Solaris, use the following: */
117: int EnvOfStackMachine[2000];
118: #else
1.18 ! takayama 119: #if defined(__CYGIWN__)
! 120: sigjmp_buf EnvOfStackMachine;
! 121: #else
1.1 maekawa 122: jmp_buf EnvOfStackMachine;
1.18 ! takayama 123: #endif
1.16 takayama 124: #endif
125:
126: #if defined(__CYGWIN__)
127: int errno;
1.1 maekawa 128: #endif
129:
130: struct object NullObject;
131: struct object NoObject;
132:
133: int Lookup[TYPES][TYPES];
134:
135: int Quiet = 0;
136: int TimerOn = 0;
137:
1.17 takayama 138: char *VersionString = "3.010821";
1.1 maekawa 139:
1.4 takayama 140: char *LeftBracket = NULL;
141: char *RightBracket = NULL;
142:
1.1 maekawa 143: int AvoidTheSameRing = 1;
144: int DebugCMO = 0; /* plugin/cmo.c */
145: int OXprintMessage = 1; /* referred only from ox_sm1 plugin/ox.hh */
146:
147: char *OxSystem = "ox_sm1.plain"; /* Example : ox_sm1.plain */
148: char *OxSystemVersion = NULL; /* Example : 0.1 */
149:
1.11 takayama 150: /* global variables for kanExport0.c */
151: int VerboseK = 1; /* 1 is standard */
152: int DebugK = 0;
153: FILE *Fk = NULL; /* Initialized to stdout in stackmachine_init() */
154:
1.1 maekawa 155: stackmachine_init() {
156: int i,j;
1.11 takayama 157: extern FILE *BaseFp;
1.1 maekawa 158: OxSystemVersion = VersionString;
159: Fstack = stdout; /* initialize output stream */
1.11 takayama 160: Fk = stdout;
161: BaseFp = stdin;
1.4 takayama 162: LeftBracket = "["; RightBracket = "]";
1.1 maekawa 163: /* initialize null object */
164: NullObject.tag = 0;
165: NullObject.lc.op = NullObject.rc.op = (struct object *)NULL;
166: /* findUserdictionary returns NoObject if it cannot find the key.*/
167: NoObject.tag = -1;
168: NoObject.lc.op = NoObject.rc.op = (struct object *)NULL;
169: /* Initalize lookup table */
170: for (i=0; i<TYPES; i++) {
171: for (j=0; j<TYPES; j++)
172: Lookup[i][j] = i*TYPES + j; /* Refer to mklookup.c */
173: }
174: /* Initialize hashing */
175: hashInitialize(UserDictionary);
176:
177: initClassDataBase();
178:
179: }
180:
181:
182: stackmachine_close() {
183: /* close output stream */
184: }
185:
186:
187:
188: Kclose() {
189: /* close Fk */
190: }
191:
192:
193:
194:
195:
196:
197:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to global.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan