| version 1.7, 2000/05/06 10:35:33 |
version 1.8, 2000/05/06 10:45:43 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.6 2000/05/06 07:58:37 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.7 2000/05/06 10:35:33 takayama Exp $ */ |
| #define DEBUG 1 |
#define DEBUG 1 |
| /* #define ORDINARY 1 */ |
/* #define ORDINARY 1 */ |
| /* If you run this program on openxm version 1.1.2 (FreeBSD), |
/* If you run this program on openxm version 1.1.2 (FreeBSD), |
| Line 1157 def Sschreyer(g) { |
|
| Line 1157 def Sschreyer(g) { |
|
| Print("c2="); Println(c2); |
Print("c2="); Println(c2); |
| nn = Length(bases); |
nn = Length(bases); |
| for (ii=0; ii<nn;ii++) { |
for (ii=0; ii<nn;ii++) { |
| if ((ii != place) && (! IsNull(bases[ii]))) { |
if ((ii != i) && (! IsNull(bases[ii]))) { |
| m = Length(bases[ii]); |
m = Length(bases[ii]); |
| for (jj=0; jj<m; jj++) { |
for (jj=0; jj<m; jj++) { |
| if (jj != place) { |
if (jj != place) { |