Skip to content
Permalink
Browse files

new subgraph theories analogous to residuated mappings

  • Loading branch information...
gruninger committed Sep 29, 2017
1 parent bb17a8b commit e13698099415632c5bd48e22753ebda5cfa72137
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/subgraph/inverse_graph.clif

(cl-imports http://colore.oor.net/subgraph/graph_reflect.clif)

(cl-imports http://colore.oor.net/subgraph/mirror_graph.clif)

)
@@ -0,0 +1,9 @@
(cl-text http://colore.oor.net/subgraph/inverse_graph_hom.clif

(cl-imports http://colore.oor.net/subgraph/graph_hom.clif)

(cl-imports http://colore.oor.net/subgraph/graph_reflect.clif)

(cl-imports http://colore.oor.net/subgraph/mirror_graph.clif)

)
@@ -0,0 +1,16 @@
(cl-text http://colore.oor.net/subgraph/mirror_graph.clif

(cl-imports http://colore.oor.net/subgraph/subgraph_root.clif)

(forall (p1 l1 l2)
(if (and (adj l2 l1)
(in p1 l1)
(point p1)
(line l1)
(line l2))
(exists (l2)
(and (adj p2 p1)
(point p2)
(in p2 l2)))))

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

(cl-imports http://colore.oor.net/subgraph/functional_graph.clif)

(cl-imports http://colore.oor.net/subgraph/mirror_graph.clif)

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

(cl-imports http://colore.oor.net/subgraph/graph_hom.clif)

(cl-imports http://colore.oor.net/subgraph/mirror_graph.clif)

)

0 comments on commit e136980

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