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     ! 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