Return to k0-cohom.sm1 CVS log

Up to [local] / OpenXM / src / k097 / lib / minimal

Annotation of OpenXM/src/k097/lib/minimal/k0-cohom.sm1, Revision 1.3

1.3     ! takayama    1: %%  $OpenXM: OpenXM/src/k097/lib/minimal/k0-cohom.sm1,v 1.2 2000/07/31 01:21:41 takayama Exp $
1.1       takayama    2:
                      3:
                      4: % w_to_vec in dr.sm1 should be replaced by the following.
                      5: [(chattr) 0 /w_to_vec] extension
                      6: %% [@@@.esymbol (x) (y) (h)] [(x) 100 (y) 10] w_to_vec [0 100 10 0]
                      7: %%  univ              www
                      8: /w_to_vec {
                      9:   /arg2 set  /arg1 set
                     10:   [/univ /www /k /vname /vweight /ans] pushVariables
                     11:   /univ arg1 def /www arg2 def
                     12:   [
                     13:     /ans << univ length >> -1 0 evecw def
                     14:     0  2  << www length 2 sub >>
                     15:     {
                     16:       %% ans ::
                     17:       /k set
                     18:       www k get /vname set
                     19:       www << k 1 add >> get (integer) dc /vweight set
                     20:       << univ length >>
                     21:       << univ vname position >>
                     22:       vweight evecw
                     23:       ans add /ans set
                     24:     } for
                     25:     /arg1 ans def
                     26:   ] pop
                     27:   popVariables
                     28:   arg1
                     29: } def
                     30:
                     31:
                     32:
                     33: %%% From cohom.sm1
                     34: [
                     35: (cohom.sm1 is the top of an experimental package to compute restrictions)
                     36: (of all degrees based on restall.sm1 and restall_s.sm1)
                     37: (See, http://www.math.kobe-u.ac.jp to get these files of the latest version.)
                     38: (Note that the package b-function.sm1 cannot be used with this package.)
                     39: (r-interface.sm1 (C) N.Takayama,  restriction, deRham)
                     40: (  )
                     41: ] {message-quiet} map
                     42: %%% Constants.
                     43: /BFmessage    0 def   %% restall_s.sm1
                     44: /BFnotruncate 1 def   %% restall1_s or restall_s  (truncation from the below)
                     45: %%/Schreyer     1 def   %% V-homogenize, Schreyer
                     46: /Schreyer     2 def   %% h-homogenize, Schreyer
                     47: %%%% Load files
                     48:    [(parse) (oxasir.sm1) pushfile] extension
                     49:    %[(parse) (var.sm1) pushfile] extension
                     50:    %% DO NOT execute debugMode
                     51:    %% inside a block of pushVariables and popVariables.
                     52:    %% debugMode
                     53:    [(parse) (hol.sm1) pushfile] extension
                     54:    [(parse) (gkz.sm1) pushfile] extension
                     55:    [(parse) (appell.sm1)pushfile] extension
                     56:    [(parse) (resol0.sm1)pushfile] extension
                     57:    [(parse) (complex.sm1)pushfile] extension
                     58: %%%%%
                     59: [(parse) (restall.sm1) pushfile] extension pop
                     60: [(parse) (restall_s.sm1) pushfile] extension pop
                     61: %%%%%
                     62: BFnotruncate 1 {
                     63:   (No truncation from below in restall) message-quiet
                     64: }{
                     65:   (Truncation from below in restall. It is faster, but it still contains a bug. So, put /BFnotruncate 1 def in cohom.sm1) message-quiet
                     66: } ifelse
                     67: %%% Automatically choose tower package.  restall_s.sm1 set the variable
                     68: %%% Schreyer,  so set Schreyer here.
                     69: Schreyer 1 eq {
                     70:   (The variable Schreyer is set to 1.) message-quiet
                     71: }{  } ifelse
                     72: Schreyer 2 eq {
                     73:    (The variable Schreyer is set to 2.) message-quiet
                     74: }{  } ifelse
                     75: Schreyer 2 eq {
                     76:   (Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1) message-quiet
                     77:   [(parse) (tower.sm1) pushfile] extension pop
                     78: }{
                     79:   (Loading tower-sugar.sm1 in the standard context. You cannot use Schreyer 2. It is controlled from cohom.sm1) message-quiet
                     80:  [(parse) (tower-sugar.sm1) pushfile] extension pop
                     81: } ifelse
                     82: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                     83: [(parse) (r-interface.sm1) pushfile] extension pop
                     84: (  ) message-quiet
                     85:
                     86: /Onverbose {
                     87:   [
                     88:     /appell.verbose
                     89:     /bfunction.verbose
                     90:     /gkz.verbose
                     91:     /rank.verbose
                     92:     /characteristic.verbose
                     93:     /rrank.verbose
                     94:     /gb.verbose
                     95:     /syz.verbose
                     96:     /fs.verbose
                     97:     /annfs.verbose
                     98:     /intw.verbose
                     99:     /r-interface.verbose
                    100:     /resol0.verbose
                    101:     /tower-sugar.verbose
                    102:     /tower.verbose
                    103:     /deRham.verbose
                    104:   ] { 1 def } map
                    105: } def
                    106:
                    107: /Offverbose {
                    108:   [
                    109:     /appell.verbose
                    110:     /bfunction.verbose
                    111:     /gkz.verbose
                    112:     /rank.verbose
                    113:     /characteristic.verbose
                    114:     /rrank.verbose
                    115:     /gb.verbose
                    116:     /syz.verbose
                    117:     /fs.verbose
                    118:     /annfs.verbose
                    119:     /intw.verbose
                    120:     /r-interface.verbose
                    121:     /resol0.verbose
                    122:     /tower-sugar.verbose
                    123:     /tower.verbose
                    124:     /deRham.verbose
                    125:   ] { 0 def } map
                    126: } def
                    127:
                    128: [(Onverbose)
                    129:  [(Onverbose)
                    130:   (Turn on all verbose flags of the packages. cf. Offverbose)
                    131: ]] putUsages
                    132: [(Offverbose)
                    133:  [(Offverbose)
                    134:   (Turn off all verbose flags of the packages. cf. Onverbose)
                    135: ]] putUsages
                    136:
                    137: /cohom.sm1.loaded 1 def