Return to basicCD.sm1 CVS log

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

Annotation of OpenXM/src/kan96xx/Doc/basicCD.sm1, Revision 1.1.1.1

1.1       maekawa     1: %% basicCD.sm1
                      2: (basicCD.sm1 : plus2, plus1, times, minus2, minus1, over, power ) message
                      3: (              integer_quotient, integer_remainder, integer_gcd ) message
                      4: (              equal, unequal, less, lessequal, greater, greaterequal ) message
                      5: /plus2 { add } def
                      6: /plus1 {  } def
                      7: /times { mul } def
                      8: /minus2 { sub } def
                      9: /minus1 { (0).. 2 -1 roll sub } def
                     10: /over { div } def
                     11: /integer_quotient { idiv } def
                     12: /integer_remainder {
                     13:   /basicCD.B set
                     14:   /basicCD.A set
                     15:   [(tdiv_qr) basicCD.A basicCD.B] mpzext 1 get
                     16: } def
                     17: /integer_gcd {
                     18:   /basicCD.B set
                     19:   /basicCD.A set
                     20:   [(gcd) basicCD.A basicCD.B] mpzext
                     21: } def
                     22:
                     23: /equal { eq } def
                     24: /unequal { eq not } def
                     25: /less { lt } def
                     26: /lessequal { le } def
                     27: /greater { gt } def
                     28: /greaterequal{ ge } def
                     29:
                     30:
                     31: