[BACK]Return to demo2.k CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / restriction
File: [local] / OpenXM / src / k097 / lib / restriction / demo2.k (download)

Revision 1.1, Sat Jan 13 01:17:37 2001 UTC (23 years, 5 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9 

A demo program for my RIMS lecture on slopes of hypergeometric
D-modules.
Slope:  computing all slopes.
See Doc/complex.texi for details.

sm1(" [(parse) (slope.sm1) pushfile ] extension ");
load["restriction.k"];
load("complex.k");


def GKZ(a,b) {
  local v,ans,vv;
  sm1(" [a { /v set v { (integer) dc} map } map 
         b { (integer) dc } map ] gkz /ans set ");
  vv = ans[1];
  RingD(vv);
  return(ReParse(ans[0]));
}

def Slope(g,vv,f,v) {
  local ans;
  g = Map(g,"ToString");
  vv = Map(vv,"ToString");
  sm1(" f { (integer) dc } map /f set ");
  sm1(" v { (integer) dc } map /v set ");
  sm1(" [ g vv f v ] slope /ans set ");
  return(ans);
}

def Primadec(g) {
  sm1(" [g] primadec /FunctionValue set ");
}


OutputPrompt;