{"action":"closed","issue":{"url":"https://api.github.com/repos/gheber/kenzo/issues/90","labels_url":"https://api.github.com/repos/gheber/kenzo/issues/90/labels{/name}","comments_url":"https://api.github.com/repos/gheber/kenzo/issues/90/comments","events_url":"https://api.github.com/repos/gheber/kenzo/issues/90/events","html_url":"https://github.com/gheber/kenzo/issues/90","id":116463921,"number":90,"title":"disk-pasting.lisp","user":{"login":"gheber","id":6687038,"avatar_url":"https://avatars.githubusercontent.com/u/6687038?v=3","gravatar_id":"","url":"https://api.github.com/users/gheber","html_url":"https://github.com/gheber","followers_url":"https://api.github.com/users/gheber/followers","following_url":"https://api.github.com/users/gheber/following{/other_user}","gists_url":"https://api.github.com/users/gheber/gists{/gist_id}","starred_url":"https://api.github.com/users/gheber/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gheber/subscriptions","organizations_url":"https://api.github.com/users/gheber/orgs","repos_url":"https://api.github.com/users/gheber/repos","events_url":"https://api.github.com/users/gheber/events{/privacy}","received_events_url":"https://api.github.com/users/gheber/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/gheber/kenzo/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"closed","locked":false,"assignee":{"login":"gheber","id":6687038,"avatar_url":"https://avatars.githubusercontent.com/u/6687038?v=3","gravatar_id":"","url":"https://api.github.com/users/gheber","html_url":"https://github.com/gheber","followers_url":"https://api.github.com/users/gheber/followers","following_url":"https://api.github.com/users/gheber/following{/other_user}","gists_url":"https://api.github.com/users/gheber/gists{/gist_id}","starred_url":"https://api.github.com/users/gheber/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gheber/subscriptions","organizations_url":"https://api.github.com/users/gheber/orgs","repos_url":"https://api.github.com/users/gheber/repos","events_url":"https://api.github.com/users/gheber/events{/privacy}","received_events_url":"https://api.github.com/users/gheber/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/gheber/kenzo/milestones/4","html_url":"https://github.com/gheber/kenzo/milestones/Team%20Review","labels_url":"https://api.github.com/repos/gheber/kenzo/milestones/4/labels","id":1392709,"number":4,"title":"Team Review","description":"","creator":{"login":"gheber","id":6687038,"avatar_url":"https://avatars.githubusercontent.com/u/6687038?v=3","gravatar_id":"","url":"https://api.github.com/users/gheber","html_url":"https://github.com/gheber","followers_url":"https://api.github.com/users/gheber/followers","following_url":"https://api.github.com/users/gheber/following{/other_user}","gists_url":"https://api.github.com/users/gheber/gists{/gist_id}","starred_url":"https://api.github.com/users/gheber/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gheber/subscriptions","organizations_url":"https://api.github.com/users/gheber/orgs","repos_url":"https://api.github.com/users/gheber/repos","events_url":"https://api.github.com/users/gheber/events{/privacy}","received_events_url":"https://api.github.com/users/gheber/received_events","type":"User","site_admin":false},"open_issues":23,"closed_issues":16,"state":"open","created_at":"2015-11-04T01:50:21Z","updated_at":"2015-11-19T00:32:45Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2015-11-12T02:06:32Z","updated_at":"2015-11-19T00:32:45Z","closed_at":"2015-11-19T00:32:45Z","body":"; in: DEFUN DISK-PASTING\r\n;     (THE CAT::SIMPLICIAL-SET\r\n;          (WITH-SLOTS (CAT::CMPR CAT::BASIS CAT::BSGN CAT::FACE CAT::DFFR)\r\n;              CAT::SMST\r\n;            (DECLARE (TYPE CAT::CMPRF CAT::CMPR)\r\n;                     (TYPE CAT::BASIS CAT::BASIS)\r\n;                     (TYPE CAT::GMSM CAT::BSGN)\r\n;                     (TYPE CAT::FACE CAT::FACE)\r\n;                     (TYPE CAT::MORPHISM CAT::DFFR))\r\n;            (LET ((CAT::NEW-FACE #) (CAT::NEW-BNDR #))\r\n;              (DECLARE (TYPE CAT::FACE CAT::NEW-FACE)\r\n;                       (TYPE CAT::CMBN CAT::NEW-BNDR))\r\n;              (DO (#\r\n;                   #)\r\n;                  (#)\r\n;                (DECLARE #\r\n;                         #)\r\n;                (LET #\r\n;                  #\r\n;                  #))\r\n;              (CAT::BUILD-SMST :CMPR (CAT::DISK-PASTING-CMPR CAT::CMPR CAT::NEW)\r\n;                               :BASIS\r\n;                               (CAT::DISK-PASTING-BASIS CAT::BASIS CAT::DMNS\r\n;                                CAT::NEW)\r\n;                               :BSPN CAT::BSGN :FACE CAT::NEW-FACE :INTR-BNDR\r\n;                               (CAT::DISK-PASTING-INTR-DFFR CAT::DFFR CAT::DMNS\r\n;                                CAT::NEW CAT::NEW-BNDR)\r\n;                               :BNDR-STRT ...))))\r\n; \r\n; note: type assertion too complex to check:\r\n;  (VALUES SIMPLICIAL-SET &REST T).\r\n\r\n; in: DEFUN MRPH-DISK-PASTING\r\n;     (THE CAT::MORPHISM\r\n;          (CAT::BUILD-MRPH :SORC CAT::NEW-SORC :TRGT CAT::NEW-TRGT :DEGR\r\n;                           (CAT::DEGR CAT::MRPH) :INTR\r\n;                           (CAT::MRPH-DISK-PASTING-INTR CAT::MRPH\r\n;                            (CAT::CMPR CAT::NEW-TRGT) CAT::DMNS CAT::NEW\r\n;                            CAT::NEW-IM)\r\n;                           :STRT :CMBN :ORGN ...))\r\n; \r\n; note: type assertion too complex to check:\r\n;  (VALUES MORPHISM &REST T).\r\n\r\n; in: DEFMETHOD SEARCH-EFHM (T (EQL (QUOTE DISK-PASTING)))\r\n;     (THE CAT::HOMOTOPY-EQUIVALENCE\r\n;          (DESTRUCTURING-BIND\r\n;              (CAT::OLD-SMST CAT::DMNS CAT::NEW CAT::FACES)\r\n;              (REST (CAT::ORGN CAT::SMST))\r\n;            (DECLARE (TYPE CAT::SIMPLICIAL-SET CAT::OLD-SMST)\r\n;                     (FIXNUM CAT::DMNS)\r\n;                     (SYMBOL CAT::NEW)\r\n;                     (IGNORE CAT::FACES))\r\n;            (CAT::HMEQ-DISK-PASTING (CAT::EFHM CAT::OLD-SMST) CAT::DMNS CAT::NEW\r\n;             (CAT::? CAT::SMST CAT::DMNS CAT::NEW) :NEW-LBCC CAT::SMST)))\r\n; \r\n; note: type assertion too complex to check:\r\n;  (VALUES HOMOTOPY-EQUIVALENCE &REST T)."}}