| version 1.32, 2000/12/10 09:34:28 |
version 1.33, 2000/12/29 07:19:40 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.31 2000/12/10 03:12:20 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.32 2000/12/10 09:34:28 takayama Exp $ */ |
| #define DEBUG 1 |
#define DEBUG 1 |
| Sordinary = false; |
Sordinary = false; |
| /* If you run this program on openxm version 1.1.2 (FreeBSD), |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
|
|
| HelpAdd(["Max", |
HelpAdd(["Max", |
| ["Max(v) returns the maximal element in v."]]); |
["Max(v) returns the maximal element in v."]]); |
| |
|
| def Kernel(f) { |
def Kernel(f,v) { |
| sm1(" [f] syz /FunctionValue set "); |
local ans; |
| |
/* v : string or ring */ |
| |
if (Length(Arglist) < 2) { |
| |
sm1(" [f] syz /ans set "); |
| |
}else{ |
| |
sm1(" [f v] syz /ans set "); |
| |
} |
| |
return(ans); |
| } |
} |
| def Syz(f) { |
def Syz(f) { |
| sm1(" [f] syz /FunctionValue set "); |
sm1(" [f] syz /FunctionValue set "); |