blob: c58fa54c769aaf5a6a3a14a90b8e65cae787e9db (
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
|
(|/VERSIONCHECK| 2)
(DEFPARAMETER |EuclideanDomain;AL| (QUOTE NIL))
(DEFUN |EuclideanDomain| NIL
(LET (#:G83585)
(COND
(|EuclideanDomain;AL|)
(T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|))))))
(DEFUN |EuclideanDomain;| NIL
(PROG (#1=#:G83583)
(RETURN
(PROG1
(LETT #1#
(|Join|
(|PrincipalIdealDomain|)
(|mkCategory|
(QUOTE |domain|)
(QUOTE (
((|sizeLess?| ((|Boolean|) |$| |$|)) T)
((|euclideanSize| ((|NonNegativeInteger|) |$|)) T)
((|divide|
((|Record|
(|:| |quotient| |$|)
(|:| |remainder| |$|))
|$| |$|)) T)
((|quo| (|$| |$| |$|)) T)
((|rem| (|$| |$| |$|)) T)
((|extendedEuclidean|
((|Record|
(|:| |coef1| |$|)
(|:| |coef2| |$|)
(|:| |generator| |$|))
|$| |$|)) T)
((|extendedEuclidean|
((|Union|
(|Record| (|:| |coef1| |$|) (|:| |coef2| |$|))
"failed")
|$| |$| |$|)) T)
((|multiEuclidean|
((|Union|
(|List| |$|)
"failed")
(|List| |$|) |$|)) T)))
NIL
(QUOTE ((|List| |$|) (|NonNegativeInteger|) (|Boolean|)))
NIL))
|EuclideanDomain|)
(SETELT #1# 0 (QUOTE (|EuclideanDomain|)))))))
(MAKEPROP (QUOTE |EuclideanDomain|) (QUOTE NILADIC) T)
|
