[BACK]Return to cohom.k CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/cohom.k between version 1.4 and 1.6

version 1.4, 2000/11/19 05:50:30 version 1.6, 2000/12/10 03:12:20
Line 1 
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.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 97  def sm1_syz(A,V,W) {
Line 97  def sm1_syz(A,V,W) {
   sm1(P," syz /FunctionValue set");    sm1(P," syz /FunctionValue set");
 }  }
 /*  /*
     cf.  Kernel()
   sm1_syz([x*Dx,y*Dy],[x,y]):    sm1_syz([x*Dx,y*Dy],[x,y]):
   We want to syz_h, too.    We want to syz_h, too.
   Step 1: Control by global variable ?  syz ==> syz_generic    Step 1: Control by global variable ?  syz ==> syz_generic
Line 243  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 ");  def Annfs(f,v) {
     local fs;
     fs = ToString(f);
     sm1(" [fs v] annfs /FunctionValue set ");
 }  }
 HelpAdd(["Rest",  
 ["Rest(a), list a; "]]);  
   
   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\"): "
   ]]);
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.6
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>