[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.23 and 1.30

version 1.23, 2005/06/16 08:40:04 version 1.30, 2019/09/13 05:21:33
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.22 2004/09/10 13:20:22 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.29 2019/08/31 06:36:28 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 302  message-quiet
Line 302  message-quiet
   [/in-gb /aa /typev /setarg /f /v    [/in-gb /aa /typev /setarg /f /v
    /gg /wv /termorder /vec /ans /rr /mm     /gg /wv /termorder /vec /ans /rr /mm
    /degreeShift  /env2 /groebnerOptions     /degreeShift  /env2 /groebnerOptions
      /ggall
   ] pushVariables    ] pushVariables
   [(CurrentRingp) (KanGBmessage)] pushEnv    [(CurrentRingp) (KanGBmessage)] pushEnv
   [    [
Line 419  message-quiet
Line 420  message-quiet
     gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse      gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse
     termorder {      termorder {
       f { {___ dehomogenize} map } map /f set        f { {___ dehomogenize} map } map /f set
       [f groebnerOptions] groebner_sugar 0 get /gg set        [f groebnerOptions] groebner_sugar /ggall set ggall 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
       [f groebnerOptions] groebner 0 get /gg set        [f groebnerOptions] groebner /ggall set ggall 0 get /gg set
     }ifelse      }ifelse
     wv isInteger {      wv isInteger {
       /ans [gg gg {init} map] def        /ans [gg gg {init} map] def
Line 441  message-quiet
Line 442  message-quiet
     ifelse      ifelse
     ans getRing (oxRingStructure) dc /gb.oxRingStructure set      ans getRing (oxRingStructure) dc /gb.oxRingStructure set
     %% gg getAttributeList message      %% gg getAttributeList message
     ans gg getAttributeList setAttributeList /ans set      ans
         gg getAttributeList , [(all) ggall] join
       setAttributeList /ans set
     %%      %%
     env1 restoreOptions  %% degreeShift changes "grade"      env1 restoreOptions  %% degreeShift changes "grade"
   
Line 535  message-quiet
Line 538  message-quiet
     %%% Enf of the preprocess      %%% Enf of the preprocess
   
     groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set      groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set
     gb.verbose { (groenberOptions = ) messagen groebnerOptions message } { } ifelse      gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse
     termorder {      termorder {
       f { {. dehomogenize} map } map /f set        f { {. dehomogenize} map } map /f set
       [(UseCriterion1) 1] system_variable        [(UseCriterion1) 1] system_variable
       [f groenberOptions] groebner_sugar 0 get /gg set        [f groebnerOptions] groebner_sugar 0 get /gg set
       [(UseCriterion1) 0] system_variable        [(UseCriterion1) 0] system_variable
     }{      }{
       f { {. dehomogenize} map} map /f set        f { {. dehomogenize} map} map /f set
Line 817  message-quiet
Line 820  message-quiet
   $Example 7: [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) $    $Example 7: [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) $
   $     [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::$    $     [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::$
   (  )    (  )
     $Example 8: /gb.options [(StopDegree) 11] def Onverbose $
     $ [ [(x^10+y^10-1) (x^5*y^5 -1)] (x,y) $
     $     [ [ (x) 1 ] ]]  gb pmat ; $
     (  )
   (cf. gb, groebner, groebner_sugar, syz. )    (cf. gb, groebner, groebner_sugar, syz. )
 ]] putUsages  ]] putUsages
   
Line 834  message-quiet
Line 841  message-quiet
   $           [ [(x^2+y^2-4). (x y -1).] ] pgb :: $    $           [ [(x^2+y^2-4). (x y -1).] ] pgb :: $
   $Example 2: [ [(x^2+y^2) (x y)]   (x,y)  [ [(x) -1 (y) -1] ] ] pgb :: $    $Example 2: [ [(x^2+y^2) (x y)]   (x,y)  [ [(x) -1 (y) -1] ] ] pgb :: $
   $Example 3: [ [(x^2+y^2 + x y ) (x y)]   (x,y)  [ [(x) -1 (y) -1] ] ]  $    $Example 3: [ [(x^2+y^2 + x y ) (x y)]   (x,y)  [ [(x) -1 (y) -1] ] ]  $
   $           [(reduceOnly)] setAttributeList pgb :: $    $           [(reduceOnly) 1] setAttributeList pgb :: $
   (cf. gb, groebner, groebner_sugar, syz. )    (cf. gb, groebner, groebner_sugar, syz. )
 ]] putUsages  ]] putUsages
   
Line 960  message-quiet
Line 967  message-quiet
        ggall 0 gtmp put         ggall 0 gtmp put
     }{  } ifelse      }{  } ifelse
   
     gg getRing (oxRingStructure) dc /gb.oxRingStructure set      gg length 0 eq {  % there is no syzygy
          ggall getRing (oxRingStructure) dc /gb.oxRingStructure set
       }{
        gg getRing (oxRingStructure) dc /gb.oxRingStructure set
       } ifelse
   
     /arg1 [gg dehomogenize ggall] def      /arg1 [gg dehomogenize ggall] def
   ] pop    ] pop
