[BACK]Return to minimal.k CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/minimal.k between version 1.34 and 1.36

version 1.34, 2001/01/05 11:14:28 version 1.36, 2007/07/03 22:28:11
Line 1 
Line 1 
 /* $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.35 2007/07/03 22:05:46 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 \
   ");    ");
 }  }
   
Line 1009  HelpAdd(["Sminimal",
Line 1009  HelpAdd(["Sminimal",
  "         Sweyl(\"x,y\",[[\"x\",-1,\"y\",-1,\"Dx\",1,\"Dy\",1]]);",   "         Sweyl(\"x,y\",[[\"x\",-1,\"y\",-1,\"Dx\",1,\"Dy\",1]]);",
  "         b = ReParse(a[0]); sm1_pmat(b); ",   "         b = ReParse(a[0]); sm1_pmat(b); ",
  "         IsExact_h(b,[x,y]):",   "         IsExact_h(b,[x,y]):",
  "Note:  a[0] is the V-minimal resolution. a[3] is the Schreyer resolution."]]);   "Note:  a[0] is the V-minimal resolution. a[3] is the Schreyer resolution.",
    " ---> D^{m_3} --b[2]--> D^{m_2} --b[1]--> D^{m_1} --b[0]--> D^{m_0} ",
    "  Here D^{m_i} are the set of row vectors. "
    ]]);
   
 def Sminimal(g,opt) {  def Sminimal(g,opt) {
   local r, freeRes, redundantTable, reducer, maxLevel,    local r, freeRes, redundantTable, reducer, maxLevel,

Legend:
Removed from v.1.34  
changed lines
  Added in v.1.36

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>