=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/extern.h,v retrieving revision 1.15 retrieving revision 1.27 diff -u -p -r1.15 -r1.27 --- OpenXM/src/kan96xx/Kan/extern.h 2003/12/03 09:00:46 1.15 +++ OpenXM/src/kan96xx/Kan/extern.h 2004/09/12 10:22:50 1.27 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/extern.h,v 1.14 2003/12/03 01:21:43 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/extern.h,v 1.26 2004/09/12 08:55:36 takayama Exp $ */ /*********** global variables for module stackmachine***************/ extern int VerboseStack; extern int DebugStack; @@ -72,6 +72,7 @@ int isLiteral(char *str); void lockCtrlCForOx(); void unlockCtrlCForOx(); void restoreCtrlCForOx(); +int executeExecutableArray(struct object ob,char *fname,int withGotoP); /* stackmachine.c export */ int KSdefineMacros(void); @@ -90,6 +91,12 @@ void KsetContext(struct object contextobj); void contextControl(actionOfContextControl ctl); struct object getSuperContext(struct object contextObj) ; +/* stackmachine.c back-trace */ +void tracePushName(char *s); +void traceClearStack(void); +char *tracePopName(void); +char *traceShowStack(void); + /* kclass.c */ int initClassDataBase(); void fprintClass(FILE *fp,struct object ob); @@ -122,6 +129,12 @@ struct object *cdr(struct object *list); void printObjectList(struct object *op); int memberQ(struct object *list1,struct object list2); +struct object KvJoin(struct object listo1,struct object listo2); +struct object Kcar(struct object listo); +struct object Kcdr(struct object listo); +struct object KlistToArray(struct object listo); +struct object KarrayToList(struct object ob); + /* list:conversion */ struct object listToArray(struct object *op); struct object *arrayToList(struct object ob); @@ -136,6 +149,7 @@ struct object KaoMult(struct object aa,struct object b struct object KooDiv2(struct object ob1,struct object ob2); struct object KoNegate(struct object ob1); struct object KreduceRationalFunction(struct object ob); +struct object KooPower(struct object ob1,struct object ob2); /* for rational function object */ struct object KoInverse(struct object ob); @@ -156,6 +170,7 @@ struct object KooLess(struct object o1,struct object o /** Conversion */ struct object KdataConversion(struct object ob1, char *key); +struct object Kto_int32(struct object ob); struct object KpoInteger(int i); struct object KpoString(char *s); struct object KpoPOLY(POLY f); @@ -163,6 +178,8 @@ struct object KpoArrayOfPOLY(struct arrayOfPOLY *ap); struct object KpoMatrixOfPOLY(struct matrixOfPOLY *mp); struct object KpoRingp(struct ring *ringp); struct object KpoDouble(double a); +struct object KpoUniversalNumber(struct coeff *u); +struct object KintToUniversalNumber(int n); #define KopInteger(o) ( (o).lc.ival ) #define KopString(o) ( (o).lc.str ) #define KopPOLY(o) ( (o).lc.poly ) @@ -188,6 +205,7 @@ int objArrayToOrderMatrix(struct object oA,int order[] int KsetOrderByObjArray(struct object oA); struct object oGetOrderMatrix(struct ring *ringp); /* order.c */ struct object KgetOrderMatrixOfCurrentRing(); +struct object oRingToOXringStructure(struct ring *ringp); /* order.c */ int KsetUpRing(struct object ob1,struct object ob2, struct object ob3,struct object ob4,struct object ob5); void KshowRing(struct ring *ringp); struct object KdefaultPolyRing(struct object num); @@ -220,6 +238,9 @@ struct object test(struct object ob); struct object Kextension(struct object ob); struct object KgbExtension(struct object ob); struct object KmpzExtension(struct object ob); +struct object Krest(struct object ob); +struct object Kjoin(struct object ob1, struct object ob2); +struct object Kget(struct object ob1, struct object ob2); /** Utilities */ char *KremoveSpace(char *s); @@ -256,6 +277,7 @@ struct object KisOrdered(struct object of); struct object KvectorToSchreyer_es(struct object obarray); POLY objArrayToPOLY(struct object ob); struct object POLYtoObjArray(POLY f,int size); +struct object KgetExponents(struct object obPoly,struct object type); /* hilbert.c */ struct object hilberto(struct object obgb,struct object obvlist);