| version 1.5, 2000/11/19 10:48:48 |
version 1.6, 2000/12/10 03:12:20 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/minimal/cohom.k,v 1.4 2000/11/19 05:50:30 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/cohom.k,v 1.5 2000/11/19 10:48:48 takayama Exp $ */ |
| |
|
| /* k0 interface functions for cohom.sm1 */ |
/* k0 interface functions for cohom.sm1 */ |
| def Boundp(a) { |
|
| local b; |
|
| sm1("[(parse) [(/) ",a," ( load tag 0 eq |
|
| { /FunctionValue 0 def } |
|
| { /FunctionValue 1 def } ifelse )] cat ] extension"); |
|
| } |
|
| |
|
| def load_cohom() { |
def load_cohom() { |
| |
local ppp; |
| if (Boundp("cohom.sm1.loaded")) { |
if (Boundp("cohom.sm1.loaded")) { |
| }else{ |
}else{ |
| sm1(" [(parse) (k0-cohom.sm1) pushfile ] extension "); |
if (Tag(GetPathName("k0-cohom.sm1")) == 0) { |
| |
ppp = GetPathName("lib/minimal/k0-cohom.sm1"); |
| |
sm1(" [(parse) ppp pushfile ] extension "); |
| |
}else{ |
| |
sm1(" [(parse) (k0-cohom.sm1) pushfile ] extension "); |
| |
} |
| } |
} |
| } |
} |
| |
|
| Line 244 HelpAdd(["ToricIdeal", |
|
| Line 244 HelpAdd(["ToricIdeal", |
|
| "The answer is given by a list of strings.", |
"The answer is given by a list of strings.", |
| "Example: ToricIdeal([[1,1,1,1],[0,1,3,4]]);"]]); |
"Example: ToricIdeal([[1,1,1,1],[0,1,3,4]]);"]]); |
| |
|
| def Rest(a) { |
|
| sm1(a," rest /FunctionValue set "); |
|
| } |
|
| HelpAdd(["Rest", |
|
| ["Rest(a), list a; "]]); |
|
| |
|
| def Annfs(f,v) { |
def Annfs(f,v) { |
| local fs; |
local fs; |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to cohom.k CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / lib / minimal