version 1.34, 2001/01/05 11:14:28 |
version 1.35, 2007/07/03 22:05:46 |
|
|
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.33 2000/12/29 07:19:40 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/minimal/minimal.k,v 1.34 2001/01/05 11:14:28 takayama Exp $ */ |
#define DEBUG 1 |
#define DEBUG 1 |
Sordinary = false; |
Sordinary = false; |
/* 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 246 def StoTower() { |
|
Line 246 def StoTower() { |
|
} |
} |
|
|
def SsetTower(tower) { |
def SsetTower(tower) { |
sm1(" [(AvoidTheSameRing)] pushEnv |
sm1(" [(AvoidTheSameRing)] pushEnv \ |
[ [(AvoidTheSameRing) 0] system_variable |
[ [(AvoidTheSameRing) 0] system_variable \ |
[(gbListTower) tower (list) dc] system_variable |
[(gbListTower) tower (list) dc] system_variable \ |
] pop popEnv "); |
] pop popEnv "); |
/* sm1("(hoge) message show_ring "); */ |
/* sm1("(hoge) message show_ring "); */ |
} |
} |
Line 358 def NewPolynomialVector(size) { |
|
Line 358 def NewPolynomialVector(size) { |
|
} |
} |
|
|
def SturnOffHomogenization() { |
def SturnOffHomogenization() { |
sm1(" |
sm1(" \ |
[(Homogenize)] system_variable 1 eq |
[(Homogenize)] system_variable 1 eq \ |
{ Sverbose { |
{ Sverbose { \ |
(Warning: Homogenization and ReduceLowerTerms options are automatically turned off.) message } { } ifelse |
(Warning: Homogenization and ReduceLowerTerms options are automatically turned off.) message } { } ifelse \ |
[(Homogenize) 0] system_variable |
[(Homogenize) 0] system_variable \ |
[(ReduceLowerTerms) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable \ |
} { } ifelse |
} { } ifelse \ |
"); |
"); |
} |
} |
/* NOTE!!! Be careful these changes of global environmental variables. |
/* NOTE!!! Be careful these changes of global environmental variables. |
Line 372 def SturnOffHomogenization() { |
|
Line 372 def SturnOffHomogenization() { |
|
after computation and interruption. August 15, 2000. |
after computation and interruption. August 15, 2000. |
*/ |
*/ |
def SturnOnHomogenization() { |
def SturnOnHomogenization() { |
sm1(" |
sm1(" \ |
[(Homogenize)] system_variable 0 eq |
[(Homogenize)] system_variable 0 eq \ |
{ Sverbose { |
{ Sverbose { \ |
(Warning: Homogenization and ReduceLowerTerms options are automatically turned ON.) message } { } ifelse |
(Warning: Homogenization and ReduceLowerTerms options are automatically turned ON.) message } { } ifelse \ |
[(Homogenize) 1] system_variable |
[(Homogenize) 1] system_variable \ |
[(ReduceLowerTerms) 1] system_variable |
[(ReduceLowerTerms) 1] system_variable \ |
} { } ifelse |
} { } ifelse \ |
"); |
"); |
} |
} |
|
|