Annotation of OpenXM/src/kan96xx/Kan/option.c, Revision 1.1
1.1 ! maekawa 1: #include <stdio.h>
! 2: #include "datatype.h"
! 3: #include "stackm.h"
! 4: #include "extern.h"
! 5: #include "gradedset.h"
! 6: #include "kclass.h"
! 7: #include "lookup.h"
! 8: #include <signal.h>
! 9:
! 10: extern void ctrlC();
! 11:
! 12:
! 13: struct object KsystemVariable(ob)
! 14: struct object ob; /* Sarray */
! 15: {
! 16: /* Don't forget to write the keys in usage.c */
! 17: extern int PrintDollar;
! 18: extern int Wrap;
! 19: extern struct ring *CurrentRingp;
! 20: extern int Verbose;
! 21: extern int UseCriterion1;
! 22: extern int UseCriterion2B;
! 23: extern int ReduceLowerTerms;
! 24: extern int CheckHomogenization;
! 25: extern int Homogenize;
! 26: extern int Statistics;
! 27: extern int Osp;
! 28: extern struct operandStack StandardStack;
! 29: extern struct operandStack ErrorStack;
! 30: extern int ErrorMessageMode;
! 31: extern int WarningMessageMode;
! 32: extern int CatchCtrlC;
! 33: extern int Strict;
! 34: extern struct context *CurrentContextp;
! 35: extern struct context *PrimitiveContextp;
! 36: extern int Strict2;
! 37: extern int SigIgn;
! 38: extern int KSPushEnvMode;
! 39: extern int KanGBmessage;
! 40: extern int TimerOn;
! 41: extern int OutputStyle;
! 42: extern int Sugar;
! 43: extern int Homogenize_vec;
! 44: extern int CmoDMSOutputOption;
! 45: extern int DebugReductionRed; /* hidden option */
! 46: extern char *VersionString;
! 47: extern int AvoidTheSameRing;
! 48:
! 49: int n,i;
! 50: struct object ob1,ob2,ob3,ob4;
! 51: struct object rob = NullObject;
! 52: switch (getoaSize(ob)) {
! 53: case 1: /* get the value */
! 54: ob1 = getoa(ob,0);
! 55: switch(ob1.tag) {
! 56: case Sdollar:
! 57: if (strcmp(ob1.lc.str,"PrintDollar") == 0) {
! 58: rob = KpoInteger(PrintDollar);
! 59: }else if (strcmp(ob1.lc.str,"Wrap") == 0) {
! 60: rob = KpoInteger(Wrap);
! 61: }else if (strcmp(ob1.lc.str,"P") == 0) {
! 62: rob = KpoInteger(CurrentRingp->p);
! 63: }else if (strcmp(ob1.lc.str,"N") == 0) {
! 64: rob = KpoInteger(CurrentRingp->n);
! 65: }else if (strcmp(ob1.lc.str,"NN") == 0) {
! 66: rob = KpoInteger(CurrentRingp->nn);
! 67: }else if (strcmp(ob1.lc.str,"M") == 0) {
! 68: rob = KpoInteger(CurrentRingp->m);
! 69: }else if (strcmp(ob1.lc.str,"MM") == 0) {
! 70: rob = KpoInteger(CurrentRingp->mm);
! 71: }else if (strcmp(ob1.lc.str,"L") == 0) {
! 72: rob = KpoInteger(CurrentRingp->l);
! 73: }else if (strcmp(ob1.lc.str,"LL") == 0) {
! 74: rob = KpoInteger(CurrentRingp->ll);
! 75: }else if (strcmp(ob1.lc.str,"C") == 0) {
! 76: rob = KpoInteger(CurrentRingp->c);
! 77: }else if (strcmp(ob1.lc.str,"CC") == 0) {
! 78: rob = KpoInteger(CurrentRingp->cc);
! 79: }else if (strcmp(ob1.lc.str,"CurrentRingp") == 0) {
! 80: rob = KpoRingp(CurrentRingp);
! 81: }else if (strcmp(ob1.lc.str,"Verbose") == 0) {
! 82: rob = KpoInteger(Verbose);
! 83: }else if (strcmp(ob1.lc.str,"UseCriterion1") == 0) {
! 84: rob = KpoInteger(UseCriterion1);
! 85: }else if (strcmp(ob1.lc.str,"UseCriterion2B") == 0) {
! 86: rob = KpoInteger(UseCriterion2B);
! 87: }else if (strcmp(ob1.lc.str,"ReduceLowerTerms") == 0) {
! 88: rob = KpoInteger(ReduceLowerTerms);
! 89: }else if (strcmp(ob1.lc.str,"CheckHomogenization") == 0) {
! 90: rob = KpoInteger(CheckHomogenization);
! 91: }else if (strcmp(ob1.lc.str,"Homogenize") == 0) {
! 92: rob = KpoInteger(Homogenize);
! 93: }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
! 94: rob = KpoInteger(Statistics);
! 95: }else if (strcmp(ob1.lc.str,"StackPointer") == 0) {
! 96: rob = KpoInteger(Osp);
! 97: }else if (strcmp(ob1.lc.str,"StandardOperandStack") == 0) {
! 98: rob.tag = Sclass;
! 99: rob.lc.ival = CLASSNAME_OPERANDSTACK;
! 100: rob.rc.voidp = &StandardStack;
! 101: }else if (strcmp(ob1.lc.str,"ErrorStack") == 0) {
! 102: rob.tag = Sclass;
! 103: rob.lc.ival = CLASSNAME_OPERANDSTACK;
! 104: rob.rc.voidp = &ErrorStack;
! 105: }else if (strcmp(ob1.lc.str,"ErrorMessageMode") == 0) {
! 106: rob = KpoInteger(ErrorMessageMode);
! 107: }else if (strcmp(ob1.lc.str,"WarningMessageMode") == 0) {
! 108: rob = KpoInteger(WarningMessageMode);
! 109: }else if (strcmp(ob1.lc.str,"CatchCtrlC") == 0) {
! 110: rob = KpoInteger(CatchCtrlC);
! 111: /* If you catch ctrlc in KSexecuteString. */
! 112: }else if (strcmp(ob1.lc.str,"Strict") == 0) {
! 113: rob = KpoInteger(Strict);
! 114: }else if (strcmp(ob1.lc.str,"CurrentContextp") == 0) {
! 115: rob.tag = Sclass;
! 116: rob.lc.ival = CLASSNAME_CONTEXT;
! 117: rob.rc.voidp = CurrentContextp;
! 118: }else if (strcmp(ob1.lc.str,"PrimitiveContextp") == 0) {
! 119: rob.tag = Sclass;
! 120: rob.lc.ival = CLASSNAME_CONTEXT;
! 121: rob.rc.voidp = PrimitiveContextp;
! 122: }else if (strcmp(ob1.lc.str,"NullContextp") == 0) {
! 123: rob.tag = Sclass;
! 124: rob.lc.ival = CLASSNAME_CONTEXT;
! 125: rob.rc.voidp = (struct context *)NULL;
! 126: }else if (strcmp(ob1.lc.str,"Strict2") == 0) {
! 127: rob = KpoInteger(Strict2);
! 128: }else if (strcmp(ob1.lc.str,"SigIgn") == 0) {
! 129: rob = KpoInteger(SigIgn);
! 130: }else if (strcmp(ob1.lc.str,"KSPushEnvMode") == 0) {
! 131: rob = KpoInteger(KSPushEnvMode);
! 132: }else if (strcmp(ob1.lc.str,"KanGBmessage") == 0) {
! 133: rob = KpoInteger(KanGBmessage);
! 134: }else if (strcmp(ob1.lc.str,"TimerOn") == 0) {
! 135: rob = KpoInteger(TimerOn);
! 136: }else if (strcmp(ob1.lc.str,"orderMatrix") == 0) {
! 137: rob = KgetOrderMatrixOfCurrentRing();
! 138: }else if (strcmp(ob1.lc.str,"gbListTower") == 0) {
! 139: if (CurrentRingp->gbListTower == NULL) rob = NullObject;
! 140: else rob = *((struct object *)(CurrentRingp->gbListTower));
! 141: }else if (strcmp(ob1.lc.str,"outputOrder") == 0) {
! 142: n = CurrentRingp->n;
! 143: ob1 = newObjectArray(n*2);
! 144: for (i=0; i<2*n; i++) {
! 145: putoa(ob1,i,KpoInteger(CurrentRingp->outputOrder[i]));
! 146: }
! 147: rob = ob1;
! 148: }else if (strcmp(ob1.lc.str,"multSymbol") == 0) {
! 149: rob = KpoInteger(OutputStyle);
! 150: }else if (strcmp(ob1.lc.str,"Sugar") == 0) {
! 151: rob = KpoInteger(Sugar);
! 152: }else if (strcmp(ob1.lc.str,"Homogenize_vec") == 0) {
! 153: rob = KpoInteger(Homogenize_vec);
! 154: }else if (strcmp(ob1.lc.str,"Schreyer")==0) {
! 155: rob = KpoInteger( CurrentRingp->schreyer );
! 156: }else if (strcmp(ob1.lc.str,"ringName")==0) {
! 157: rob = KpoString( CurrentRingp->name );
! 158: }else if (strcmp(ob1.lc.str,"CmoDMSOutputOption")==0) {
! 159: rob = KpoInteger( CmoDMSOutputOption );
! 160: }else if (strcmp(ob1.lc.str,"Version")==0) {
! 161: rob = KpoString(VersionString);
! 162: }else if (strcmp(ob1.lc.str,"RingStack")==0) {
! 163: KsetUpRing(NullObject,NullObject,NullObject,NullObject,NullObject);
! 164: rob = KSpop(); /* This is exceptional style */
! 165: }else if (strcmp(ob1.lc.str,"AvoidTheSameRing")==0) {
! 166: rob = KpoInteger(AvoidTheSameRing);
! 167: }else{
! 168: warningKan("KsystemVariable():Unknown key word.\n");
! 169: }
! 170: break;
! 171: default:
! 172: warningKan("KsystemVariable():Invalid argument\n");
! 173: break;
! 174: }
! 175: break;
! 176: case 2: /* set value */
! 177: ob1 = getoa(ob,0);
! 178: ob2 = getoa(ob,1);
! 179: switch (Lookup[ob1.tag][ob2.tag]) {
! 180: case SdollarSinteger:
! 181: if (strcmp(ob1.lc.str,"PrintDollar") == 0) {
! 182: PrintDollar = ob2.lc.ival;
! 183: rob = KpoInteger(PrintDollar);
! 184: }else if (strcmp(ob1.lc.str,"Wrap") == 0) {
! 185: Wrap = ob2.lc.ival;
! 186: rob = KpoInteger(Wrap);
! 187: /*}else if (strcmp(ob1.lc.str,"P") == 0) {
! 188: P = ob2.lc.ival; Q should be set here too.
! 189: CurrentRingp->p = P;
! 190: rob = KpoInteger(P); */
! 191: }else if (strcmp(ob1.lc.str,"NN") == 0) {
! 192: if (ob2.lc.ival <= CurrentRingp->n && ob2.lc.ival >= CurrentRingp->m) {
! 193: CurrentRingp->nn = ob2.lc.ival;
! 194: }else{
! 195: warningKan("New value of NN is out of bound.");
! 196: }
! 197: rob = KpoInteger(ob1.lc.ival);
! 198: }else if (strcmp(ob1.lc.str,"Verbose") == 0) {
! 199: Verbose = ob2.lc.ival;
! 200: rob = KpoInteger(Verbose);
! 201: }else if (strcmp(ob1.lc.str,"UseCriterion1") == 0) {
! 202: UseCriterion1 = ob2.lc.ival;
! 203: rob = KpoInteger(UseCriterion1);
! 204: }else if (strcmp(ob1.lc.str,"UseCriterion2B") == 0) {
! 205: UseCriterion2B = ob2.lc.ival;
! 206: rob = KpoInteger(UseCriterion2B);
! 207: }else if (strcmp(ob1.lc.str,"ReduceLowerTerms") == 0) {
! 208: ReduceLowerTerms = ob2.lc.ival;
! 209: rob = KpoInteger(ReduceLowerTerms);
! 210: }else if (strcmp(ob1.lc.str,"CheckHomogenization") == 0) {
! 211: CheckHomogenization = ob2.lc.ival;
! 212: rob = KpoInteger(CheckHomogenization);
! 213: }else if (strcmp(ob1.lc.str,"Homogenize") == 0) {
! 214: Homogenize = ob2.lc.ival;
! 215: rob = KpoInteger(Homogenize);
! 216: }else if (strcmp(ob1.lc.str,"Statistics") == 0) {
! 217: Statistics = ob2.lc.ival;
! 218: rob = KpoInteger(Statistics);
! 219: }else if (strcmp(ob1.lc.str,"ErrorMessageMode") == 0) {
! 220: ErrorMessageMode = ob2.lc.ival;
! 221: rob = KpoInteger(ErrorMessageMode);
! 222: }else if (strcmp(ob1.lc.str,"WarningMessageMode") == 0) {
! 223: WarningMessageMode = ob2.lc.ival;
! 224: rob = KpoInteger(WarningMessageMode);
! 225: }else if (strcmp(ob1.lc.str,"CatchCtrlC") == 0) {
! 226: CatchCtrlC = ob2.lc.ival;
! 227: rob = KpoInteger(CatchCtrlC);
! 228: }else if (strcmp(ob1.lc.str,"Strict") == 0) {
! 229: Strict = ob2.lc.ival;
! 230: rob = KpoInteger(Strict);
! 231: }else if (strcmp(ob1.lc.str,"Strict2") == 0) {
! 232: Strict2 = ob2.lc.ival;
! 233: rob = KpoInteger(Strict2);
! 234: }else if (strcmp(ob1.lc.str,"SigIgn") == 0) {
! 235: SigIgn = ob2.lc.ival;
! 236: if (SigIgn) signal(SIGINT,SIG_IGN);
! 237: else signal(SIGINT,ctrlC);
! 238: rob = KpoInteger(SigIgn);
! 239: }else if (strcmp(ob1.lc.str,"KSPushEnvMode") == 0) {
! 240: KSPushEnvMode = ob2.lc.ival;
! 241: rob = KpoInteger(KSPushEnvMode);
! 242: }else if (strcmp(ob1.lc.str,"KanGBmessage") == 0) {
! 243: KanGBmessage = ob2.lc.ival;
! 244: rob = KpoInteger(KanGBmessage);
! 245: }else if (strcmp(ob1.lc.str,"TimerOn") == 0) {
! 246: TimerOn = ob2.lc.ival;
! 247: rob = KpoInteger(TimerOn);
! 248: }else if (strcmp(ob1.lc.str,"multSymbol") == 0) {
! 249: OutputStyle = KopInteger(ob2);
! 250: rob = KpoInteger(OutputStyle);
! 251: }else if (strcmp(ob1.lc.str,"Sugar") == 0) {
! 252: Sugar = KopInteger(ob2);
! 253: if (Sugar && ReduceLowerTerms) {
! 254: ReduceLowerTerms = 0;
! 255: warningKan("ReduceLowerTerms is automatically set to 0, because Sugar = 1.");
! 256: /* You cannot use both ReduceLowerTerms and sugar.
! 257: See gb.c, reduction_sugar. */
! 258: }
! 259: rob = KpoInteger(Sugar);
! 260: }else if (strcmp(ob1.lc.str,"Homogenize_vec") == 0) {
! 261: Homogenize_vec = KopInteger(ob2);
! 262: rob = KpoInteger(Homogenize_vec);
! 263: }else if (strcmp(ob1.lc.str,"CmoDMSOutputOption") == 0) {
! 264: CmoDMSOutputOption = KopInteger(ob2);
! 265: rob = KpoInteger(CmoDMSOutputOption);
! 266: }else if (strcmp(ob1.lc.str,"DebugReductionRed") == 0) {
! 267: DebugReductionRed = KopInteger(ob2);
! 268: rob = KpoInteger(DebugReductionRed);
! 269: }else if (strcmp(ob1.lc.str,"AvoidTheSameRing") == 0) {
! 270: AvoidTheSameRing = KopInteger(ob2);
! 271: rob = KpoInteger(AvoidTheSameRing);
! 272: }else{
! 273: warningKan("KsystemVariable():Unknown key word.\n");
! 274: }
! 275: break;
! 276: case SdollarSdollar:
! 277: if (strcmp(ob1.lc.str,"ringName") == 0) {
! 278: CurrentRingp->name = KopString(ob2);
! 279: rob = KpoString(CurrentRingp->name);
! 280: }else{
! 281: warningKan("KsystemVariable():Unknown key word.\n");
! 282: }
! 283: break;
! 284: case SdollarSring:
! 285: if (strcmp(ob1.lc.str,"CurrentRingp") == 0) {
! 286: CurrentRingp = ob2.lc.ringp;
! 287: rob = KpoRingp(CurrentRingp);
! 288: }else{
! 289: warningKan("KsystemVariable():Unknown key word.\n");
! 290: }
! 291: break;
! 292: case SdollarSclass:
! 293: if (strcmp(ob1.lc.str,"PrimitiveContextp") == 0) {
! 294: if (ectag(ob2) == CLASSNAME_CONTEXT) {
! 295: PrimitiveContextp = (struct context *)ob2.rc.voidp;
! 296: rob = ob2;
! 297: }else{
! 298: warningKan("The second argument must be class.context.\n");
! 299: rob = NullObject;
! 300: }
! 301: }else {
! 302: warningKan("KsystemVariable():Unknown key word.\n");
! 303: }
! 304: break;
! 305: case SdollarSlist:
! 306: if (strcmp(ob1.lc.str,"gbListTower") == 0) {
! 307: if (AvoidTheSameRing)
! 308: warningKan("Changing gbListTower may cause a trouble under AvoidTheSameRing == 1.");
! 309: CurrentRingp->gbListTower = newObject();
! 310: *((struct object *)(CurrentRingp->gbListTower)) = ob2;
! 311: rob = *((struct object *)(CurrentRingp->gbListTower));
! 312: }else {
! 313: warningKan("KsystemVariable(): Unknown key word to set value.\n");
! 314: }
! 315: break;
! 316: case SdollarSarray:
! 317: if (strcmp(ob1.lc.str,"outputOrder") == 0) {
! 318: rob = KsetOutputOrder(ob2,CurrentRingp);
! 319: }else if (strcmp(ob1.lc.str,"variableNames") == 0) {
! 320: rob = KsetVariableNames(ob2,CurrentRingp);
! 321: }else {
! 322: warningKan("KsystemVariable(): Unknown key word to set value.\n");
! 323: }
! 324: break;
! 325: default:
! 326: warningKan("KsystemVariable():Invalid argument.\n");
! 327: }
! 328: break;
! 329: case 3:
! 330: ob1 = getoa(ob,0); ob2 = getoa(ob,1); ob3 = getoa(ob,2);
! 331: switch(Lookup[ob1.tag][ob2.tag]) {
! 332: case SdollarSdollar:
! 333: if (strcmp(ob2.lc.str,"var") == 0) {
! 334: if (strcmp(ob1.lc.str,"x")==0) {
! 335: if (ob3.tag != Sinteger) {
! 336: warningKan("[$x$ $var$ ? ] The 3rd argument must be integer.");
! 337: break;
! 338: }
! 339: if (ob3.lc.ival >= 0 && ob3.lc.ival < CurrentRingp->n) {
! 340: rob = KpoString(CurrentRingp->x[ob3.lc.ival]);
! 341: }else{
! 342: warningKan("[$x$ $var$ ? ] The 3rd argument is out of range.");
! 343: break;
! 344: }
! 345: }else if (strcmp(ob1.lc.str,"D")==0) {
! 346: if (ob3.tag != Sinteger) {
! 347: warningKan("[$D$ $var$ ? ] The 3rd argument must be integer.");
! 348: break;
! 349: }
! 350: if (ob3.lc.ival >= 0 && ob3.lc.ival < CurrentRingp->n) {
! 351: rob = KpoString(CurrentRingp->D[ob3.lc.ival]);
! 352: }else{
! 353: warningKan("[$D$ $var$ ? ] The 3rd argument is out of range.");
! 354: break;
! 355: }
! 356: }
! 357: }else{
! 358: warningKan("KsystemVariable(): Invalid argument.\n");
! 359: }
! 360: break;
! 361: default:
! 362: warningKan("KsystemVariable(): Invalid argument.\n");
! 363: break;
! 364: }
! 365: break;
! 366: default:
! 367: warningKan("KsystemVariable():Invalid argument.\n");
! 368: break;
! 369: }
! 370: return(rob);
! 371: }
! 372:
! 373: warningOption(str)
! 374: char *str;
! 375: {
! 376: fprintf(stderr,"Warning(option.c): %s\n",str);
! 377: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to option.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan