blob: c951d1432e76ba2477fdcd2d5625a9191a83c7de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
(/VERSIONCHECK 2)
(DEFPARAMETER |IntegerNumberSystem;AL| 'NIL)
(DEFUN |IntegerNumberSystem| ()
(LET (#:G1403)
(COND
(|IntegerNumberSystem;AL|)
(T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|))))))
(DEFUN |IntegerNumberSystem;| ()
(PROG (#0=#:G1401)
(RETURN
(PROG1 (LETT #0#
(|sublisV|
(PAIR '(#1=#:G1395 #2=#:G1396 #3=#:G1397
#4=#:G1398 #5=#:G1399 #6=#:G1400)
(LIST '(|Integer|) '(|Integer|)
'(|Integer|) '(|InputForm|)
'(|Pattern| (|Integer|))
'(|Integer|)))
(|Join| (|UniqueFactorizationDomain|)
(|EuclideanDomain|)
(|OrderedIntegralDomain|)
(|DifferentialRing|)
(|ConvertibleTo| '#1#)
(|RetractableTo| '#2#)
(|LinearlyExplicitRingOver| '#3#)
(|ConvertibleTo| '#4#)
(|ConvertibleTo| '#5#)
(|PatternMatchable| '#6#)
(|CombinatorialFunctionCategory|)
(|RealConstant|) (|CharacteristicZero|)
(|StepThrough|)
(|mkCategory| '|domain|
'(((|odd?| ((|Boolean|) $)) T)
((|even?| ((|Boolean|) $)) T)
((|base| ($)) T)
((|length| ($ $)) T)
((|shift| ($ $ $)) T)
((|bit?| ((|Boolean|) $ $)) T)
((|positiveRemainder| ($ $ $)) T)
((|symmetricRemainder| ($ $ $)) T)
((|rational?| ((|Boolean|) $)) T)
((|rational|
((|Fraction| (|Integer|)) $))
T)
((|rationalIfCan|
((|Union|
(|Fraction| (|Integer|))
"failed")
$))
T)
((|random| ($)) T)
((|random| ($ $)) T)
((|hash| ($ $)) T)
((|copy| ($ $)) T)
((|inc| ($ $)) T)
((|dec| ($ $)) T)
((|mask| ($ $)) T)
((|addmod| ($ $ $ $)) T)
((|submod| ($ $ $ $)) T)
((|mulmod| ($ $ $ $)) T)
((|powmod| ($ $ $ $)) T)
((|invmod| ($ $ $)) T))
'((|multiplicativeValuation| T)
(|canonicalUnitNormal| T))
'((|Fraction| (|Integer|))
(|Boolean|))
NIL)))
|IntegerNumberSystem|)
(SETELT #0# 0 '(|IntegerNumberSystem|))))))
(MAKEPROP '|IntegerNumberSystem| 'NILADIC T)
|