OpenXM/src/k097/help.k - diff

Return to help.k CVS log

Up to [local] / OpenXM / src / k097

version 1.10, 2001/05/27 12:48:02

version 1.13, 2004/09/16 23:53:45

Line 1

/* $OpenXM: OpenXM/src/k097/help.k,v 1.9 2001/01/08 05:26:48 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/help.k,v 1.12 2003/11/20 09:24:35 takayama Exp $ */

if (K00_verbose)

Println("help.k: 8/6, 1996 --- 8/7, 1996. 3/6, 1997 --- 12/21, 1997.");

Line 573 HelpAdd(["IsPolynomial",

"check if a given object is a polynomial."

]);

HelpAdd(["QuoteMode",

["QuoteMode(1) sets the parser in the quotemode; if unknown function symbol",

"comes, it automatically translates the expression into a tree.",

"Example 1: class polymake extends PrimitiveObject {local ; def hogera() { return(1);} } ",

" QuoteMode(1); polymake.foo(1,2): ",

"Example 2: polymake=\"polymake\"; ",

" QuoteMode(1); polymake.foo(1,2): ",

"QuoteMode(0) turns off the quotemode."],

["Tag"],

"Change into the quote mode."

]);

/* -----------------------------------------------

functions on tests. */

/* ------------ Developping functions --------------------- */

Line 683 def void Protect(name,level) {

Line 695 def void Protect(name,level) {

n = Length(Arglist);

if (n == 1) {

level = 1;

str = AddString(["[(chattr) ",ToString(level)," /",name," ",

str = AddString(["[(or_attr) ",ToString(level)," /",name," ",

" ] extension pop "]);

/* Println(str); */

sm1(" [(parse) ",str ," ] extension pop ");

} else if (n ==2) {

str = AddString(["[(chattr) ",ToString(level)," /",name," ",

str = AddString(["[(or_attr) ",ToString(level)," /",name," ",

" ] extension pop "]);

/* Println(str); */

sm1(" [(parse) ",str ," ] extension pop ");