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

Diff for /OpenXM/src/kan96xx/Doc/ecart.sm1 between version 1.37 and 1.38

version 1.37, 2004/09/14 08:30:47 version 1.38, 2004/09/14 10:50:49
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.36 2004/09/14 05:49:36 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.37 2004/09/14 08:30:47 takayama Exp $
 (hol_loaded) boundp { }  (hol_loaded) boundp { }
 { [(parse) (hol.sm1) pushfile] extension } ifelse  { [(parse) (hol.sm1) pushfile] extension } ifelse
 %[(parse) (appell.sm1) pushfile] extension  %[(parse) (appell.sm1) pushfile] extension
Line 1839 
Line 1839 
   [/in-ecartd.isSameIdeal_h /aa /ii /jj /iigg /jjgg /vv /ans /k /n /f    [/in-ecartd.isSameIdeal_h /aa /ii /jj /iigg /jjgg /vv /ans /k /n /f
    /ecartd.isSameIdeal_h.opt     /ecartd.isSameIdeal_h.opt
    /save-ecart.autoHomogenize  /wv /save-ecart.message.quiet     /save-ecart.autoHomogenize  /wv /save-ecart.message.quiet
    /vvGlobal  /rng     /vvGlobal  /rng /noRecomputation
    ] pushVariables     ] pushVariables
   [(CurrentRingp) (Homogenize_vec)] pushEnv    [(CurrentRingp) (Homogenize_vec)] pushEnv
   [    [
Line 1847 
Line 1847 
     gb.verbose { (Getting in ecartd.isSameIdeal_h) message } { } ifelse      gb.verbose { (Getting in ecartd.isSameIdeal_h) message } { } ifelse
     %% comparison of hilbert series has not yet been implemented.      %% comparison of hilbert series has not yet been implemented.
     /save-ecart.message.quiet ecart.message.quiet def      /save-ecart.message.quiet ecart.message.quiet def
     aa length 3 eq , aa length 4 eq , or {    }      aa length 2 gt {    }
     { ([ii jj vv] ecartd.isSameIdeal_h) error } ifelse      { ([ii jj vv] ecartd.isSameIdeal_h) error } ifelse
     /ii aa 0 get def      /ii aa 0 get def
     /jj aa 1 get def      /jj aa 1 get def
     /vv aa 2 get def      /vv aa 2 get def
   
     aa length 4 eq {      aa length 3 gt {
       /vvGlobal aa 3 get def        /vvGlobal aa 3 get def
       vvGlobal isString { [vvGlobal to_records pop] /vvGlobal set }        vvGlobal isString { [vvGlobal to_records pop] /vvGlobal set }
       { vvGlobal { toString } map /vvGlobal set } ifelse        { vvGlobal { toString } map /vvGlobal set } ifelse
Line 1869 
Line 1869 
       /rng [vv wv [(partialEcartGlobalVarX) vvGlobal]] def        /rng [vv wv [(partialEcartGlobalVarX) vvGlobal]] def
     } ifelse      } ifelse
   
     /save-ecart.autoHomogenize ecart.autoHomogenize def      aa (noRecomputation) getNode /noRecomputation set
     /ecart.autoHomogenize 0 def      noRecomputation tag 0 eq { /noRecomputation 0 def } {
     [ii] rng join  ecartd.gb  /iigg set        /noRecomputation 1 def
     [jj] rng join ecartd.gb  /jjgg set      } ifelse
     save-ecart.autoHomogenize /ecart.autoHomogenize set      noRecomputation {
         [ii] /iigg set  [jj] /jjgg set
       } {
         /save-ecart.autoHomogenize ecart.autoHomogenize def
         /ecart.autoHomogenize 0 def
         [ii] rng join  ecartd.gb  /iigg set
         [jj] rng join ecartd.gb  /jjgg set
         save-ecart.autoHomogenize /ecart.autoHomogenize set
       } ifelse
   
     iigg getRing ring_def      iigg getRing ring_def
   
Line 1883 
Line 1891 
     iigg 0 get /iigg set      iigg 0 get /iigg set
     jjgg 0 get /jjgg set      jjgg 0 get /jjgg set
     %%Bug: not implemented for the case of module.      %%Bug: not implemented for the case of module.
       /ecartd.isSameIdeal_h.gb [iigg jjgg] def
   
     /save-ecart.message.quiet ecart.message.quiet def      /save-ecart.message.quiet ecart.message.quiet def
     /ecart.message.quiet 1 def      /ecart.message.quiet 1 def
Line 1931 
Line 1940 
  $The ideals ii and jj will be compared in the ring h[0,1](D_0).$   $The ideals ii and jj will be compared in the ring h[0,1](D_0).$
  $ii and jj are re-parsed.$   $ii and jj are re-parsed.$
  $Example 1: [ [((1-x) Dx + h)]  [((1-x)^2 Dx + h (1-x))] (x)] ecartd.isSameIdeal_h $   $Example 1: [ [((1-x) Dx + h)]  [((1-x)^2 Dx + h (1-x))] (x)] ecartd.isSameIdeal_h $
    ( )
  ([ii jj vv vvGlobal] ecartd.isSameIdeal_h bool)   ([ii jj vv vvGlobal] ecartd.isSameIdeal_h bool)
  $ Ideals are compared in Q(x')_0 [x''] <Dx',Dx'',h> $   $ Ideals are compared in Q(x')_0 [x''] <Dx',Dx'',h> $
  (  where x'' is specified in vvGlobal.)   (  where x'' is specified in vvGlobal.)
  (cf. partialEcartGlobalVarX option)   (cf. partialEcartGlobalVarX option)
    ( )
    $Option list: [(noRecomputation) 1] $
    $Example 2: [ [((1-x) Dx + h)]  [((1-x)^2 Dx + h (1-x))] (x)] ecartd.isSameIdeal_h $
    $    ecartd.isSameIdeal_h.gb 0 get /ii set $
    $    ecartd.isSameIdeal_h.gb 1 get /jj set $
    $   [ ii jj (x) [[(noRecomputation) 1]] ] ecartd.isSameIdeal_h $
 ]] putUsages  ]] putUsages
   
 /ecartd.isSameIdeal_noh {  /ecartd.isSameIdeal_noh {
Line 1942 
Line 1958 
   [/aa /ii /jj /iigg /jjgg /vv /ans /k /n /f    [/aa /ii /jj /iigg /jjgg /vv /ans /k /n /f
    /ecartd.isSameIdeal_h.opt     /ecartd.isSameIdeal_h.opt
    /save-ecart.autoHomogenize  /wv /save-ecart.message.quiet     /save-ecart.autoHomogenize  /wv /save-ecart.message.quiet
    /vvGlobal  /rng     /vvGlobal  /rng /noRecomputation
    ] pushVariables     ] pushVariables
   [(CurrentRingp) (Homogenize_vec)] pushEnv    [(CurrentRingp) (Homogenize_vec)] pushEnv
   [    [
Line 1950 
Line 1966 
     gb.verbose { (Getting in ecartd.isSameIdeal_noh) message } { } ifelse      gb.verbose { (Getting in ecartd.isSameIdeal_noh) message } { } ifelse
     %% comparison of hilbert series has not yet been implemented.      %% comparison of hilbert series has not yet been implemented.
     /save-ecart.message.quiet ecart.message.quiet def      /save-ecart.message.quiet ecart.message.quiet def
     aa length 3 eq , aa length 4 eq , or {    }      aa length 2 gt {    }
     { ([ii jj vv] ecartd.isSameIdeal_noh) error } ifelse      { ([ii jj vv] ecartd.isSameIdeal_noh) error } ifelse
     /ii aa 0 get def      /ii aa 0 get def
     /jj aa 1 get def      /jj aa 1 get def
     /vv aa 2 get def      /vv aa 2 get def
   
     aa length 4 eq {      aa length 3 gt {
       /vvGlobal aa 3 get def        /vvGlobal aa 3 get def
       vvGlobal isString { [vvGlobal to_records pop] /vvGlobal set }        vvGlobal isString { [vvGlobal to_records pop] /vvGlobal set }
       { vvGlobal { toString } map /vvGlobal set } ifelse        { vvGlobal { toString } map /vvGlobal set } ifelse
Line 1972 
Line 1988 
       /rng [vv wv [(partialEcartGlobalVarX) vvGlobal]] def        /rng [vv wv [(partialEcartGlobalVarX) vvGlobal]] def
     } ifelse      } ifelse
   
     /save-ecart.autoHomogenize ecart.autoHomogenize def      aa (noRecomputation) getNode /noRecomputation set
     /ecart.autoHomogenize 0 def      noRecomputation tag 0 eq { /noRecomputation 0 def } {
     [ii] rng join  ecartd.gb  /iigg set        /noRecomputation 1 def
     [jj] rng join ecartd.gb  /jjgg set      } ifelse
     save-ecart.autoHomogenize /ecart.autoHomogenize set      noRecomputation {
         [ii] /iigg set  [jj] /jjgg set
       } {
         /save-ecart.autoHomogenize ecart.autoHomogenize def
         /ecart.autoHomogenize 0 def
         [ii] rng join  ecartd.gb  /iigg set
         [jj] rng join ecartd.gb  /jjgg set
         save-ecart.autoHomogenize /ecart.autoHomogenize set
       } ifelse
   
     iigg getRing ring_def      iigg getRing ring_def
   
Line 1985 
Line 2009 
     /ans 1 def      /ans 1 def
     iigg 0 get /iigg set      iigg 0 get /iigg set
     jjgg 0 get /jjgg set      jjgg 0 get /jjgg set
       /ecartd.isSameIdeal_noh.gb [iigg jjgg] def
     %%Bug: not implemented for the case of module.      %%Bug: not implemented for the case of module.
   
     /save-ecart.message.quiet ecart.message.quiet def      /save-ecart.message.quiet ecart.message.quiet def
Line 2039 
Line 2064 
  (cf. partialEcartGlobalVarX option, ecartd.reduction_noh, ecartd.isSameIdeal_h)   (cf. partialEcartGlobalVarX option, ecartd.reduction_noh, ecartd.isSameIdeal_h)
  $Example 2: [ [(1-z) (1-x-y-z)]  [(1-x) (1-y)] (x,y,z) [(x)]] $   $Example 2: [ [(1-z) (1-x-y-z)]  [(1-x) (1-y)] (x,y,z) [(x)]] $
  $            ecartd.isSameIdeal_noh $   $            ecartd.isSameIdeal_noh $
    $Option list: [(noRecomputation) 1] $
    $Example 2': [ [(1-z) (1-x-y-z)]  [(1-x) (1-y)] (x,y,z) [(x)]] ecartd.isSameIdeal_noh$
    $    ecartd.isSameIdeal_noh.gb 0 get /ii set $
    $    ecartd.isSameIdeal_noh.gb 1 get /jj set $
    $   [ ii jj (x) [[(noRecomputation) 1]] ] ecartd.isSameIdeal_noh $
 ]] putUsages  ]] putUsages
 (ecartd.isSameIdeal_noh ) messagen-quiet  (ecartd.isSameIdeal_noh ) messagen-quiet
   
Legend:
Removed from v.1.37  
changed lines
  Added in v.1.38
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>