OpenXM/src/kan96xx/Kan/usage.c - diff

Return to usage.c CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.38, 2004/09/17 12:32:11

version 1.41, 2005/06/09 04:09:22

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.37 2004/09/17 02:42:57 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.40 2004/12/21 03:25:04 takayama Exp $ */

#include <stdio.h>

#include "datatype.h"

#include "stackm.h"

Line 164 void Kusage2(fp,s)

fppp(fp," [(or_attrs) atr ] extension result-obj \n");

fppp(fp," [(outputObjectToFile) path obj] extension null \n");

fppp(fp," [(ostype)] extension list \n");

fppp(fp," [(read) fd size] extension string \n");

fppp(fp," [(regexec) regular_expression stringArray flags(opt)] extension list \n");

fppp(fp," [(regionMatches) string stringArray] extension list \n");

fppp(fp," [(traceClearStack)] extension null \n");

fppp(fp," [(traceShowStack)] extension str \n");

fppp(fp," [(unlink) fname] extension r\n");

/* fppp(fp," [(asir0) string] extension result-object \n"); */

fppp(fp,"See also plugin-* in ?? by [(plugin)] usages :: \n");

}else if (strcmp(s,"file")==0) {

Line 235 void Kusage2(fp,s)

Line 237 void Kusage2(fp,s)

fppp(fp,"poly f1, ..., fn; poly g1, ..., gm;\n");

fppp(fp,"optional return value: matrix of poly backward-transformation, syzygy;\n");

fppp(fp,"Computation of the Groebner basis of f1,...,fn. The basis is {g1,...,gm}.\n");

fppp(fp,"Options: << (needBack), (needSyz), (countDown) number (StopDegree) number, (forceReduction)>>\n");

fppp(fp,"Options: << (needBack), (needSyz), (reduceOnly),\n");

fppp(fp," (countDown) number (StopDegree) number, (forceReduction)>>\n");

fppp(fp,"Flags:<< [(ReduceLowerTerms) 1] system_variable >>\n");

fppp(fp," << [(AutoReduce) 0] system_variable >>\n");

fppp(fp," << [(UseCriterion1) 0] system_variable >>\n");

fppp(fp," << [(UseCriterion2B) 0] system_variable >>\n");

fppp(fp," << [(Sugar) 0] system_variable >>\n");