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

The function VERTEX-I seems to have disappeared. #113

Closed gheber closed 8 years ago

gheber commented 8 years ago

See failures in Chapter7.ipynb

gheber commented 8 years ago
  • ABSM-EXT-INT and VERTEX-I in chapter 7

These functions are defined and used only inside a test sequence

|...|#, just to make a little easier the input of data and the

lecture of the output.

In such a situation, probably it's better to have a progn which includes the definition and the use of these local functions.