Return to cmo.txt CVS log

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

Annotation of OpenXM/src/kan96xx/plugin/cmo.txt, Revision 1.1

1.1     ! maekawa     1: cmo.txt   1997, 7/1, 1997, 12/31
        !             2:
        !             3:  (すべてのフィールドは基本的に 32 bits.)
        !             4:
        !             5: List :
        !             6:  | tag 17  | length m | obj[0] | ... | obj[m-1] |
        !             7:  (List を以下 [obj[0], ..., obj[m-1]] と書く.)
        !             8:
        !             9: DMS :
        !            10:  | tag 23  |
        !            11:
        !            12: Coefficients:
        !            13:  32 bit coefficients :
        !            14:    | tag 21 | int |
        !            15:  ZZ (GMP integer) :
        !            16:    | tag 20 | {internal expression of GMP integer} |
        !            17:
        !            18: Monomial:
        !            19:  Monomial32 :
        !            20:    | tag 19 | number of variables n |
        !            21:    | exponent[0] | ... | expoent[n-1] | {Coefficients} |
        !            22:  ZeroMonomial :
        !            23:    | tag 22 |
        !            24:
        !            25:
        !            26:
        !            27: Polynomial:
        !            28:  PolynomialByList :
        !            29:     {Monomial32}
        !            30:    or
        !            31:     [{DMS}, {RingDefinition}, {Polynomial}, ... , {Polynomial}]
        !            32:
        !            33: RingDefinition:
        !            34:   | tag 24 |
        !            35:   | tag 17 | length m |   (LIST)
        !            36:    | INT32 number of variables |                  <m=0>
        !            37:    | INT32 characteristic |or| RingDefinition |   <m=1>
        !            38:    | LIST  name of variables |   (optional)       <m=2>
        !            39:    | LIST  weight vector     |   (optional)       <m=3>
        !            40:    | LIST  output order      |   (optional)       <m=4>
        !            41:
        !            42:
        !            43:
        !            44: Example: Z/11Z [x,y]
        !            45:  3 x^2 y + 1   ===> | 17(11) | 4(4) | {DMS}     |{RingDef}| {3 x^2 y} | {1} |
        !            46:                     | 17(11) | 4(4) | 24(18)    |{RingDef}| {3 x^2 y} | {1} |
        !            47:                                The length is four {DMS}, {RingDef}, 3x2y, 1.
        !            48:  RingDef      ====> | 25(19) | {LIST} 17(11)| 2 |
        !            49:                              | {number of variables} |{coeff field}|
        !            50:
        !            51:  3 x^2 y       ===> | 19 | 2 |   | 2 |
        !            52:                     | 21 | 3 |
        !            53:  1             ===> | 19 | 2 |   | 0 |
        !            54:                     | 21 | 1 |
        !            55:
        !            56:  0             ===> | 22 |
        !            57:
        !            58:
        !            59: Example: Z/11Z [6 variables]
        !            60: (cmotest.sm1) run
        !            61: [(x,y) ring_of_polynomials ( ) elimination_order 11 ] define_ring ;
        !            62: (3x^2 y). cmo /ff set ;
        !            63: ff dump ;
        !            64:   dumpCmoBuf : size = 80, size/sizeof(int) = 20
        !            65:
        !            66:   0  0  0 11  0  0  0  3  0  0  0 18  0  0  0 19  0  0  0 11
        !            67:      LIST         length     DMS      RINGDEFINITION LIST
        !            68:   0  0  0  2  0  0  0  3  0  0  0  6  0  0  0  3  0  0  0  b
        !            69:      length       (INT32)     6           (INT32)     11 (characteristic)
        !            70:
        !            71:   0  0  0 13  0  0  0  6  0  0  0  0  0  0  0  2  0  0  0  0
        !            72:   MONOMIAL32      6 varis     0          2 (x^2)           0
        !            73:   0  0  0  0  0  0  0  1  0  0  0  0  0  0  0 16  0  0  0  3
        !            74:            0     1 (y^1)           0       Z/11            3
        !            75:
        !            76: (3x^2 y). cmosave   ===> debug/cmodata1.cmo
        !            77:
        !            78:
        !            79:
        !            80:
        !            81:
        !            82:
        !            83: