aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RING.lsp
blob: 3eb33dcf719b4a3713f83d636ee2d4a41edb5828 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(/VERSIONCHECK 2) 

(DEFPARAMETER |Ring;AL| 'NIL) 

(DEFUN |Ring;| ()
  (LET ((#0=#:G1397
            (|sublisV| (PAIR '(#1=#:G1396) (LIST '(|Integer|)))
                (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$)
                        (|CoercibleFrom| '#1#)
                        (|mkCategory| '|package|
                            '(((|characteristic|
                                   ((|NonNegativeInteger|)) |constant|)
                               T))
                            '((|unitsKnown| T))
                            '((|NonNegativeInteger|)) NIL)))))
    (|setShellEntry| #0# 0 '(|Ring|))
    #0#)) 

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

(MAKEPROP '|Ring| 'NILADIC T)