===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/datatype.h,v
retrieving revision 1.9
retrieving revision 1.15
diff -u -p -r1.9 -r1.15
--- OpenXM/src/kan96xx/Kan/datatype.h	2003/08/19 08:02:09	1.9
+++ OpenXM/src/kan96xx/Kan/datatype.h	2018/09/07 00:15:44	1.15
@@ -1,10 +1,12 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/datatype.h,v 1.8 2003/07/30 09:00:52 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/datatype.h,v 1.14 2015/09/29 01:52:14 takayama Exp $ */
 #include "gmp.h"
+#include "gc.h"
 
 /* GC */
 void *GC_malloc(size_t size);
 void *GC_realloc(void *p,size_t new);
 void *sGC_malloc(size_t size);
+void *sGC_realloc(void *p,size_t new);
 void *sGC_realloc2(void *p,size_t old,size_t new);
 void sGC_free2(void *p,size_t size);
 void sGC_free(void *p);
@@ -15,6 +17,7 @@ int KSset(char *name);
 int KSpushBinary(int size,char *data);
 char *KSpopBinary(int *size);
 void KSstart();
+void KSstart_quiet();
 void KSstop();
 
 /*********** You may modify these system constants below **********************/
@@ -64,6 +67,7 @@ struct ring {
   int cc;
   char **x;
   char **D;
+  char **Dsmall;
   int *order;   /* [i][j] ---> [i*2*N+j] */
   int orderMatrixSize;
   int *from;
@@ -78,6 +82,11 @@ struct ring {
   int degreeShiftSize;
   int degreeShiftN;
   int *degreeShift;
+  int partialEcart;
+  int *partialEcartGlobalVarX;
+
+/* To be used. */
+  void *ringInInputForm;
 };
 
 
@@ -182,6 +191,8 @@ struct gradedPolySet {
   struct polySet **polys;  /* polys[0]: grade=0, polys[1]:grade=1, ... */
   int maxGrade;            /* maximal grade in this set */
   int lim;
+  int gb;  /* it is gb or not. */
+  int reduced; /* it is reduced gb or not. */
 };
 
 struct gradedPairs {