| 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 \ |
| "); |
"); |
| } |
} |
| |
|