Skip to content
Permalink
Browse files

new theories in cayley_graph

  • Loading branch information...
michael.gruninger
michael.gruninger committed Feb 23, 2015
1 parent 3e0456b commit 3aed5b40127b274c758e8a6dc51cb89ab4ba8bc3
@@ -0,0 +1,15 @@

(cl-text http://colore.oor.net/cayley_graph/monogenic_cayley.clif

(cl-imports http://colore.oor.net/cayley_graph/cayley_root.clif)

(cl-imports http://colore.oor.net/cayley_graph/definitions/cayley_def.clif)

(exists (x)
(and (generator x)
(forall (y)
(if (generator y)
(= y x)))))


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

(cl-text http://colore.oor.net/cayley_graph/monogenic_free_cayley.clif

(cl-imports http://colore.oor.net/cayley_graph/monogenic_cayley.clif)

(cl-imports http://colore.oor.net/cayley_graph/free_semigroup_cayley.clif)

)
@@ -1,8 +1,6 @@

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

(cl-imports http://colore.oor.net/successor/definitions/successor_def.clif)

(forall (x y z)
(if (and (S x y)
(S x z))
@@ -13,9 +11,4 @@
(S z y))
(= x z)))

(forall (y)
(if (not (zero y))
(exists (x)
(S x y))))

)

0 comments on commit 3aed5b4

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.