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

`cs-twisted-products-test` failure #138

Closed gheber closed 5 years ago

gheber commented 5 years ago

Failure Details:
 --------------------------------
 SMGR-FIBRATION []: 
      Unexpected Error: #<UNDEFINED-FUNCTION SMGR-FIBRATION {1004899183}>
The function CAT-9:SMGR-FIBRATION is undefined...
 --------------------------------

sphyynx commented 5 years ago

Francis Sergeraert => Gerd Heber.

/> Failure Details:

SMGR-FIBRATION []: Unexpected Error: #<UNDEFINED-FUNCTION SMGR-FIBRATION {1004899183}> The function CAT-9:SMGR-FIBRATION is undefined...

/ Same answer: no identifier SMGR-FIBRATION in my Kenzo-9.

Seems you have let Kenzo-8 files mixed with Kenzo-9? For example SMGR-FIBRATION was a function in CL-SPACE-EFHM.lisp and CS-TWISTED-PRODUCTS.lisp of Kenzo-8, files not in Kenzo-9.

Bien cordialement.

gheber commented 5 years ago

Fixed in e1058d2