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

Return to usage.c CVS log

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

version 1.30, 2004/09/04 11:25:58

version 1.32, 2004/09/11 01:00:42

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.29 2004/07/30 11:21:55 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/usage.c,v 1.31 2004/09/05 07:42:43 takayama Exp $ */

#include <stdio.h>

#include "datatype.h"

#include "stackm.h"

Line 187 void Kusage2(fp,s)

fppp(fp," (see also cancelCoeff) \n");

fppp(fp," [(exponents) poly type ] gbext array \n");

fppp(fp," example: type == 0 x,y,Dx,Dy\n");

fppp(fp," type == 1 x,y,h,Dx,Dy,H\n");

fppp(fp," type == 1 x,y,Dx,Dy,h,H\n");

fppp(fp," type == 2 x,y,Dx,Dy,h --- default.\n");

fppp(fp," [(grade) poly1 ] gbext integer \n");

fppp(fp," [(isConstant) poly] gbext bool \n");

Line 214 void Kusage2(fp,s)

fppp(fp,"integer k;");

fppp(fp,"The primitive gets the k-th element of a given array.\n");

fppp(fp,"Example: [1 4 3] 1 get :: ---> 4\n");

fppp(fp,"<< ob [k0 k1 ... ] get f >>\n");

fppp(fp,"It is equivalent to << ob k0 get k1 get ... >>\n");

fppp(fp,"The primitive get works for array or list.\n");

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

fppp(fp,"<< label goto >>\n");

fppp(fp,"literal label;\n");