Skip to content
Permalink
Browse files

new hierarchies for poset_bundle and poset_foliation

  • Loading branch information...
michael.gruninger
michael.gruninger committed Nov 8, 2013
1 parent 496daec commit 823be5191b2216c6c9ae7f7fb9b04b4ec869b09c
@@ -0,0 +1,33 @@

(cl-text http://colore.oor.net/poset_bundle/p_bundle.clif

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

(forall (x y p)
(if (tleq x y p)
(and (line x)
(line y)
(point p))))

(forall (x y p)
(if (tleq x y p)
(and (in x p)
(in y p))))

(forall (x p)
(if (and (line x)
(point p)
(in p x))
(tleq x x p)))

(forall (x y p)
(if (and (tleq x y p)
(tleq y x p))
(= x y)))

(forall (x y z p)
(if (and (tleq x y p)
(tleq y z p))
(tleq x z p)))

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

(cl-text http://colore.oor.net/poset_bundle/partial_p_bundle.clif

(cl-imports http://colore.oor.net/poset_bundle/p_bundle.clif)

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


)

@@ -0,0 +1,11 @@

(cl-text http://colore.oor.net/poset_foliation/downward_p_foliation.clif

(cl-imports http://colore.oor.net/poset_foliation/p_foliation.clif)

(forall (x y p1 p2)
(if (and (tleq x y p1)
(part p2 p1))
(tleq x y p2)))

)
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/poset_foliation/ideal_cem_downward_p_foliation.clif

(cl-imports http://colore.oor.net/poset_foliation/downward_p_foliation.clif)

(cl-imports http://colore.oor.net/mereological_geometry/ideal_cem_wmg.clif)

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

(cl-text http://colore.oor.net/poset_foliation/p_foliation.clif

(cl-imports http://colore.oor.net/mereological_geometry/wmg.clif)

(cl-imports http://colore.oor.net/poset_bundle/p_bundle.clif)

)
@@ -0,0 +1,11 @@

(cl-text http://colore.oor.net/poset_foliation/upward_p_foliation.clif

(cl-imports http://colore.oor.net/poset_foliation/p_foliation.clif)

(forall (x y p1 p2)
(if (and (tleq x y p2)
(part p2 p1))
(tleq x y p1)))

)

0 comments on commit 823be51

Please sign in to comment.
You can’t perform that action at this time.