From a3362c6f0b17256c12572d39223b272e4af50aef Mon Sep 17 00:00:00 2001 From: Ana Romero Date: Tue, 26 Nov 2019 20:09:32 +0100 Subject: [PATCH] Problem solved with smash products --- src/pushout/Pushout.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/pushout/Pushout.lisp b/src/pushout/Pushout.lisp index ccd974d..7e749d2 100644 --- a/src/pushout/Pushout.lisp +++ b/src/pushout/Pushout.lisp @@ -145,9 +145,9 @@ (2 (with-absm (dgop gmsm) (? g (1- dmns) (absm dgop gmsm1)) (absm dgop (pushout-gsm 2 gmsm)))) (3 (absm dgop (pushout-gsm 0 crpr))))))) - (1 (with-absm (dgop gmsm) (funcall face2 indx dmns gmsm) + (1 (with-absm (dgop gmsm) (funcall face2 indx dmns old) (absm dgop (pushout-gsm 1 gmsm)))) - (2 (with-absm (dgop gmsm) (funcall face3 indx dmns gmsm) + (2 (with-absm (dgop gmsm) (funcall face3 indx dmns old) (absm dgop (pushout-gsm 2 gmsm)))))))) (the face #'rslt)))