Changeset 101 in CGBLisp

Timestamp:

Feb 3, 2009, 1:05:13 AM (15 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• trunk/examples/prover-apollonius.lisp (modified) (1 diff)

trunk/examples/prover-apollonius.lisp

@@ -18 +18 @@
  ;; If
  (
-  ;; AB _|_ AC
-  (perpendicular A B A C)
-
-  ;; M is the midpoint of BC
-  (midpoint B C M)
-
-  ;; O is the midpoint of AM
-  (midpoint A M O)
-
-  ;; H lies on BC
-  (collinear B H C)
-
-  ;; AH _|_ BC
-  (perpendicular A H B C)
-
+  (perpendicular A B A C) ; AB _|_ AC
+  (midpoint B C M)        ; M is the midpoint of BC
+  (midpoint A M O)        ; O is the midpoint of AM
+  (collinear B H C)       ; H lies on BC
+  (perpendicular A H B C) ; AH _|_ BC
   )
-
  ;; Then
-
  (
-  ;; MO = HO
-  (equidistant M O H O)
-
-  ;; or
-
-  ;; B = C
-  (identical-points B C)
-
+  (equidistant M O H O)   ; MO = HO
+  ;; Or
+  (identical-points B C)  ; B = C
   )
  )