===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/extern.h,v
retrieving revision 1.18
retrieving revision 1.23
diff -u -p -r1.18 -r1.23
--- OpenXM/src/kan96xx/Kan/extern.h	2004/07/30 11:21:55	1.18
+++ OpenXM/src/kan96xx/Kan/extern.h	2004/09/09 03:14:46	1.23
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/extern.h,v 1.17 2004/05/13 04:38:28 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/extern.h,v 1.22 2004/09/04 11:25:58 takayama Exp $ */
 /*********** global variables for module stackmachine***************/
 extern int VerboseStack;
 extern int DebugStack;
@@ -90,6 +90,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);
@@ -157,6 +163,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);
@@ -165,6 +172,7 @@ 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 )
@@ -223,6 +231,8 @@ 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);
 
 /** Utilities */
 char *KremoveSpace(char *s);