![]() ![]() | ![]() |
File: [local] / OpenXM / src / k097 / lib / restriction / bench (download)
Revision 1.2, Sat Jan 27 05:48:46 2001 UTC (23 years, 7 months ago) by takayama
Increased the USER_DICTIONARY_SIZE to solve problems in bench and bench2. |
#! /bin/sh # $OpenXM: OpenXM/src/k097/lib/restriction/bench,v 1.2 2001/01/27 05:48:46 takayama Exp $ # How to execute? # unsetenv DISPLAY ( do not forget for oxc.) # nohup ./bench & k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[0]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[1]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[2]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[3]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[4]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham2WithAsir(P2[5]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham3WithAsir(P3[0]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham3WithAsir(P3[1]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham3WithAsir(P3[2]); quit; EOF k0 <<EOF NoX=true; load("demo.k");; DeRham3WithAsir(P3[3]); quit; EOF