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