Return to cohom.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

Annotation of OpenXM/src/kan96xx/Doc/cohom.sm1, Revision 1.2

1.2     ! takayama    1: % $OpenXM$
1.1       maekawa     2: %%% cohom.sm1  Choose Schreyer 1 or 2 below.
                      3: [
                      4: (cohom.sm1 is the top of an experimental package to compute restrictions)
                      5: (of all degrees based on restall.sm1 and restall_s.sm1)
                      6: (See, http://www.math.kobe-u.ac.jp to get these files of the latest version.)
                      7: (Note that the package b-function.sm1 cannot be used with this package.)
                      8: (r-interface.sm1 (C) N.Takayama,  restriction, deRham)
                      9: (  )
                     10: ] {message-quiet} map
                     11: %%% Constants.
                     12: /BFmessage    0 def   %% restall_s.sm1
                     13: /BFnotruncate 1 def   %% restall1_s or restall_s  (truncation from the below)
                     14: %%/Schreyer     1 def   %% V-homogenize, Schreyer
                     15: /Schreyer     2 def   %% h-homogenize, Schreyer
                     16: %%%% Load files
1.2     ! takayama   17:    [(parse) (var.sm1) pushfile] extension
        !            18:    %% DO NOT execute debugMode
        !            19:    %% inside a block of pushVariables and popVariables.
        !            20:    %% debugMode
1.1       maekawa    21:    [(parse) (hol.sm1) pushfile] extension
                     22:    [(parse) (gkz.sm1) pushfile] extension
                     23:    [(parse) (appell.sm1)pushfile] extension
                     24:    [(parse) (resol0.sm1)pushfile] extension
                     25:    [(parse) (complex.sm1)pushfile] extension
                     26: %%%%%
                     27: [(parse) (restall.sm1) pushfile] extension pop
                     28: [(parse) (restall_s.sm1) pushfile] extension pop
                     29: %%%%%
                     30: BFnotruncate 1 {
                     31:   (No truncation from below in restall) message-quiet
                     32: }{
                     33:   (Truncation from below in restall. It is faster, but it still contains a bug. So, put /BFnotruncate 1 def in cohom.sm1) message-quiet
                     34: } ifelse
                     35: %%% Automatically choose tower package.  restall_s.sm1 set the variable
                     36: %%% Schreyer,  so set Schreyer here.
                     37: Schreyer 1 eq {
                     38:   (The variable Schreyer is set to 1.) message-quiet
                     39: }{  } ifelse
                     40: Schreyer 2 eq {
                     41:    (The variable Schreyer is set to 2.) message-quiet
                     42: }{  } ifelse
                     43: Schreyer 2 eq {
                     44:   (Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1) message-quiet
                     45:   [(parse) (tower.sm1) pushfile] extension pop
                     46: }{
                     47:   (Loading tower-sugar.sm1 in the standard context. You cannot use Schreyer 2. It is controlled from cohom.sm1) message-quiet
                     48:  [(parse) (tower-sugar.sm1) pushfile] extension pop
                     49: } ifelse
                     50: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                     51: [(parse) (r-interface.sm1) pushfile] extension pop
                     52: (  ) message-quiet
                     53:
                     54: /Onverbose {
                     55:   [
                     56:     /appell.verbose
                     57:     /bfunction.verbose
                     58:     /gkz.verbose
                     59:     /rank.verbose
                     60:     /characteristic.verbose
                     61:     /rrank.verbose
                     62:     /gb.verbose
                     63:     /syz.verbose
                     64:     /fs.verbose
                     65:     /annfs.verbose
                     66:     /intw.verbose
                     67:     /r-interface.verbose
                     68:     /resol0.verbose
                     69:     /tower-sugar.verbose
                     70:     /tower.verbose
                     71:     /deRham.verbose
                     72:   ] { 1 def } map
                     73: } def
                     74:
                     75: /Offverbose {
                     76:   [
                     77:     /appell.verbose
                     78:     /bfunction.verbose
                     79:     /gkz.verbose
                     80:     /rank.verbose
                     81:     /characteristic.verbose
                     82:     /rrank.verbose
                     83:     /gb.verbose
                     84:     /syz.verbose
                     85:     /fs.verbose
                     86:     /annfs.verbose
                     87:     /intw.verbose
                     88:     /r-interface.verbose
                     89:     /resol0.verbose
                     90:     /tower-sugar.verbose
                     91:     /tower.verbose
                     92:     /deRham.verbose
                     93:   ] { 0 def } map
                     94: } def
                     95:
                     96: [(Onverbose)
                     97:  [(Onverbose)
                     98:   (Turn on all verbose flags of the packages. cf. Offverbose)
                     99: ]] putUsages
                    100: [(Offverbose)
                    101:  [(Offverbose)
                    102:   (Turn off all verbose flags of the packages. cf. Onverbose)
                    103: ]] putUsages
                    104:
                    105: /cohom.sm1.loaded 1 def