| version 1.9, 2001/01/08 05:26:48 |
version 1.13, 2004/09/16 23:53:45 |
|
|
| /* $OpenXM: OpenXM/src/k097/help.k,v 1.8 2001/01/05 11:14:25 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 516 HelpAdd(["Length", |
|
| Line 516 HelpAdd(["Length", |
|
| ]); |
]); |
| |
|
| HelpAdd(["Transpose", |
HelpAdd(["Transpose", |
| ["Transpose(<<m>.) return the transpose of the matrix << m >>", |
["Transpose(<<m>>.) return the transpose of the matrix << m >>", |
| "(array of array <<m>>)."], |
"(array of array <<m>>)."], |
| ["m"], |
["m"], |
| ["NewMatrix"], |
["NewMatrix"], |
| Line 573 HelpAdd(["IsPolynomial", |
|
| Line 573 HelpAdd(["IsPolynomial", |
|
| "check if a given object is a polynomial." |
"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. */ |
functions on tests. */ |
| /* ------------ Developping functions --------------------- */ |
/* ------------ Developping functions --------------------- */ |
| Line 683 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 "); |