version 1.22, 2003/08/26 12:46:05 |
version 1.26, 2003/12/03 01:21:43 |
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.21 2003/08/26 07:42:52 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.25 2003/11/20 09:20:36 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 166 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 323 void Kusage2(fp,s) |
|
Line 325 void Kusage2(fp,s) |
|
}else if (strcmp(s,"newstack") == 0) { |
}else if (strcmp(s,"newstack") == 0) { |
fppp(fp,"<< size newstack class.OperandStack >>\n"); /*:*/ |
fppp(fp,"<< size newstack class.OperandStack >>\n"); /*:*/ |
fppp(fp,"cf. setstack, stdstack.\n"); |
fppp(fp,"cf. setstack, stdstack.\n"); |
|
}else if (strcmp(s,"oxshell") == 0) { |
|
fppp(fp,"<< cmds oxshell result >>\n"); /*:*/ |
|
fppp(fp,"cmds is an array of strings.\n"); |
}else if (strcmp(s,"pop")==0) { |
}else if (strcmp(s,"pop")==0) { |
fppp(fp,"<< obj pop >> \n"); /*:*/ |
fppp(fp,"<< obj pop >> \n"); /*:*/ |
fppp(fp,"It removes the obj from the stack.\n"); |
fppp(fp,"It removes the obj from the stack.\n"); |
Line 486 void Kusage2(fp,s) |
|
Line 491 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 503 void Kusage2(fp,s) |
|
Line 508 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) { |