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

'chain-complexes-test' failures #131

Closed gheber closed 5 years ago

gheber commented 5 years ago 
--------------------------------
 DO-CONTROL []: 
      Unexpected Error: #<SIMPLE-ERROR "In the combination located by *WRONG-CMBN*, the generators:~@
                    ~A and ~A are in a wrong order." {10029A8193}>
In the combination located by *WRONG-CMBN*, the generators:
B and B are in a wrong order...
 --------------------------------