version 1.31, 2004/09/17 02:42:57 |
version 1.36, 2011/10/05 05:46:14 |
|
|
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.30 2004/06/15 08:15:11 takayama Exp $ */ |
/* global.c $OpenXM: OpenXM/src/kan96xx/Kan/global.c,v 1.35 2006/12/21 05:29:49 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include "datatype.h" |
#include "datatype.h" |
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 111 int TraceLift = 0; |
|
Line 112 int TraceLift = 0; |
|
struct ring *TraceLift_ringmod = NULL; |
struct ring *TraceLift_ringmod = NULL; |
int DoCancel = 0; |
int DoCancel = 0; |
int QuoteMode = 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 ... */ |
Line 139 int Lookup[TYPES][TYPES]; |
|
Line 141 int Lookup[TYPES][TYPES]; |
|
int Quiet = 0; |
int Quiet = 0; |
int TimerOn = 0; |
int TimerOn = 0; |
|
|
char *VersionString = "3.040223"; |
char *VersionString = "3.050615"; |
|
|
char *LeftBracket = NULL; |
char *LeftBracket = NULL; |
char *RightBracket = NULL; |
char *RightBracket = NULL; |
Line 168 stackmachine_init() { |
|
Line 170 stackmachine_init() { |
|
/* 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++) |