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 Ibáñez 2020-01-16 12:28:55 +01:00
parent 8cbd522de8
commit 6330fb3f9b
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/anromero/homotopy.lisp
View File

@ -59,7 +59,7 @@
(homology-format (eval ft) n-hom) (homology-format (eval ft) n-hom)
(if (string= "NIL" result) ;; NIL (if (string= "NIL" result) ;; NIL
(let ((first-non-null (first-non-null-homology-group ft n-hom))) (let ((first-non-null (first-non-null-homology-group ft n-hom)))
(compute-homotopy ft n-hom first-non-null)) (if first-non-null (compute-homotopy ft n-hom first-non-null) nil))
(if (string= "Z " result) (if (string= "Z " result)
(compute-homotopy-z-xslt n-hom ft (1+ indx)) (compute-homotopy-z-xslt n-hom ft (1+ indx))
(if (string= "Z/2Z " result) (if (string= "Z/2Z " result)
@ -78,7 +78,7 @@
(homology-format (eval ft) n-hom) (homology-format (eval ft) n-hom)
(if (string= "NIL" result) ;; nil (if (string= "NIL" result) ;; nil
(let ((first-non-null (first-non-null-homology-group ft n-hom))) (let ((first-non-null (first-non-null-homology-group ft n-hom)))
(compute-homotopy ft n-hom first-non-null)) (if first-non-null (compute-homotopy ft n-hom first-non-null) nil))
(if (string= "Z " result) (if (string= "Z " result)
(compute-homotopy-z-xslt n-hom ft (1+ indx)) (compute-homotopy-z-xslt n-hom ft (1+ indx))
(if (string= "Z/2Z " result) (if (string= "Z/2Z " result)
@ -97,7 +97,7 @@
(homology-format (eval ft) n-hom) (homology-format (eval ft) n-hom)
(if (string= "NIL" result) ;; nil (if (string= "NIL" result) ;; nil
(let ((first-non-null (first-non-null-homology-group ft n-hom))) (let ((first-non-null (first-non-null-homology-group ft n-hom)))
(compute-homotopy ft n-hom first-non-null)) (if first-non-null (compute-homotopy ft n-hom first-non-null) nil))
(if (string= "Z " result) (if (string= "Z " result)
(compute-homotopy-z-xslt n-hom ft (1+ indx)) (compute-homotopy-z-xslt n-hom ft (1+ indx))
(if (string= "Z/2Z " result) (if (string= "Z/2Z " result)
@ -210,9 +210,6 @@
(split-components (compute-homotopy smst degr first-non-null)) (split-components (compute-homotopy smst degr first-non-null))
nil))) nil)))