| version 1.16, 2003/08/20 01:39:17 |
version 1.21, 2004/02/28 13:39:42 |
|
|
| /* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport0.c,v 1.15 2003/08/18 11:59:56 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/kanExport0.c,v 1.20 2003/12/06 02:49:22 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "stackm.h" |
#include "stackm.h" |
| Line 19 int SerialCurrent = -1; /* Current Serial number of t |
|
| Line 19 int SerialCurrent = -1; /* Current Serial number of t |
|
| |
|
| int ReverseOutputOrder = 1; |
int ReverseOutputOrder = 1; |
| int WarningNoVectorVariable = 1; |
int WarningNoVectorVariable = 1; |
| |
extern int QuoteMode; |
| |
|
| /** :arithmetic **/ |
/** :arithmetic **/ |
| struct object KooAdd(ob1,ob2) |
struct object KooAdd(ob1,ob2) |
| Line 142 struct object KooAdd(ob1,ob2) |
|
| Line 143 struct object KooAdd(ob1,ob2) |
|
| |
|
| |
|
| default: |
default: |
| warningKan("KooAdd() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = addTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooAdd() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 270 struct object KooSub(ob1,ob2) |
|
| Line 275 struct object KooSub(ob1,ob2) |
|
| break; |
break; |
| |
|
| default: |
default: |
| warningKan("KooSub() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = minusTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooSub() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 412 struct object KooMult(ob1,ob2) |
|
| Line 421 struct object KooMult(ob1,ob2) |
|
| break; |
break; |
| |
|
| default: |
default: |
| warningKan("KooMult() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = timesTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooMult() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 451 struct object KoNegate(obj) |
|
| Line 464 struct object KoNegate(obj) |
|
| break; |
break; |
| |
|
| default: |
default: |
| warningKan("KoNegate() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = unaryminusTree(obj); |
| |
}else{ |
| |
warningKan("KoNegate() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 653 struct object KooDiv(ob1,ob2) |
|
| Line 670 struct object KooDiv(ob1,ob2) |
|
| |
|
| |
|
| default: |
default: |
| warningKan("KooDiv() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = divideTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooDiv() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 2098 struct object KstringToArgv(struct object ob) { |
|
| Line 2119 struct object KstringToArgv(struct object ob) { |
|
| rob = newObjectArray(wc); |
rob = newObjectArray(wc); |
| for (i=0; i<wc; i++) { |
for (i=0; i<wc; i++) { |
| putoa(rob,i,KpoString(argv[i])); |
putoa(rob,i,KpoString(argv[i])); |
| printf("%s\n",argv[i]); |
/* printf("%s\n",argv[i]); */ |
| } |
} |
| return(rob); |
return(rob); |
| } |
} |
| Line 2124 static void checkDuplicateName(xvars,dvars,n) |
|
| Line 2145 static void checkDuplicateName(xvars,dvars,n) |
|
| } |
} |
| } |
} |
| |
|
| |
struct object KooPower(struct object ob1,struct object ob2) { |
| |
struct object rob; |
| |
/* Bug. It has not yet been implemented. */ |
| |
if (QuoteMode) { |
| |
rob = powerTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooDiv2() has not supported yet these objects.\n"); |
| |
} |
| |
return(rob); |
| |
} |
| |
|
| |
|
| |
|
| Line 2186 struct object KooDiv2(ob1,ob2) |
|
| Line 2217 struct object KooDiv2(ob1,ob2) |
|
| break; |
break; |
| |
|
| default: |
default: |
| warningKan("KooDiv2() has not supported yet these objects.\n"); |
if (QuoteMode) { |
| |
rob = divideTree(ob1,ob2); |
| |
}else{ |
| |
warningKan("KooDiv2() has not supported yet these objects.\n"); |
| |
} |
| break; |
break; |
| } |
} |
| return(rob); |
return(rob); |
| Line 2322 struct object KgbExtension(struct object obj) |
|
| Line 2357 struct object KgbExtension(struct object obj) |
|
| errorKan1("%s\n","The datatype of the argument mismatch: [(isConstant) polynomial] gbext"); |
errorKan1("%s\n","The datatype of the argument mismatch: [(isConstant) polynomial] gbext"); |
| } |
} |
| return(KpoInteger(isConstant(KopPOLY(obj1)))); |
return(KpoInteger(isConstant(KopPOLY(obj1)))); |
| |
}else if (strcmp(key,"isConstantAll")==0) { |
| |
if (size != 2) errorKan1("%s\n","[(isConstantAll) poly ] gbext bool"); |
| |
obj1 = getoa(obj,1); |
| |
if (obj1.tag != Spoly) { |
| |
errorKan1("%s\n","The datatype of the argument mismatch: [(isConstantAll) polynomial] gbext"); |
| |
} |
| |
return(KpoInteger(isConstantAll(KopPOLY(obj1)))); |
| }else if (strcmp(key,"schreyerSkelton") == 0) { |
}else if (strcmp(key,"schreyerSkelton") == 0) { |
| if (size != 2) errorKan1("%s\n","[(schreyerSkelton) array_of_poly ] gbext array"); |
if (size != 2) errorKan1("%s\n","[(schreyerSkelton) array_of_poly ] gbext array"); |
| obj1 = getoa(obj,1); |
obj1 = getoa(obj,1); |
| Line 2370 struct object KgbExtension(struct object obj) |
|
| Line 2412 struct object KgbExtension(struct object obj) |
|
| }else{ |
}else{ |
| putoa(rob,1,KpoPOLY(newCell(cont,newMonomial(f1->m->ringp)))); |
putoa(rob,1,KpoPOLY(newCell(cont,newMonomial(f1->m->ringp)))); |
| } |
} |
| |
}else if (strcmp(key,"ord_ws_all")==0) { |
| |
if (size != 3) errorKan1("%s\n","[(ord_ws_all) fv wv] gbext"); |
| |
obj1 = getoa(obj,1); |
| |
obj2 = getoa(obj,2); |
| |
rob = KordWsAll(obj1,obj2); |
| }else { |
}else { |
| errorKan1("%s\n","gbext : unknown tag."); |
errorKan1("%s\n","gbext : unknown tag."); |
| } |
} |