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

Return to usage.c CVS log

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

version 1.43, 2005/06/16 06:21:21

version 1.45, 2005/07/18 10:55:16

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.42 2005/06/15 02:22:51 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.44 2005/06/16 06:54:55 takayama Exp $ */

#include <stdio.h>

#include "datatype.h"

#include "stackm.h"

Line 173 void Kusage2(fp,s)

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

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

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

fppp(fp," [(traceShowScannerBuf)] 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");

Line 242 void Kusage2(fp,s)

Line 243 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), (reduceOnly),\n");

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

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

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

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