Return to demo2.k CVS log

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

Annotation of OpenXM/src/k097/lib/restriction/demo2.k, Revision 1.1

1.1     ! takayama    1: sm1(" [(parse) (slope.sm1) pushfile ] extension ");
        !             2: load["restriction.k"];
        !             3: load("complex.k");
        !             4:
        !             5:
        !             6: def GKZ(a,b) {
        !             7:   local v,ans,vv;
        !             8:   sm1(" [a { /v set v { (integer) dc} map } map
        !             9:          b { (integer) dc } map ] gkz /ans set ");
        !            10:   vv = ans[1];
        !            11:   RingD(vv);
        !            12:   return(ReParse(ans[0]));
        !            13: }
        !            14:
        !            15: def Slope(g,vv,f,v) {
        !            16:   local ans;
        !            17:   g = Map(g,"ToString");
        !            18:   vv = Map(vv,"ToString");
        !            19:   sm1(" f { (integer) dc } map /f set ");
        !            20:   sm1(" v { (integer) dc } map /v set ");
        !            21:   sm1(" [ g vv f v ] slope /ans set ");
        !            22:   return(ans);
        !            23: }
        !            24:
        !            25: def Primadec(g) {
        !            26:   sm1(" [g] primadec /FunctionValue set ");
        !            27: }
        !            28:
        !            29:
        !            30: OutputPrompt;