Return to bench CVS log

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

Annotation of OpenXM/src/k097/lib/restriction/bench, Revision 1.1

1.1     ! takayama    1: #! /bin/sh
        !             2: # $OpenXM$
        !             3:
        !             4: k0 <<EOF
        !             5: NoX=true;
        !             6: load("demo.k");;
        !             7: DeRham2WithAsir(P2[0]);
        !             8: quit;
        !             9: EOF
        !            10:
        !            11: k0 <<EOF
        !            12: NoX=true;
        !            13: load("demo.k");;
        !            14: DeRham2WithAsir(P2[1]);
        !            15: quit;
        !            16: EOF
        !            17:
        !            18: k0 <<EOF
        !            19: NoX=true;
        !            20: load("demo.k");;
        !            21: DeRham2WithAsir(P2[2]);
        !            22: quit;
        !            23: EOF
        !            24:
        !            25: k0 <<EOF
        !            26: NoX=true;
        !            27: load("demo.k");;
        !            28: DeRham2WithAsir(P2[3]);
        !            29: quit;
        !            30: EOF
        !            31:
        !            32: k0 <<EOF
        !            33: NoX=true;
        !            34: load("demo.k");;
        !            35: DeRham2WithAsir(P2[4]);
        !            36: quit;
        !            37: EOF
        !            38:
        !            39: k0 <<EOF
        !            40: NoX=true;
        !            41: load("demo.k");;
        !            42: DeRham2WithAsir(P2[5]);
        !            43: quit;
        !            44: EOF
        !            45:
        !            46: k0 <<EOF
        !            47: NoX=true;
        !            48: load("demo.k");;
        !            49: DeRham3WithAsir(P3[0]);
        !            50: quit;
        !            51: EOF
        !            52:
        !            53: k0 <<EOF
        !            54: NoX=true;
        !            55: load("demo.k");;
        !            56: DeRham3WithAsir(P3[1]);
        !            57: quit;
        !            58: EOF
        !            59:
        !            60: k0 <<EOF
        !            61: NoX=true;
        !            62: load("demo.k");;
        !            63: DeRham3WithAsir(P3[2]);
        !            64: quit;
        !            65: EOF
        !            66:
        !            67: k0 <<EOF
        !            68: NoX=true;
        !            69: load("demo.k");;
        !            70: DeRham3WithAsir(P3[3]);
        !            71: quit;
        !            72: EOF
        !            73:
        !            74: