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

`serre-test` failure #141

Closed gheber closed 5 years ago

gheber commented 5 years ago 
 Failure Details:
 --------------------------------
 RIGHT-SERRE-EFHM []: 
      Unexpected Error: #<UNDEFINED-FUNCTION RIGHT-SERRE-EFHM {1002821EB3}>
The function CAT-9:RIGHT-SERRE-EFHM is undefined...
 --------------------------------
 --------------------------------
 BROWN-REDUCTION []: 
      Unexpected Error: #<UNDEFINED-FUNCTION BROWN-REDUCTION {10028169E3}>
The function CAT-9:BROWN-REDUCTION is undefined...
 --------------------------------
 --------------------------------
 FIBRATION-DTAU-D []: 
      Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D {100280C703}>
The function CAT-9:FIBRATION-DTAU-D is undefined...
 --------------------------------
 --------------------------------
 FIBRATION-DTAU-D-INTR1 []: 
      Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D-INTR {1002800903}>
The function CAT-9:FIBRATION-DTAU-D-INTR is undefined...
 --------------------------------
 --------------------------------
 FIBRATION-DTAU-D-INTR []: 
      Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D-INTR {10027EE983}>
The function CAT-9:FIBRATION-DTAU-D-INTR is undefined...
 --------------------------------
sphyynx commented 5 years ago

These functions RIGHT-SERRE-EFHM, BROWN-REDUCTION, FIBRATION-DTAU-D, FIBRATION-DTAU-D-INTR1 and FIBRATION-DTAU-D-INTR, are neither defined nor called in Kenzo-9.

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

Failure Details:

RIGHT-SERRE-EFHM []: Unexpected Error: #<UNDEFINED-FUNCTION RIGHT-SERRE-EFHM {1002821EB3}> The function CAT-9:RIGHT-SERRE-EFHM is undefined...

BROWN-REDUCTION []: Unexpected Error: #<UNDEFINED-FUNCTION BROWN-REDUCTION {10028169E3}> The function CAT-9:BROWN-REDUCTION is undefined...

FIBRATION-DTAU-D []: Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D {100280C703}> The function CAT-9:FIBRATION-DTAU-D is undefined...

FIBRATION-DTAU-D-INTR1 []: Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D-INTR {1002800903}> The function CAT-9:FIBRATION-DTAU-D-INTR is undefined...

FIBRATION-DTAU-D-INTR []: Unexpected Error: #<UNDEFINED-FUNCTION FIBRATION-DTAU-D-INTR {10027EE983}> The function CAT-9:FIBRATION-DTAU-D-INTR is undefined...

— 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 e519e58.