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:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>