version 1.21, 2003/08/26 07:42:52 |
version 1.24, 2003/11/17 00:28:13 |
|
|
/* $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.23 2003/09/12 02:52:50 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
Line 68 void Kusage2(fp,s) |
|
Line 68 void Kusage2(fp,s) |
|
}else if (strcmp(s,"closefile")==0) { |
}else if (strcmp(s,"closefile")==0) { |
fppp(fp,"<< fd closefile >>\n"); |
fppp(fp,"<< fd closefile >>\n"); |
fppp(fp,"file fd;\n"); |
fppp(fp,"file fd;\n"); |
|
fppp(fp,"cf. file (open a file)\n"); |
}else if (strcmp(s,"coefficients")==0 || strcmp(s,"coeff")==0) { |
}else if (strcmp(s,"coefficients")==0 || strcmp(s,"coeff")==0) { |
fppp(fp,"<< f v coeff [exponents coefficients] >>\n"); |
fppp(fp,"<< f v coeff [exponents coefficients] >>\n"); |
fppp(fp,"poly f,v; list of integers exponents; list of poly coefficients;\n"); |
fppp(fp,"poly f,v; list of integers exponents; list of poly coefficients;\n"); |
Line 152 void Kusage2(fp,s) |
|
Line 153 void Kusage2(fp,s) |
|
fppp(fp," [(getchild)] extension listOfPid (generated by forkExec)\n"); |
fppp(fp," [(getchild)] extension listOfPid (generated by forkExec)\n"); |
fppp(fp," [(keywords) ] extension array-of-names-of-primitives \n"); |
fppp(fp," [(keywords) ] extension array-of-names-of-primitives \n"); |
fppp(fp," [(nobody) ] extension null \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," [(getUniqueFileName) path] extension newName \n"); |
fppp(fp," [(outputObjectToFile) path obj] extension null \n"); |
fppp(fp," [(outputObjectToFile) path obj] extension null \n"); |
fppp(fp," [(ostype)] extension list \n"); |
fppp(fp," [(ostype)] extension list \n"); |
Line 164 void Kusage2(fp,s) |
|
Line 167 void Kusage2(fp,s) |
|
fppp(fp,"It opens the <<filename>> with the <<mode>>. <<fd>> is the\n"); |
fppp(fp,"It opens the <<filename>> with the <<mode>>. <<fd>> is the\n"); |
fppp(fp,"file descripter and is used in writestring and closefile.\n"); |
fppp(fp,"file descripter and is used in writestring and closefile.\n"); |
fppp(fp,"If filename part is an integer, it calls fdopen() and returns the file descripter.\n"); |
fppp(fp,"If filename part is an integer, it calls fdopen() and returns the file descripter.\n"); |
|
fppp(fp,"cf. closefile, writestring, pushfile \n"); |
}else if (strcmp(s,"for")==0) { |
}else if (strcmp(s,"for")==0) { |
fppp(fp,"<<init inc limit {executable array} for >>\n"); |
fppp(fp,"<<init inc limit {executable array} for >>\n"); |
fppp(fp,"integer init inc limit;\n"); |
fppp(fp,"integer init inc limit;\n"); |
Line 188 void Kusage2(fp,s) |
|
Line 192 void Kusage2(fp,s) |
|
fppp(fp," where poly1 = n*qpoly+rpoly.\n"); |
fppp(fp," where poly1 = n*qpoly+rpoly.\n"); |
fppp(fp," (see also cancelCoeff) \n"); |
fppp(fp," (see also cancelCoeff) \n"); |
fppp(fp," [(isConstant) poly] gbext bool \n"); |
fppp(fp," [(isConstant) poly] gbext bool \n"); |
|
fppp(fp," [(isConstantAll) poly] gbext bool \n"); |
fppp(fp," [(lcoeff) poly] gbext poly \n"); |
fppp(fp," [(lcoeff) poly] gbext poly \n"); |
fppp(fp," [(lmonom) poly] gbext poly \n"); |
fppp(fp," [(lmonom) poly] gbext poly \n"); |
fppp(fp," [(schreyerSkelton) array_of_poly] gbext array \n"); |
fppp(fp," [(schreyerSkelton) array_of_poly] gbext array \n"); |
Line 500 void Kusage2(fp,s) |
|
Line 505 void Kusage2(fp,s) |
|
fppp(fp," Set the global variable PrintDollar to 0\n"); |
fppp(fp," Set the global variable PrintDollar to 0\n"); |
fppp(fp,"DebugReductionEcart (bit): (2) *% (1) find_reducer,in(r) \n"); |
fppp(fp,"DebugReductionEcart (bit): (2) *% (1) find_reducer,in(r) \n"); |
fppp(fp," (any) cont (4) #+[rat division, + ecartd] \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,"DoCancel (bit): (2) always_reduce_content (1) Noro_strategy \n"); |
fppp(fp," (4) DoCancel_in_reduction1 \n"); |
fppp(fp," (4) DoCancel_in_reduction1 \n"); |
}else if (strcmp(s,"tlimit")==0) { |
}else if (strcmp(s,"tlimit")==0) { |