Return to cohom.sm1 CVS log

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

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

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