mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Problem in computation of homotopy groups solved

Browse Source
This commit is contained in:
Ana Romero 2019-06-12 17:23:15 +02:00
parent 10ec7deeaa
commit 700546750a
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/anromero/homotopy.lisp
View File

@ -119,15 +119,21 @@
(cond ((equal (car list) 1) (let* ((ch (chml-clss chcm indx)) (cond ((equal (car list) 1) (let* ((ch (chml-clss chcm indx))
(fib (z-whitehead chcm ch)) (fib (z-whitehead chcm ch))
(ft (fibration-total fib))) (ft (fibration-total fib)))
(construct-space-iterative ft (cdr list) indx))) (progn
(kill-epis ft 1 indx)
(construct-space-iterative ft (cdr list) indx))))
((equal (car list) 2) (let* ((ch (chml-clss chcm indx)) ((equal (car list) 2) (let* ((ch (chml-clss chcm indx))
(fib (z2-whitehead chcm ch)) (fib (z2-whitehead chcm ch))
(ft (fibration-total fib))) (ft (fibration-total fib)))
(construct-space-iterative ft (cdr list) indx))) (progn
(kill-epis ft 1 indx)
(construct-space-iterative ft (cdr list) indx))))
(t (let* ((ch (chml-clss chcm indx)) (t (let* ((ch (chml-clss chcm indx))
(fib (zp-whitehead (car list) chcm ch)) (fib (zp-whitehead (car list) chcm ch))
(ft (fibration-total fib))) (ft (fibration-total fib)))
(construct-space-iterative ft (cdr list) indx))) (progn
(kill-epis ft 1 indx)
(construct-space-iterative ft (cdr list) indx))))
))) )))