OpenXM/src/k097/lib/minimal/cohom.k - diff

Return to cohom.k CVS log

Up to [local] / OpenXM / src / k097 / lib / minimal

version 1.4, 2000/11/19 05:50:30

version 1.5, 2000/11/19 10:48:48

Line 1

/* $OpenXM: OpenXM/src/k097/lib/minimal/cohom.k,v 1.3 2000/09/10 20:22:45 takayama Exp $ */

/* $OpenXM: OpenXM/src/k097/lib/minimal/cohom.k,v 1.4 2000/11/19 05:50:30 takayama Exp $ */

/* k0 interface functions for cohom.sm1 */

def Boundp(a) {

Line 97 def sm1_syz(A,V,W) {

sm1(P," syz /FunctionValue set");

}

cf. Kernel()

sm1_syz([x*Dx,y*Dy],[x,y]):

We want to syz_h, too.

Step 1: Control by global variable ? syz ==> syz_generic

Line 247 def Rest(a) {

Line 248 def Rest(a) {

sm1(a," rest /FunctionValue set ");

}

HelpAdd(["Rest",

["Rest(a), list a; "]]);

def Annfs(f,v) {

local fs;

fs = ToString(f);

sm1(" [fs v] annfs /FunctionValue set ");

}

HelpAdd(["Annfs",

["Annfs(f,v) computes the annihilating ideal of f^r and the Bernstein-Sato",

" polynomial b(s) of f",

"Return value: [Ann(f^r), r, b(s)] where r is the minimal integral root of",

" b(s) = 0.",

"Example: Annfs(x^2+y^2,\"x,y\"): "

]]);