aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/RING.lsp
blob: 5632415bbf511315bf6c2918b28f2843898df5db (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=#:G1373
            (|sublisV| (PAIR '(#1=#:G1372) '((|Integer|)))
                (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$)
                        (|CoercibleFrom| '#1#)
                        (|mkCategory| '|package|
                            '(((|characteristic|
                                   ((|NonNegativeInteger|)) |constant|)
                               T))
                            '((|unitsKnown| T))
                            '((|NonNegativeInteger|)) NIL)))))
    (SETF (|shellEntry| #0# 0) '(|Ring|))
    #0#)) 

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

(MAKEPROP '|Ring| 'NILADIC T)