search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

`disk-pasting-test` failure #139

Closed gheber closed 5 years ago

gheber commented 5 years ago 
Failure Details:
 --------------------------------
 HMEQ-DISK-PASTING []: 
      Unexpected Error: #<UNDEFINED-FUNCTION HMEQ-DISK-PASTING {100526F083}>
The function CAT-9:HMEQ-DISK-PASTING is undefined...
 --------------------------------
sphyynx commented 5 years ago

HMEQ-DISK-PASTING not in Kenzo-9. Was in Kenzo-8. There is a DISK-PASTING-HMEQ in Kenzo-9 but which in fact returns a reduction, not a homology-equivalence. When it is possible, Kenzo-9 uses a reduction instead of an equivalence, better efficiency.

Le 21/05/2019 02:13, Gerd Heber a écrit :

|Failure Details:

HMEQ-DISK-PASTING []: Unexpected Error: #<UNDEFINED-FUNCTION HMEQ-DISK-PASTING {100526F083}> The function CAT-9:HMEQ-DISK-PASTING is undefined...

|

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gheber/kenzo/issues/139?email_source=notifications&email_token=AE36EHL27373BRBWGWSDNZDPWM5EPA5CNFSM4HOGLIOKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GU26JGQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AE36EHIDLWY2IFISCSNB4LLPWM5EPANCNFSM4HOGLIOA.

gheber commented 5 years ago

Fixed in dddbc7b.