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

Make the documentation of the ORG(N) slot more consistent #73

Closed gheber closed 8 years ago

gheber commented 8 years ago

The slot ORGN of a Kenzo object is a list which is the copy of a Lisp statement, in principle the statement which was at the origin of the creation of this Kenzo object. A caching process, using this slot, prevents from creating multiple copies of the same mathematical object, important for efficiency. Used also for debugging and analyzing the program.

gheber commented 8 years ago

Fixed in bcb4a85.