Return to callsm1.sm1 CVS log

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

Annotation of OpenXM/src/kan96xx/Doc/callsm1.sm1, Revision 1.1

1.1     ! maekawa     1: %% Library for ox_sm1 to be called from asir cf. xm (callsm1.asir)
        !             2: %% This file is automatically loaded when ox_sm1 is called
        !             3: %% with the name ox_sm1_forAsir.  See kxx/oxserver00.c.
        !             4: /whoami {  ( SSkan/lib/callsm1.sm1, 1999/6/23.  ) message  } def
        !             5:
        !             6: /@@@.Dsymbol (d) def
        !             7: /@@@.esymbol (e0) def
        !             8:
        !             9: /toAsirVar {
        !            10:   /arg1 set
        !            11:   [/in-toAsirVar /s /i /ans] pushVariables
        !            12:   [
        !            13:     /s arg1 def
        !            14:     s isArray { s {toAsirVar} map /ans set}
        !            15:     {
        !            16:        s (array) dc /s set
        !            17:        s { /i set
        !            18:           i 64 gt  i 91 lt and   %% 64 = @, 90 = Z, 96=`,
        !            19:           {
        !            20:              i 68 eq {           %% 68 = D, 32 = space.
        !            21:                i 32 add
        !            22:              }
        !            23:              { i 32 add i  } ifelse
        !            24:           }
        !            25:           { i  } ifelse
        !            26:        } map {(string) dc} map cat /ans set
        !            27:     } ifelse
        !            28:     /arg1 ans def
        !            29:   ] pop
        !            30:   popVariables
        !            31:   arg1
        !            32: } def
        !            33:
        !            34: %%[[(x) (Dx) (E) (T) (Dx0)] toAsirVar    ] ::
        !            35: %%(_xy) toAsirVar ::
        !            36:
        !            37: /toAsirForm {
        !            38:   /arg1 set
        !            39:   [/in-toAsirForm /aa /ans] pushVariables
        !            40:   [
        !            41:     /aa arg1 def
        !            42: %%    (toAsirForm : ) messagen aa message
        !            43:     aa isArray {
        !            44:        aa {toAsirForm} map /ans set
        !            45:        /toAsirForm.LLL goto
        !            46:     } {  } ifelse
        !            47:     aa isPolynomial {
        !            48:        aa (0). eq {
        !            49:          /ans (0). def
        !            50:        } {
        !            51:          /ans [(sm1_dp) aa getvNamesCR toAsirVar  aa] def
        !            52:        } ifelse
        !            53:        /toAsirForm.LLL goto
        !            54:     } { } ifelse
        !            55:     aa isInteger {
        !            56:        aa 0 eq {
        !            57:           /ans null def  %% You cannot send universalNumber 0 to the current
        !            58:                          %% asir  1999, 6/10. Try sm1(" 0 "); sm1_pop();
        !            59:        } {
        !            60:          /ans aa (universalNumber) dc def
        !            61:        } ifelse
        !            62:        /toAsirForm.LLL goto
        !            63:     } { } ifelse
        !            64:     aa isUniversalNumber {
        !            65:        aa (0).. eq {
        !            66:           /ans null def  %% You cannot send universalNumber 0 to the current
        !            67:                          %% asir
        !            68:        } {
        !            69:          /ans aa def
        !            70:        } ifelse
        !            71:        /toAsirForm.LLL goto
        !            72:     } { } ifelse
        !            73:
        !            74:
        !            75:     /ans aa def
        !            76:
        !            77:     /toAsirForm.LLL
        !            78:     /arg1 ans def
        !            79:   ] pop
        !            80:   popVariables
        !            81:   arg1
        !            82: } def
        !            83:
        !            84: /foo {[(x) ring_of_polynomials 0] define_ring
        !            85: (x^2-1). /ff set
        !            86: [(x) ring_of_differential_operators 0] define_ring
        !            87: (x^2-1). /gg set
        !            88: [ff gg 0 1 (123).. [(Hello)]] toAsirForm ::
        !            89: } def
        !            90: