Return to bench2 CVS log

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

Annotation of OpenXM/src/k097/lib/restriction/bench2, Revision 1.2

1.1       takayama    1: #! /bin/sh
1.2     ! takayama    2: # $OpenXM: OpenXM/src/k097/lib/restriction/bench2,v 1.1 2001/01/26 12:42:56 takayama Exp $
        !             3: # How to execute?
        !             4: #   unsetenv DISPLAY   ( do not forget for oxc.)
        !             5: #   nohup ./bench2 &
1.1       takayama    6:
                      7: k0 <<EOF
                      8: NoX=true;
                      9: load("demo.k");;
                     10: nonquasi2(4,5);
                     11: quit;
                     12: EOF
                     13:
                     14: k0 <<EOF
                     15: NoX=true;
                     16: load("demo.k");;
                     17: nonquasi2(4,6);
                     18: quit;
                     19: EOF
                     20:
                     21: k0 <<EOF
                     22: NoX=true;
                     23: load("demo.k");;
                     24: nonquasi2(4,7);
                     25: quit;
                     26: EOF
                     27:
                     28: k0 <<EOF
                     29: NoX=true;
                     30: load("demo.k");;
                     31: nonquasi2(4,8);
                     32: quit;
                     33: EOF
                     34:
                     35: k0 <<EOF
                     36: NoX=true;
                     37: load("demo.k");;
                     38: nonquasi2(4,9);
                     39: quit;
                     40: EOF
                     41:
                     42: k0 <<EOF
                     43: NoX=true;
                     44: load("demo.k");;
                     45: nonquasi2(4,10);
                     46: quit;
                     47: EOF
                     48:
                     49: k0 <<EOF
                     50: NoX=true;
                     51: load("demo.k");;
                     52: nonquasi2(5,6);
                     53: quit;
                     54: EOF
                     55:
                     56: k0 <<EOF
                     57: NoX=true;
                     58: load("demo.k");;
                     59: nonquasi2(5,7);
                     60: quit;
                     61: EOF
                     62:
                     63: k0 <<EOF
                     64: NoX=true;
                     65: load("demo.k");;
                     66: nonquasi2(5,8);
                     67: quit;
                     68: EOF
                     69:
                     70: k0 <<EOF
                     71: NoX=true;
                     72: load("demo.k");;
                     73: nonquasi2(5,9);
                     74: quit;
                     75: EOF
                     76:
                     77: k0 <<EOF
                     78: NoX=true;
                     79: load("demo.k");;
                     80: nonquasi2(5,10);
                     81: quit;
                     82: EOF
                     83:
                     84: