version 1.1.1.1, 1999/10/08 02:12:01 |
version 1.9, 2002/10/24 05:19:50 |
|
|
|
/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.8 2001/08/21 14:12:46 takayama Exp $ */ |
#include <stdio.h> |
#include <stdio.h> |
#include "datatype.h" |
#include "datatype.h" |
#include "stackm.h" |
#include "stackm.h" |
|
|
*/ |
*/ |
|
|
void Kusage(ob) |
void Kusage(ob) |
struct object ob; |
struct object ob; |
{ |
{ |
char *s; |
char *s; |
printf("\n"); |
printf("\n"); |
Line 26 struct object ob; |
|
Line 27 struct object ob; |
|
#define fppp fprintf |
#define fppp fprintf |
|
|
void Kusage2(fp,s) |
void Kusage2(fp,s) |
FILE *fp; |
FILE *fp; |
char *s; |
char *s; |
{ |
{ |
/*int n,i; fprintf(stderr,"\n%d: ",strlen(s)); |
/*int n,i; fprintf(stderr,"\n%d: ",strlen(s)); |
for (i=0; i<strlen(s); i++) fprintf(stderr," %x",s[i]);*/ |
for (i=0; i<strlen(s); i++) fprintf(stderr," %x",s[i]);*/ |
if (strcmp(s,"add")==0) { |
if (strcmp(s,"add")==0) { |
fppp(fp,"<< obj1 obj2 add obj3 >>\n"); |
fppp(fp,"<< obj1 obj2 add obj3 >>\n"); |
fppp(fp,"obj3 is the sum of obj1 and obj2.\n"); |
fppp(fp,"obj3 is the sum of obj1 and obj2.\n"); |
|
|
fppp(fp," [(getpid) ] extension result-integer \n"); |
fppp(fp," [(getpid) ] extension result-integer \n"); |
fppp(fp," [(getenv) envName] extension valueOfEnvName \n"); |
fppp(fp," [(getenv) envName] extension valueOfEnvName \n"); |
fppp(fp," [(stat) fname] extension v \n"); |
fppp(fp," [(stat) fname] extension v \n"); |
fppp(fp," v = [null,[(error no), p] or [0, [ ]]\n"); |
fppp(fp," v = [null,[(error no), p]] or [0, [size ]]\n"); |
fppp(fp," [(forkExec) argList fdList sigblock] extension pid\n"); |
fppp(fp," [(forkExec) argList fdList sigblock] extension pid\n"); |
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," [(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," [(regionMatches) string stringArray] extension list \n"); |
/* fppp(fp," [(asir0) string] extension result-object \n"); */ |
/* fppp(fp," [(asir0) string] extension result-object \n"); */ |
fppp(fp,"See also plugin-* in ??. \n"); |
fppp(fp,"See also plugin-* in ??. \n"); |
}else if (strcmp(s,"file")==0) { |
}else if (strcmp(s,"file")==0) { |
|
|
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"); |
fppp(fp," [(toes) array_of_poly] gbext poly \n"); |
fppp(fp," [(toes) array_of_poly] gbext poly \n"); |
|
fppp(fp," [(toe_) poly] gbext poly \n"); |
|
fppp(fp," [(toe_) array_of_poly] gbext poly cf. toVectors \n"); |
fppp(fp," [(isOrdered) poly] gbext poly \n"); |
fppp(fp," [(isOrdered) poly] gbext poly \n"); |
}else if (strcmp(s,"get")==0) { |
}else if (strcmp(s,"get")==0) { |
fppp(fp,"<< [f0 f1 ... fn] k get fk >>\n"); |
fppp(fp,"<< [f0 f1 ... fn] k get fk >>\n"); |
|
|
fppp(fp,"Example: 5 2 idiv :: ===> 2\n"); |
fppp(fp,"Example: 5 2 idiv :: ===> 2\n"); |
}else if (strcmp(s,"ifelse") == 0) { |
}else if (strcmp(s,"ifelse") == 0) { |
fppp(fp,"<< condition { true case } { false case } ifelse >>\n"); /*:*/ |
fppp(fp,"<< condition { true case } { false case } ifelse >>\n"); /*:*/ |
/* Tenuki mark --------------^ */ |
/* Tenuki mark --------------^ */ |
fppp(fp,"integer condition;\n"); |
fppp(fp,"integer condition;\n"); |
fppp(fp,"If condition is non-zero, then true-case will be executed,\n"); |
fppp(fp,"If condition is non-zero, then true-case will be executed,\n"); |
fppp(fp,"else false-case will be executed.\n"); |
fppp(fp,"else false-case will be executed.\n"); |
|
|
fppp(fp,"<< [(key word) optional arg] system_variable result >>\n"); |
fppp(fp,"<< [(key word) optional arg] system_variable result >>\n"); |
fppp(fp,"The primitive returns the value of a given system constant.\n"); |
fppp(fp,"The primitive returns the value of a given system constant.\n"); |
fppp(fp,"The primitive sets the value of a given system constant.\n"); |
fppp(fp,"The primitive sets the value of a given system constant.\n"); |
fppp(fp,"PrintDollar [0,1,2], Wrap, P, N, NN, M, MM, L, LL, C, CC,ringName\n"); |
fppp(fp,"PrintDollar [0,1,2], Wrap, P, N, NN, M, MM, L, LL, C, CC,ringName,\n"); |
fppp(fp,"CurrentRingp, Verbose, UseCriterion1, UseCriterion2B\n"); |
fppp(fp,"CurrentRingp, Verbose, UseCriterion1, UseCriterion2B,\n"); |
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,\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"); |
fppp(fp,"AvoidTheSameRing, RingStack\n"); |
fppp(fp,"AvoidTheSameRing, RingStack, LeftBracket, RightBracket,\n"); |
|
fppp(fp,"AutoReduce, SecureMode\n"); |
fppp(fp,"Example: [(N)] system_variable\n"); |
fppp(fp,"Example: [(N)] system_variable\n"); |
fppp(fp," (maximum number of variables)/2.\n"); |
fppp(fp," (maximum number of variables)/2.\n"); |
fppp(fp," [(x) (var) 3] system_variable\n"); |
fppp(fp," [(x) (var) 3] system_variable\n"); |
|
|
fppp(fp,"file fd; string s;\n"); |
fppp(fp,"file fd; string s;\n"); |
fppp(fp,"Write the string s to the file fd.\n"); |
fppp(fp,"Write the string s to the file fd.\n"); |
fppp(fp,"cf. [(PrintDollar)] system_variable, file, closefile\n"); |
fppp(fp,"cf. [(PrintDollar)] system_variable, file, closefile\n"); |
/******* macros ************/ |
/******* macros ************/ |
}else if (strcmp(s,"timer")==0) { |
}else if (strcmp(s,"timer")==0) { |
fppp(fp,"<< { executable array } timer >>\n"); /*:*/ |
fppp(fp,"<< { executable array } timer >>\n"); /*:*/ |
}else{ |
}else{ |