Fix some things I noticed while reading infsup.lisp

boxer-project / boxer-sunrise

Sunrise on the Boxer Reconstruction Project

BSD 3-Clause "New" or "Revised" License

39 stars 2 forks source link

Open cben opened 1 year ago

cben commented 1 year ago

caveat: Presently I'm just reading the code, not running it, so all untested.

See individual commits for why I believe the 2 removed comments don't match current reality.
The arg order in insert-cha-before-cha was clearly wrong.
I don't see insert-cha-before-cha nor insert-cha-after-cha used anywhere.

sgithens commented 1 year ago

Thanks @cben! I think this looks correct, will take a closer look at it shortly.