Line 1064  message-quiet
Line 1075  message-quiet
   (Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) )    (Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) )
   (            (t,x1,x2,x3) -1 -2] annfs :: )    (            (t,x1,x2,x3) -1 -2] annfs :: )
   (           Note that the example 4 uses huge memory space.)    (           Note that the example 4 uses huge memory space.)
     (   )
     (Note: This implementation is stable but obsolete. )
     (As to faster implementation, we refer to ann0 and ann of Risa/Asir )
     (Visit  http://www.math.kobe-u.ac.jp/Asir )
 ]] putUsages  ]] putUsages
 ( annfs ) messagen-quiet  ( annfs ) messagen-quiet
 /annfs.verbose fs.verbose def  /annfs.verbose fs.verbose def
Line 1566  message-quiet
Line 1581  message-quiet
   $             [ [ (x) -1 (y) -1] ] ] gb_h pmat ; $    $             [ [ (x) -1 (y) -1] ] ] gb_h pmat ; $
   $  This is fine because grade(v_1) = grade(v_2)+1 for all vectors. $    $  This is fine because grade(v_1) = grade(v_2)+1 for all vectors. $
   $Example 5: [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] $    $Example 5: [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] $
   $            [(reduceOnly)] setAttributeList gb_h pmat $    $            [(reduceOnly) 1] setAttributeList gb_h pmat $
   (  )    (  )
   (cf. gb, groebner, syz_h. )    (cf. gb, groebner, syz_h. )
 ]] putUsages  ]] putUsages
