version 1.11, 2003/11/20 09:20:36 |
version 1.13, 2004/09/16 23:53:45 |
|
|
/* $OpenXM: OpenXM/src/k097/help.k,v 1.10 2001/05/27 12:48:02 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/help.k,v 1.12 2003/11/20 09:24:35 takayama Exp $ */ |
if (K00_verbose) |
if (K00_verbose) |
Println("help.k: 8/6, 1996 --- 8/7, 1996. 3/6, 1997 --- 12/21, 1997."); |
Println("help.k: 8/6, 1996 --- 8/7, 1996. 3/6, 1997 --- 12/21, 1997."); |
|
|
Line 576 HelpAdd(["IsPolynomial", |
|
Line 576 HelpAdd(["IsPolynomial", |
|
HelpAdd(["QuoteMode", |
HelpAdd(["QuoteMode", |
["QuoteMode(1) sets the parser in the quotemode; if unknown function symbol", |
["QuoteMode(1) sets the parser in the quotemode; if unknown function symbol", |
"comes, it automatically translates the expression into a tree.", |
"comes, it automatically translates the expression into a tree.", |
"Example: class polymake extends PrimitiveObject {local ; def hogera() { return(1);} } ", |
"Example 1: class polymake extends PrimitiveObject {local ; def hogera() { return(1);} } ", |
" QuoteMode(1); polymake.foo(1,2): ", |
" QuoteMode(1); polymake.foo(1,2): ", |
|
"Example 2: polymake=\"polymake\"; ", |
|
" QuoteMode(1); polymake.foo(1,2): ", |
"QuoteMode(0) turns off the quotemode."], |
"QuoteMode(0) turns off the quotemode."], |
["Tag"], |
["Tag"], |
"Change into the quote mode." |
"Change into the quote mode." |
Line 693 def void Protect(name,level) { |
|
Line 695 def void Protect(name,level) { |
|
n = Length(Arglist); |
n = Length(Arglist); |
if (n == 1) { |
if (n == 1) { |
level = 1; |
level = 1; |
str = AddString(["[(chattr) ",ToString(level)," /",name," ", |
str = AddString(["[(or_attr) ",ToString(level)," /",name," ", |
" ] extension pop "]); |
" ] extension pop "]); |
/* Println(str); */ |
/* Println(str); */ |
sm1(" [(parse) ",str ," ] extension pop "); |
sm1(" [(parse) ",str ," ] extension pop "); |
} else if (n ==2) { |
} else if (n ==2) { |
str = AddString(["[(chattr) ",ToString(level)," /",name," ", |
str = AddString(["[(or_attr) ",ToString(level)," /",name," ", |
" ] extension pop "]); |
" ] extension pop "]); |
/* Println(str); */ |
/* Println(str); */ |
sm1(" [(parse) ",str ," ] extension pop "); |
sm1(" [(parse) ",str ," ] extension pop "); |