From 411aec1a5235eff8ec1b84b3181d4739cc3cecef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ana=20Romero=20Ib=C3=A1=C3=B1ez?= Date: Fri, 22 Nov 2019 10:47:21 +0100 Subject: [PATCH] Auxiliary functions for topological spaces added --- src/sage-interface.lisp | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/src/sage-interface.lisp b/src/sage-interface.lisp index 0ed6588..ae01fc7 100644 --- a/src/sage-interface.lisp +++ b/src/sage-interface.lisp @@ -297,7 +297,23 @@ :trgt trgt :strt :GNRT :intr (kintr mrph) - :orgn `(KMorphismChainComplex ,sorc ,trgt ,mrph))) + :orgn `(KMorphismChainComplex ,sorc ,trgt ,mrph))) + +#| Informs if a finite topological space is contractible |# +(DEFUN IS_CONTRACTIBLE_AUX1(finspace list) + (find `(CORE ,finspace ,list) *finite-space-list* :test #'equal :key #'orgn)) + +#| Computes the differential matrix list for a h-regular finite topological space using the discrete vector field |# +(DEFUN DVF-H-REGULAR-DIF-AUX1 (finspace dvfield) + (let ((tar (mapcar #'second dvfield)) + (sou (mapcar #'first dvfield))) + (dvf-h-regular-dif finspace :sou sou :tar tar))) + +#| Computes a finite topological space associated with a Stong matrix |# +(DEFUN TOPOLOGY_FROM_MATRIX_AUX1 (stong) + (build-finite-space :stong (convertarray stong) + :orgn `(TOPOLOGY ,(make-array-to-lists stong)))) +