95 lines
2.4 KiB
Common Lisp
95 lines
2.4 KiB
Common Lisp
|
|
(require 'asdf)
|
|
|
|
(asdf:operate 'asdf:load-op 'kenzo)
|
|
|
|
(format t "~%Initializing Kenzo...")
|
|
(cat:cat-init)
|
|
(cat:kenzo-version)
|
|
|
|
(setf cat:*results-verbose* nil)
|
|
|
|
(format t "~%Creating simplicial set Moore(Z/2Z,3):")
|
|
(defvar m23 (cat:moore 2 3))
|
|
(print m23)
|
|
|
|
(format t "~%~%Calculating the homology groups of dimensions 0 to 4:~%")
|
|
(cat:homology m23 0 5)
|
|
|
|
(format t "~%~%Creating the cartesian product Moore(Z/2Z,3)xMoore(Z/2Z,3):~%")
|
|
(defvar m23xm23 (cat:crts-prdc m23 m23))
|
|
(print m23xm23)
|
|
|
|
(let ((b (cat:basis m23xm23 6)))
|
|
(format t "~%~%Basis in dimension 6:~%")
|
|
(print b)
|
|
(format t "~%~%Length: ~A~%" (length b)))
|
|
|
|
(format t "~%~%Creating the tensor product Moore(Z/2Z,3)#Moore(Z/2Z,3):~%")
|
|
(defvar t2m23 (cat:tnsr-prdc m23 m23))
|
|
(print t2m23)
|
|
|
|
(format t "Basis in dimension 6: ~%")
|
|
(print (cat:basis t2m23 6))
|
|
|
|
(format t "~%~%Calculating the homology groups of dimensions 0 to 8:~%")
|
|
(cat:homology t2m23 0 8)
|
|
|
|
(format t "~%Creating the abelian simplicial group K(Z,1):")
|
|
(defvar kz1 (cat:k-z 1))
|
|
(print kz1)
|
|
|
|
(format t "~%~%Calculating coproduct:")
|
|
(print (cat:cprd kz1 4 '(2 3 4 5)))
|
|
|
|
(format t "~%~%Calculating product:")
|
|
(print (cat:aprd kz1 6 (cat:tnpr 2 '(1 2) 4 '(3 4 5 6))))
|
|
|
|
(format t "~%Creating the abelian simplicial group K(Z/2Z,2):")
|
|
(defvar k-z2-2 (cat:k-z2 2))
|
|
(print k-z2-2)
|
|
|
|
(format t "~%~%Calculating the homology group of dimension 4:~%")
|
|
(cat:homology k-z2-2 4)
|
|
|
|
(format t "~%Creating sphere S^3:")
|
|
(defvar s3 (cat:sphere 3))
|
|
(print s3)
|
|
|
|
(format t "~%Creating loop space Omega^2S^3:")
|
|
(defvar o2s3 (cat:loop-space s3 2))
|
|
(print o2s3)
|
|
|
|
(format t "~%~%Calculating the homology groups of dimensions 4 to 6:~%")
|
|
(cat:homology o2s3 4 6)
|
|
|
|
(format t "~%Creating loop space Omega^1S^3:")
|
|
(defvar os3 (cat:loop-space s3))
|
|
(print os3)
|
|
|
|
(format t "~%~%Retrieving the canonical generator of pi_2(Omega^1S^3):")
|
|
(defvar L1 (cat:loop3 0 's3 1))
|
|
(print L1)
|
|
|
|
(defvar null-simp (cat:absm 3 cat:+null-loop+))
|
|
(print null-simp)
|
|
|
|
(format t "~%~%Pasting a 3-simplex named D3 to Omega^1S^3:")
|
|
(defvar dos3 (cat:disk-pasting os3 3 '<D3>
|
|
(list L1 null-simp L1 null-simp)))
|
|
(print dos3)
|
|
|
|
(format t "~%~%Calculating the homology groups of dimensions 2 to 4:~%")
|
|
(cat:homology dos3 2 4)
|
|
|
|
(format t "~%~%Creating loop space of disk pasting space:")
|
|
(defvar odos3 (cat:loop-space dos3))
|
|
(print odos3)
|
|
|
|
(format t "~%~%Calculating the homology group of dimensions 5:~%")
|
|
(cat:homology odos3 5)
|
|
|
|
|
|
#+ccl (quit)
|
|
#+sbcl (sb-ext:exit)
|