1 |
|
---|
2 | ;;; *EXAMPLES* ('((string-grobner [VARIABLE]
|
---|
3 | ;;; (string-grobner "[x^2+y,x-y]" '(x y))
|
---|
4 | ;;; (string-grobner "[y-x^2,z-x^3]" '(x y z) :order
|
---|
5 | ;;; #'grevlex>))
|
---|
6 | ;;; (string-grobner-system
|
---|
7 | ;;; (string-grobner-system "[u*x+y,x+y]" '(x y) '(u))
|
---|
8 | ;;; (string-grobner-system "[u*x+y,x+y]" '(x y) '(u)
|
---|
9 | ;;; :cover '(("[u-1]" "[]")))) (string-read-poly
|
---|
10 | ;;; (string-read-poly "[x^3+3*x^2+3*x+1]" '(x)))
|
---|
11 | ;;; (string-elimination-ideal
|
---|
12 | ;;; (string-elimination-ideal "[x^2+y^2-2,x*y-1]" '(x y)
|
---|
13 | ;;; 1))
|
---|
14 | ;;; (string-ideal-saturation-1
|
---|
15 | ;;; (string-ideal-saturation-1 "[x^2*y,y^3]" "x" '
|
---|
16 | ;;; (x y))) (string-ideal-polysaturation-1
|
---|
17 | ;;; (string-ideal-polysaturation-1 "[x^2*y,y^3]" "[x,y]"
|
---|
18 | ;;; '(x y))) (string-cond (string-cond '
|
---|
19 | ;;; ("[u^2-v]" "[v-1]") '(u v) #'grevlex>))
|
---|
20 | ;;; (string-cover (string-cover '(("[u^2-v]" "[u]")
|
---|
21 | ;;; ("[u+v]" "[]")) '(u v) #'grevlex>))
|
---|
22 | ;;; (string-determine
|
---|
23 | ;;; (string-determine "[u*x+y,v*x^2+y^2]" '(x y) '(u v)
|
---|
24 | ;;; :cond '("[u,v]" "[v-1]") :main-order #'lex>))
|
---|
25 | ;;; (parse-string-to-sorted-alist
|
---|
26 | ;;; (parse-string-to-sorted-alist "x^2+y^3" '(x y)
|
---|
27 | ;;; #'grevlex>)
|
---|
28 | ;;; (parse-string-to-sorted-alist "[x^2+y^3,x-y]" '(x y)
|
---|
29 | ;;; #'grevlex>))
|
---|
30 | ;;; (translate-statements
|
---|
31 | ;;; (translate-statements (collinear a b c)
|
---|
32 | ;;; (perpendicular a b a c))) (translate-theorem
|
---|
33 | ;;; (translate-theorem ((perpendicular a b c d)
|
---|
34 | ;;; (perpendicular c d e f)) ((parallel a b e f)
|
---|
35 | ;;; (identical-points c d))) (translate-theorem
|
---|
36 | ;;; ((perpendicular a b a c) (midpoint b c m)
|
---|
37 | ;;; (midpoint a m o) (collinear b h c)
|
---|
38 | ;;; (perpendicular a h b c)) ((equidistant m o h o)
|
---|
39 | ;;; (identical-points b c)))) (prove-theorem
|
---|
40 | ;;; (prove-theorem ((perpendicular a b c d)
|
---|
41 | ;;; (perpendicular c d e f)) ((parallel a b e f)
|
---|
42 | ;;; (identical-points c d))) (prove-theorem
|
---|
43 | ;;; ((perpendicular a b a c) (midpoint b c m)
|
---|
44 | ;;; (midpoint a m o) (collinear b h c)
|
---|
45 | ;;; (perpendicular a h b c)) ((equidistant m o h o)
|
---|
46 | ;;; (identical-points b c))) (prove-theorem
|
---|
47 | ;;; ((perpendicular a b a c) (identical-points b c))
|
---|
48 | ;;; ((identical-points a b) (identical-points a c)))
|
---|
49 | ;;; (prove-theorem ((perpendicular a b a c)
|
---|
50 | ;;; (identical-points b c)) ((identical-points a b)
|
---|
51 | ;;; (real-identical-points a c))))))
|
---|
52 | ;;; A list of available examples.
|
---|
53 | ;;;
|
---|
54 | ;;; EXAMPLE (symbol &optional (stream t)) [FUNCTION]
|
---|
55 | ;;; Run short examples associated with a symbol, which typically is a
|
---|
56 | ;;; function name.
|
---|
57 | ;;;
|
---|
58 | ;;; RUN-EXAMPLE (e stream) [FUNCTION]
|
---|
59 | ;;; Evaluate a single form E and send output to stream STREAM.
|
---|
60 | ;;;
|
---|
61 | ;;; ALL-EXAMPLES (&optional (stream t)) [FUNCTION]
|
---|
62 | ;;; Run all available examples and send output to STREAM.
|
---|
63 | ;;;
|
---|