[BACK]Return to hol.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/hol.sm1 between version 1.20 and 1.22

version 1.20, 2004/06/10 06:01:50 version 1.22, 2004/09/10 13:20:22
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.19 2004/06/03 08:10:44 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.21 2004/07/29 08:13:42 takayama Exp $
 %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8  %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8
 %% rank, rrank, characteristic  %% rank, rrank, characteristic
 %% This file is error clean.  %% This file is error clean.
Line 395  message-quiet
Line 395  message-quiet
     } ifelse      } ifelse
     gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse      gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse
     termorder {      termorder {
       f { {,,, dehomogenize} map } map /f set        f { {___ dehomogenize} map } map /f set
       [f gb.options] groebner_sugar 0 get /gg set        [f gb.options] groebner_sugar 0 get /gg set
     }{      }{
       f { {,,, dehomogenize} map} map /f set        f { {___ dehomogenize} map} map /f set
       gb.autoHomogenize {        gb.autoHomogenize {
         f fromVectors { homogenize } map /f set          f fromVectors { homogenize } map /f set
       } {  } ifelse        } {  } ifelse
Line 1846  message-quiet
Line 1846  message-quiet
        /gbasis2 gbasis 0 get def         /gbasis2 gbasis 0 get def
      } {       } {
        [ [(1)] ] gbasis rest join gb 0 get getRing ring_def         [ [(1)] ] gbasis rest join gb 0 get getRing ring_def
        /gbasis2 gbasis 0 get ,,, def         /gbasis2 gbasis 0 get ___ def
      } ifelse       } ifelse
   
   
      flist ,,, /flist set       flist ___ /flist set
      flist tag 6 eq {       flist tag 6 eq {
        flist { gbasis2 reduction } map /ans set         flist { gbasis2 reduction } map /ans set
      }{       }{
Line 1882  message-quiet
Line 1882  message-quiet
        /gbasis2 gbasis 0 get def         /gbasis2 gbasis 0 get def
      } {       } {
        [ [(1)] ] gbasis rest join gb 0 get getRing ring_def         [ [(1)] ] gbasis rest join gb 0 get getRing ring_def
        /gbasis2 gbasis 0 get ,,, def         /gbasis2 gbasis 0 get ___ def
      } ifelse       } ifelse
   
   
      flist ,,, /flist set       flist ___ /flist set
      [(Homogenize) 0] system_variable       [(Homogenize) 0] system_variable
      flist tag 6 eq {       flist tag 6 eq {
        flist { gbasis2 reduction } map /ans set         flist { gbasis2 reduction } map /ans set
Line 1949  message-quiet
Line 1949  message-quiet
   
 ( ) message-quiet ;  ( ) message-quiet ;
   
   /hol_loaded 1 def
   
   
   

Legend:
Removed from v.1.20  
changed lines
  Added in v.1.22

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