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

`special-smsts-test` failure #143

Closed gheber closed 5 years ago

gheber commented 5 years ago 
 Failure Details:
 --------------------------------
 GMSMS-SUBSMST []: 
      Unexpected Error: #<SB-PCL::NO-APPLICABLE-METHOD-ERROR {1002B4F763}>
There is no applicable method for the generic function #<STANDARD-GENERIC-FUNCTION CAT-9::RBCC1 (1)> when called with arguments ([K64 Reduction K9 => K46]).
See also:
  The ANSI Standard, Section 7.6.6..
 --------------------------------
sphyynx commented 5 years ago

The function GMSMS-SUBSMST is neither defined nor called in Kenzo-9. It is present in Kenzo-8.

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

Failure Details:

GMSMS-SUBSMST []: Unexpected Error: #<SB-PCL::NO-APPLICABLE-METHOD-ERROR {1002B4F763}> There is no applicable method for the generic function

<STANDARD-GENERIC-FUNCTION CAT-9::RBCC1 (1)> when called with arguments

([K64 Reduction K9 => K46]). See also: The ANSI Standard, Section 7.6.6..

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

gheber commented 5 years ago

Fixed in 51e5f7c.