[1] | 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 | ;;;
|
---|