Return to cohom.sm1 CVS log

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

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

1.3     ! takayama    1: % $OpenXM: OpenXM/src/kan96xx/Doc/cohom.sm1,v 1.2 1999/11/08 09:15:00 takayama Exp $
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
1.3     ! takayama   26:    [(parse) (ecart.sm1)pushfile] extension
1.1       maekawa    27: %%%%%
                     28: [(parse) (restall.sm1) pushfile] extension pop
                     29: [(parse) (restall_s.sm1) pushfile] extension pop
                     30: %%%%%
                     31: BFnotruncate 1 {
                     32:   (No truncation from below in restall) message-quiet
                     33: }{
                     34:   (Truncation from below in restall. It is faster, but it still contains a bug. So, put /BFnotruncate 1 def in cohom.sm1) message-quiet
                     35: } ifelse
                     36: %%% Automatically choose tower package.  restall_s.sm1 set the variable
                     37: %%% Schreyer,  so set Schreyer here.
                     38: Schreyer 1 eq {
                     39:   (The variable Schreyer is set to 1.) message-quiet
                     40: }{  } ifelse
                     41: Schreyer 2 eq {
                     42:    (The variable Schreyer is set to 2.) message-quiet
                     43: }{  } ifelse
                     44: Schreyer 2 eq {
                     45:   (Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1) message-quiet
                     46:   [(parse) (tower.sm1) pushfile] extension pop
                     47: }{
                     48:   (Loading tower-sugar.sm1 in the standard context. You cannot use Schreyer 2. It is controlled from cohom.sm1) message-quiet
                     49:  [(parse) (tower-sugar.sm1) pushfile] extension pop
                     50: } ifelse
                     51: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                     52: [(parse) (r-interface.sm1) pushfile] extension pop
                     53: (  ) message-quiet
                     54:
                     55: /Onverbose {
                     56:   [
                     57:     /appell.verbose
                     58:     /bfunction.verbose
                     59:     /gkz.verbose
                     60:     /rank.verbose
                     61:     /characteristic.verbose
                     62:     /rrank.verbose
                     63:     /gb.verbose
                     64:     /syz.verbose
                     65:     /fs.verbose
                     66:     /annfs.verbose
                     67:     /intw.verbose
                     68:     /r-interface.verbose
                     69:     /resol0.verbose
                     70:     /tower-sugar.verbose
                     71:     /tower.verbose
                     72:     /deRham.verbose
                     73:   ] { 1 def } map
                     74: } def
                     75:
                     76: /Offverbose {
                     77:   [
                     78:     /appell.verbose
                     79:     /bfunction.verbose
                     80:     /gkz.verbose
                     81:     /rank.verbose
                     82:     /characteristic.verbose
                     83:     /rrank.verbose
                     84:     /gb.verbose
                     85:     /syz.verbose
                     86:     /fs.verbose
                     87:     /annfs.verbose
                     88:     /intw.verbose
                     89:     /r-interface.verbose
                     90:     /resol0.verbose
                     91:     /tower-sugar.verbose
                     92:     /tower.verbose
                     93:     /deRham.verbose
                     94:   ] { 0 def } map
                     95: } def
                     96:
                     97: [(Onverbose)
                     98:  [(Onverbose)
                     99:   (Turn on all verbose flags of the packages. cf. Offverbose)
                    100: ]] putUsages
                    101: [(Offverbose)
                    102:  [(Offverbose)
                    103:   (Turn off all verbose flags of the packages. cf. Onverbose)
                    104: ]] putUsages
                    105:
                    106: /cohom.sm1.loaded 1 def