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

'bar-test' failures #130

Closed gheber closed 5 years ago

gheber commented 5 years ago 
--------------------------------
 VRTC-BAR []: 
      Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT-8:SOFT-DLOP-P) datum: D7>
The value D7 is not of type (SATISFIES CAT-8:SOFT-DLOP-P) when binding CAT-8:GMSM..
 --------------------------------
 --------------------------------
 BAR-INTR-VRTC-DFFR []: 
      Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT-8:SOFT-DLOP-P) datum: D7>
The value D7 is not of type (SATISFIES CAT-8:SOFT-DLOP-P) when binding CAT-8:GMSM..
 --------------------------------
gheber commented 5 years ago

Fixed by cefa352