Skip to content
Permalink
Browse files

new and corrected theories in tripartite incidence

  • Loading branch information...
michael.gruninger
michael.gruninger committed Mar 21, 2014
1 parent 89887c3 commit fe99674e84a2929560dc9e88690c8d499a798491
@@ -3,7 +3,7 @@

(cl-imports http://colore.oor.net/quadripartite_incidence/quadripartite.clif)

(cl-imports http://colore.oor.net/quadripartite_incidence/diamond_tripartite.clif)
(cl-imports http://colore.oor.net/tripartite_incidence/diamond_tripartite.clif)

(forall (p q l1 l2 l3)
(if (and (space q)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/quadripartite_incidence/quadripartite.clif

(cl-imports http://colore.oor.net/quadripartite_incidence/tripartite.clif)
(cl-imports http://colore.oor.net/tripartite_incidence/tripartite.clif)

(cl-imports http://colore.oor.net/quadripartite_incidence/space_existence.clif)

@@ -3,6 +3,6 @@

(cl-imports http://colore.oor.net/tripartite_incidence/partitioning.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/graphical_incidence.clif)
(cl-imports http://colore.oor.net/bipartite_incidence/graphical_incidence.clif)

)
@@ -1,7 +1,7 @@

(cl-text http://colore.oor.net/tripartite_incidence/hilbert_plane.clif

(cl-imports http://colore.oor.net/tripartite_incidence/hilbert_incidence.clif)
(cl-imports http://colore.oor.net/bipartite_incidence/hilbert_incidence.clif)

(cl-comment "Three points not situated in the same straight line always completely determine a plane")
(forall (p1 p2 p3)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_line_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/line_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_plane_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/plane_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_strong_line_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/strong_line_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_strong_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/strong_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_strong_plane_near_flag.clif

(cl-text http://colore.oor.net/tripartite_incidence/strong_plane_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_weak_line_plane_existence.clif

(cl-imports http://colore.oor.net/tripartite_incidence/weak_line_plane_existence.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/partial_weak_point_line_existence.clif

(cl-imports http://colore.oor.net/tripartite_incidence/weak_point_line_existence.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/partial_tripartite.clif)

)

This file was deleted.

Oops, something went wrong.

This file was deleted.

Oops, something went wrong.
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/strong_line_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/weak_point_line_existence.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/line_near_flag.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/strong_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/line_near_flag.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/plane_near_flag.clif)

)
@@ -0,0 +1,8 @@

(cl-text http://colore.oor.net/tripartite_incidence/strong_plane_near_flag.clif

(cl-imports http://colore.oor.net/tripartite_incidence/weak_line_plane_existence.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/plane_near_flag.clif)

)
@@ -1,10 +1,10 @@

(cl-text http://colore.oor.net/tripartite_incidence/tripartite.clif

(cl-imports http://colore.oor.net/tripartite_incidence/strong_isolated_plane.clif)
(cl-imports http://colore.oor.net/tripartite_incidence/strong_nonisolated_plane.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/strong_isolated_line.clif)
(cl-imports http://colore.oor.net/tripartite_incidence/strong_nonisolated_line.clif)

(cl-imports http://colore.oor.net/tripartite_incidence/strong_isolated_point.clif)
(cl-imports http://colore.oor.net/tripartite_incidence/strong_nonisolated_point.clif)

)

This file was deleted.

Oops, something went wrong.

This file was deleted.

Oops, something went wrong.

0 comments on commit fe99674

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.