Line 1988  message-quiet
Line 2003  message-quiet
   $   (x,y) [[(Dx) 1 (Dy) 1]]] /ggg set $    $   (x,y) [[(Dx) 1 (Dy) 1]]] /ggg set $
   $ ((1-x-y)^2*Dx*Dy) ggg gb.reduction_noh :: $    $ ((1-x-y)^2*Dx*Dy) ggg gb.reduction_noh :: $
 ]] putUsages  ]] putUsages
   
   %% 2019.09
   /toe_ {
     /arg1 set
     [/L /ans] pushVariables
     [
        arg1 /L set
        L length 0 eq {
          /ans [ ] def
        }{
          L 0 get tag 6 eq {
            L toe_.for_vec_of_vec /ans set
          }{
            /ans [(toe_) L] gbext def
          } ifelse
        } ifelse
        ans /arg1 set
     ] pop
     arg1
   } def
   [(toe_)
    [(vector toe_ <<sparse form of the vector>>)
     (<<list of vectors>> toe_ <<sparse form of the vectors>>)
     (Example: [[[(x*y+1) (x*y)] , [(1) (x)]] (x,y)] gb /gg set , gg 0 get toe_ reducedBase { 2 tovec.with_size } map ::)
     (cf. tovec.with_size, toVectors)
    ]
   ] putUsages
   
   /toe_.for_vec_of_vec {
     /arg1 set
     [/i /L] pushVariables
     [
        arg1 /L set
        [ 1 1 L length {
           /i set
           [(toe_) L i 1 sub get] gbext
          } for
        ] /arg1 set
     ]pop
     popVariables
     arg1
   } def
   
   /tovec.with_size {
     /arg2 set
     /arg1 set
     [/L /nn /ans /L2 ] pushVariables
     [
        arg1 /L set
        arg2 /nn set
        L tag 6 eq {
          L {nn tovec.with_size} map /ans set
        } {
          L nn tovec.with_size.single /ans set
        } ifelse
        ans /arg1 set
      ] pop
     popVariables
     arg1
   } def
   
   [(tovec.with_size)
    [ (<<sparse vector>> size tovec.with_size vector)
      (<<vector of sparse vectors>> size tovec.with_size <<vector of vectors>>)
      (cf. toe_)
    ]
   ] putUsages
   
   /tovec.with_size.single {
     /arg2 set
     /arg1 set
     [/L /nn /ans /L2 /myenv] pushVariables
     [
       arg1 /L set
       arg2 /nn set
   %    [ (CurrentRingp) ] pushEnv /myenv set   L getRing ring_def
       L toVectors /L set
       L length nn lt {
         L [L length 1 nn 1 sub {pop (0).} for] join /L2 set
       } { /L2 L def } ifelse
   %    myenv popEnv
     ] pop
     L2 /arg1 set
     popVariables
     arg1
   } def
   
   /mod_reduction {
     /arg2 set
     /arg1 set
     [/hh /gg /nn /gge /hhe /rr] pushVariables
     [
       arg1 /hh set
       arg2 /gg set
       [hh gg] message %%%for debug
       [hh {tag} map gg { {tag} map } map] message %%% for debug
       hh length /nn set
       gg toe_ /gge set
       [(toe_) hh] gbext /hhe set
       [hhe gge] message
       hhe gge reduction /rr set
   
       [rr 0 get nn tovec.with_size ,
        rr 1 get ,
        rr 2 get {nn tovec.with_size} map ,
        rr 3 get {nn tovec.with_size} map
       ]
       /arg1 set
     ] pop
     popVariables
     arg1
   } def
   
   %% test input.
   %[ [[(x^2) (y)] [(0) (y^2)]] (x,y)] gb /ff set ff getRing ring_def [(x^2+1). (y^2+1).] /hh set hh ff 0 get mod_reduction /ans set
   
   [(mod_reduction)
    [(vector <<gb of submodules>> mod_reduction [r c0 s reducers] )
     $r = c0 <<vector>> + <<inner product of s and reducers>>$
     $vector and gb must be given by the non-sparse form (without e_)$
     (String input is not accepted.)
     (Example: [(AutoReduce) 1] system_variable [ [[(x^2) (y)] [(0) (y^2)]] (x,y)] gb /ff set ff getRing ring_def [(x^2+1). (y^2+1).] /hh set hh ff 0 get mod_reduction /ans set)
     (cf. toe_)
    ]
   ] putUsages
   
   %% 2019.09.08   transform string to poly recursively. cf. misc-2019/09/hgs/sred.sm1
   /to_poly {
     /arg1 set
     [/L /ans] pushVariables
     [
       arg1 /L set
       L tag 5 eq {  % string
          L . /ans set
       } {
         L tag 6 eq { % list
           L { to_poly } map /ans set
         }{
           L tag 1 eq , L tag 15 eq , or { % int32 or univInt
             L toString to_poly /ans set
           }{
             L /ans set
           } ifelse
         }ifelse
       } ifelse
       ans /arg1 set
     ] pop
     popVariables
     arg1
   } def
   
   %
   /mod_reduction* {
     /arg1 set
     [/in-mod_reduction* /aa /ans  /vv
     ] pushVariables
     [(CurrentRingp) (KanGBmessage)] pushEnv
     [
   
       /aa arg1 def
       aa isArray { } { ( << array >> mod_reduction*) error } ifelse
       aa length 2 lt {
         (<< array whose length >= 2 >> mod_reduction*) error
       } { } ifelse
       aa 0 get isArray { }
       {
          /mod_reduction*.LLL2 goto
       } ifelse
       aa length 2 eq {
         aa mod_reduction*.two.args  /ans set
         /mod_reduction*.LLL goto
       } { } ifelse
   
       /mod_reduction*.LLL2
       aa 2 get /vv set
       aa 2 get tag , StringP eq {
        aa 2 , [vv to_records pop],  put
       } { } ifelse
       aa reduction* /ans set
   
       /mod_reduction*.LLL
       /arg1 ans def
     ] pop
     popEnv
     popVariables
     arg1
   } def
   
   
   [(mod_reduction*)
   [([f base] mod_reduction* [h c0 syz input])
    ([f base v] mod_reduction* [h c0 syz input])
    ([f base v weight] mod_reduction* [h c0 syz input])
    (mod_reduction* is an user interface for mod_reduction.)
    (cf. reduction*)
    (Example 1. [ [(x) (y+1)] [ [(x) (0)] [(0) (y)]] (x,y)] mod_reduction* ::)
    (Example 2. [ [[(x^2) (y)] [(0) (y^2)]] (x,y)] gb /ff set ff getRing ring_def [(x^2+1). (y^2+1).] /hh set, [hh, ff 0 get] mod_reduction* /ans set)
   ]] putUsages
   
   /mod_reduction*.two.args {
     /arg1 set
     [/L ] pushVariables
     [
       arg1 /L set
       L 0 get to_poly , L 1 get to_poly , mod_reduction
       /arg1 set
     ] popVariables
     arg1
   } def
   
 ( ) message-quiet ;  ( ) message-quiet ;
   
Legend:
Removed from v.1.23  
changed lines
  Added in v.1.30
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>