===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.c,v
retrieving revision 1.21
retrieving revision 1.23
diff -u -p -r1.21 -r1.23
--- OpenXM/src/kan96xx/Kan/usage.c	2003/08/26 07:42:52	1.21
+++ OpenXM/src/kan96xx/Kan/usage.c	2003/09/12 02:52:50	1.23
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.20 2003/08/24 05:19:43 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.22 2003/08/26 12:46:05 takayama Exp $ */
 #include <stdio.h>
 #include "datatype.h"
 #include "stackm.h"
@@ -152,6 +152,8 @@ void Kusage2(fp,s)
     fppp(fp,"  [(getchild)] extension listOfPid (generated by forkExec)\n");
     fppp(fp,"  [(keywords) ] extension array-of-names-of-primitives \n");
     fppp(fp,"  [(nobody) ] extension null \n");
+    fppp(fp,"  [(newMatrix) m n] extension mat \n");
+    fppp(fp,"  [(newVector) m ] extension vec \n");
     fppp(fp,"  [(getUniqueFileName) path] extension newName \n");
     fppp(fp,"  [(outputObjectToFile) path obj] extension null \n");
     fppp(fp,"  [(ostype)] extension list \n");
@@ -188,6 +190,7 @@ void Kusage2(fp,s)
     fppp(fp,"     where poly1 = n*qpoly+rpoly.\n");
     fppp(fp,"     (see also cancelCoeff) \n");
     fppp(fp,"  [(isConstant) poly] gbext bool \n");
+    fppp(fp,"  [(isConstantAll) poly] gbext bool \n");
     fppp(fp,"  [(lcoeff) poly] gbext poly \n");
     fppp(fp,"  [(lmonom) poly] gbext poly \n");
     fppp(fp,"  [(schreyerSkelton) array_of_poly] gbext array \n");
@@ -500,6 +503,7 @@ void Kusage2(fp,s)
     fppp(fp,"                          Set the global variable PrintDollar to 0\n");
     fppp(fp,"DebugReductionEcart (bit):  (2) *% (1) find_reducer,in(r) \n");
     fppp(fp,"              (any) cont   (4) #+[rat division, + ecartd] \n");
+    fppp(fp,"                           (8) check the order. \n");
     fppp(fp,"DoCancel (bit):  (2) always_reduce_content  (1) Noro_strategy \n");
     fppp(fp,"                 (4) DoCancel_in_reduction1 \n");
   }else if (strcmp(s,"tlimit")==0) {