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

Diff for /OpenXM/src/kan96xx/Kan/global.c between version 1.3 and 1.37

version 1.3, 1999/11/06 10:37:29 version 1.37, 2015/09/29 01:52:14
Line 1 
Line 1 
 /* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.2 1999/10/30 02:20:54 takayama Exp $ */  /* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.36 2011/10/05 05:46:14 takayama Exp $ */
 #include <stdio.h>  #include <stdio.h>
 #include <setjmp.h>  #include <setjmp.h>
 #include "datatype.h"  #include "datatype.h"
Line 13 
Line 13 
   Any setting must keep the relation: L<=M<=N.    Any setting must keep the relation: L<=M<=N.
   You must see mmwMult() in poly.c in the above case.    You must see mmwMult() in poly.c in the above case.
   Example. L=M=0 means there is no q-variables and difference variables.    Example. L=M=0 means there is no q-variables and difference variables.
            L=5, M=N=5 means all variables are q-variables (x0=q).    L=5, M=N=5 means all variables are q-variables (x0=q).
            L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are    L=2, M=2, N=5 means x0=q, x1 is q-variable and x2,,,,x4 are
            differential variables.    differential variables.
            L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4    L=0, M=2, N=5 means x0,x1 are difference variables and x2,,,x4
            are differential variables. */    are differential variables. */
 /*#define   L     0     number of q-variables */  /*#define   L     0     number of q-variables */
 /*#define   M     0     number of difference variables */  /*#define   M     0     number of difference variables */
 /*Number of elimination variables  */  /*Number of elimination variables  */
 /*#define  LL     0     */  /*#define  LL     0     */
 /*#define  MM     0    */  /*#define  MM     0    */
               /* x_MM,...,x_{M-1} are eliminated difference variables */  /* x_MM,...,x_{M-1} are eliminated difference variables */
               /* MM < M if you want to use it. MM>=M if you do not use it */  /* MM < M if you want to use it. MM>=M if you do not use it */
 /*#define  NN     9  */  /*#define  NN     9  */
               /*x_NN,...,x_{N-1} are eliminated differential variables */  /*x_NN,...,x_{N-1} are eliminated differential variables */
               /* NN < N if you want to use it. NN>=N if you do not use it.  /* NN < N if you want to use it. NN>=N if you do not use it.
                        See the eliminated_standard() in dbm3.c */                 See the eliminated_standard() in dbm3.c */
   
   
 /* They are not used.  /* They are not used.
Line 79  int Commutative = 0;
Line 79  int Commutative = 0;
 int UseCriterion1 = 0;  int UseCriterion1 = 0;
 int UseCriterion2B = 0;  int UseCriterion2B = 0;
 int OutputStyle = '*';  int OutputStyle = '*';
   int COutput = 0; /* C sytle output of polynomial */
 int Wrap = 0;  /* output.c */  int Wrap = 0;  /* output.c */
 int Verbose = 0;  int Verbose = 0;
 int ReduceLowerTerms = 1;  int ReduceLowerTerms = 1;
Line 86  int Criterion2B = 0;
Line 87  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 99  int KSPushEnvMode = 0;
Line 101  int KSPushEnvMode = 0;
 int Sugar = 0;  int Sugar = 0;
 int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e (x+h) or (0)x + e(x+h) */  int Homogenize_vec = 1; /*x + e (x+1)===>(1) x h + e (x+h) or (0)x + e(x+h) */
 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;
   int RestrictedMode = 0;
   int RestrictedMode_saved = 0;
   int Ecart = 0;
   int EcartAutomaticHomogenization = 0;
   int TraceLift = 0;
   struct ring *TraceLift_ringmod = NULL;
   int DoCancel = 0;
   int QuoteMode = 0;
   int UseDsmall = 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: */
 int EnvOfStackMachine[2000];  int EnvOfStackMachine[2000];
 #else  #else
   #if defined(__CYGIWN__)
   sigjmp_buf EnvOfStackMachine;
   #else
 jmp_buf EnvOfStackMachine;  jmp_buf EnvOfStackMachine;
 #endif  #endif
   #endif
   
 struct object NullObject;  struct object NullObject;
 struct object NoObject;  struct object NoObject;
Line 124  int Lookup[TYPES][TYPES];
Line 141  int Lookup[TYPES][TYPES];
 int Quiet = 0;  int Quiet = 0;
 int TimerOn = 0;  int TimerOn = 0;
   
 char *VersionString = "2.991106";  char *VersionString = "3.050615";
   
   char *LeftBracket = NULL;
   char *RightBracket = NULL;
   
 int AvoidTheSameRing = 1;  int AvoidTheSameRing = 1;
 int DebugCMO = 0;  /* plugin/cmo.c */  int DebugCMO = 0;  /* plugin/cmo.c */
 int OXprintMessage = 1; /* referred only from ox_sm1  plugin/ox.hh */  int OXprintMessage = 1; /* referred only from ox_sm1  plugin/ox.hh */
Line 133  int OXprintMessage = 1; /* referred only from ox_sm1  
Line 153  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;
     /* GC_init(); */
     GC_INIT();
   OxSystemVersion = VersionString;    OxSystemVersion = VersionString;
   Fstack = stdout;  /* initialize output stream */    Fstack = stdout;  /* initialize output stream */
     Fk = stdout;
     BaseFp = stdin;
     LeftBracket = "["; RightBracket = "]";
   /* initialize null object */    /* initialize null object */
   NullObject.tag = 0;    NullObject.tag = 0;
   NullObject.lc.op = NullObject.rc.op = (struct object *)NULL;    NullObject.lc.op = NullObject.rc.op = (struct object *)NULL;
     NullObject.attr = (struct object *)NULL;
   /* findUserdictionary returns NoObject if it cannot find the key.*/    /* findUserdictionary returns NoObject if it cannot find the key.*/
   NoObject.tag = -1;    NoObject.tag = -1;
   NoObject.lc.op = NoObject.rc.op = (struct object *)NULL;    NoObject.lc.op = NoObject.rc.op = (struct object *)NULL;
     NoObject.attr = (struct object *)NULL;
   /* Initalize lookup table */    /* Initalize lookup table */
   for (i=0; i<TYPES; i++) {    for (i=0; i<TYPES; i++) {
     for (j=0; j<TYPES; j++)      for (j=0; j<TYPES; j++)
Line 161  stackmachine_close() {
Line 194  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 */
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.37
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>