aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/INS.lsp
blob: 41a8e7d74d0ac2f7e4a04537c3080055b4696f85 (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
(/VERSIONCHECK 2) 

(DEFPARAMETER |IntegerNumberSystem;AL| 'NIL) 

(DEFUN |IntegerNumberSystem;| ()
  (LET ((#0=#:G1414
            (|sublisV|
                (PAIR '(#1=#:G1408 #2=#:G1409 #3=#:G1410 #4=#:G1411
                           #5=#:G1412 #6=#:G1413)
                      (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)
                              ((|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)))))
    (|setShellEntry| #0# 0 '(|IntegerNumberSystem|))
    #0#)) 

(DEFUN |IntegerNumberSystem| ()
  (COND
    (|IntegerNumberSystem;AL|)
    (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|))))) 

(MAKEPROP '|IntegerNumberSystem| 'NILADIC T)