[BACK]Return to global.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Annotation of OpenXM/src/kan96xx/Kan/global.c, Revision 1.20

1.20    ! takayama    1: /* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.19 2002/09/08 10:49:49 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.20    ! takayama  138: char *VersionString = "3.021108";
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>