version 1.20, 2003/08/24 05:19:43 |
version 1.25, 2003/11/20 09:20:36 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.19 2003/08/23 02:28:39 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.24 2003/11/17 00:28:13 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 249 void Kusage2(fp,s) |
|
Line 254 void Kusage2(fp,s) |
|
fppp(fp," [(degreeShift) (value)] homogenize ::\n"); |
fppp(fp," [(degreeShift) (value)] homogenize ::\n"); |
fppp(fp,"Note. min of ord (-1,1)[0,1] is min {-1,1, 1+1,1+0} = -1 =m \n"); |
fppp(fp,"Note. min of ord (-1,1)[0,1] is min {-1,1, 1+1,1+0} = -1 =m \n"); |
fppp(fp," Degree of H is b-a+v(i)-m where v=[0,1]\n"); |
fppp(fp," Degree of H is b-a+v(i)-m where v=[0,1]\n"); |
|
fppp(fp,"Side effects: It changes h-degree shift vector and s-degree shift vector\n"); |
|
fppp(fp," in homogenizeObject_go(), which is called from ecart division codes\n"); |
|
fppp(fp," as well as the function homogenize.\n"); |
fppp(fp,"DegreeShift is automatically reset when set_up_ring is called.\n"); |
fppp(fp,"DegreeShift is automatically reset when set_up_ring is called.\n"); |
}else if (strcmp(s,"idiv") == 0) { |
}else if (strcmp(s,"idiv") == 0) { |
fppp(fp,"<< a b idiv a/b >>\n"); |
fppp(fp,"<< a b idiv a/b >>\n"); |
Line 480 void Kusage2(fp,s) |
|
Line 488 void Kusage2(fp,s) |
|
fppp(fp,"ReduceLowerTerms, CheckHomogenization, Homogenize, Sugar, Homogenize_vec,\n"); |
fppp(fp,"ReduceLowerTerms, CheckHomogenization, Homogenize, Sugar, Homogenize_vec,\n"); |
fppp(fp,"Statistics, StackPointer, StandardOperandStack,\n"); |
fppp(fp,"Statistics, StackPointer, StandardOperandStack,\n"); |
fppp(fp,"ErrorStack, ErrorMessageMode, WarningMessageMode,\n"); |
fppp(fp,"ErrorStack, ErrorMessageMode, WarningMessageMode,\n"); |
fppp(fp,"CatchCtrlC, Strict, CurrentContextp, NullContextp, Strict2,\n"); |
fppp(fp,"CatchCtrlC, Strict, CurrentContextp, NullContextp, Strict2, QuoteMode\n"); |
fppp(fp,"SigIgn, KSPushEnvMode, PrimitiveContextp, KanGBmessage,\n"); |
fppp(fp,"SigIgn, KSPushEnvMode, PrimitiveContextp, KanGBmessage,\n"); |
fppp(fp,"orderMatrix, gbListTower, Schreyer, \n"); |
fppp(fp,"orderMatrix, gbListTower, Schreyer, \n"); |
fppp(fp,"outputOrder, multSymbol, variableNames, Version,\n"); |
fppp(fp,"outputOrder, multSymbol, variableNames, Version,\n"); |
Line 497 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) { |