Return to demo2.k CVS log | 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, 8 months ago) by takayama
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;