Return to sugar.sm1 CVS log

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

Annotation of OpenXM/src/kan96xx/Kan/sugar.sm1, Revision 1.1.1.1

1.1       maekawa     1: %% sugar.sm1,   It should be developed on 300CT. 1998, 1/27 --
                      2: %% sugar.sm1  1998, 1/29.
                      3:
                      4: [(getOptions)
                      5:  [( getOptions [<options for system_variable>  <options for switch_function>])
                      6:   (cf. restoreOptions)
                      7:  ]
                      8: ] putUsages
                      9: [(restoreOptions)
                     10:  [([<options for system_variable>  <options for switch_function>] restoreOptions)
                     11:   (cf. getOptions)
                     12:  ]
                     13: ] putUsages
                     14: [(groebner_sugar)
                     15:  [(groebner_sugar computes Groebner basis by the sugar strategy.)
                     16:   (Format of arguments and results are as same as that of groebner.)
                     17:   (See groebner.  When you compute in the ring of polynomials,)
                     18:   $it is recommended to turn on the switch [(UseCriterion1) 1] system_variable$
                     19:   (Note that groebner_sugar does not use the homogenized Weyl algebra.)
                     20:   (So, it does work only for term orders. Never use negative weight vectors.)
                     21:  ]
                     22: ] putUsages
                     23:
                     24: /getOptions {
                     25:  [
                     26:   [
                     27:    [(ReduceLowerTerms) [(ReduceLowerTerms)] system_variable]
                     28:    [(Sugar) [(Sugar)] system_variable]
                     29:    [(Homogenize) [(Homogenize)] system_variable]
                     30:    [(CheckHomogenization) [(CheckHomogenization)] system_variable]
                     31:    [(UseCriterion2B) [(UseCriterion2B)] system_variable]
                     32:    [(UseCriterion1) [(UseCriterion1)] system_variable]
                     33:    [(Statistics) [(Statistics)] system_variable]
                     34:    [(KanGBmessage) [(KanGBmessage)] system_variable]
                     35:    [(Verbose) [(Verbose)] system_variable]
                     36:    [(Homogenize_vec) [(Homogenize_vec)] system_variable]
                     37:   ]
                     38:   [ [(mmLarger) (report) (mmLarger) switch_function]
                     39:     [(mpMult) (report) (mpMult) switch_function]
                     40:     [(monomialAdd) (report) (monomialAdd) switch_function]
                     41:     [(red@) (report) (red@) switch_function]
                     42:     [(sp) (report) (sp) switch_function]
                     43:     [(grade) (report) (grade) switch_function]
                     44:     [(groebner) (report) (groebner) switch_function]
                     45:   ]
                     46:  ]
                     47: } def
                     48:
                     49: /restoreOptions {
                     50:  /arg1 set
                     51:  [/opt ] pushVariables
                     52:  [
                     53:     /opt arg1 def
                     54:     opt 0 get { system_variable } map
                     55:     opt 1 get { aload pop switch_function } map
                     56:  ] pop
                     57:  popVariables
                     58: } def
                     59:
                     60: /on_sugar_mode {
                     61:   [(ReduceLowerTerms) 0] system_variable
                     62:   [(Sugar) 1] system_variable
                     63:   [(Homogenize) 0] system_variable
                     64:   [(CheckHomogenization) 0] system_variable
                     65:   [(UseCriterion2B) 1] system_variable
                     66: } def
                     67:
                     68: /off_sugar_mode {
                     69:   [(ReduceLowerTerms) 1] system_variable
                     70:   [(Sugar) 0] system_variable
                     71:   [(Homogenize) 1] system_variable
                     72:   [(CheckHomogenization) 1] system_variable
                     73:   [(UseCriterion2B) 0] system_variable
                     74: } def
                     75:
                     76: /groebner_sugar {
                     77:   /arg1 set
                     78:   [/savedopt  /ff] pushVariables
                     79:   [
                     80:      /ff arg1 def
                     81:      /savedopt getOptions def
                     82:      on_sugar_mode
                     83:      ff groebner /ff set
                     84:      savedopt restoreOptions
                     85:      /arg1 ff def
                     86:   ] pop
                     87:   popVariables
                     88:   arg1
                     89: } def
                     90:
                     91: %% cf. sugar-test.sm1
                     92:
                     93:
                     94:
                     95: