Enchanted Frac library a bit #744

Merged
zxq9 merged 1 commits from github/fork/radrow/frac-fix into lima 2020-03-30 00:14:02 +09:00
zxq9 commented 2020-03-27 03:30:00 +09:00 (Migrated from gitlab.com)

Created by: radrow

There were some bugs in the optimizer. Also added better error messages. I found functions one and zero extremely useful in practice.

*Created by: radrow* There were some bugs in the optimizer. Also added better error messages. I found functions `one` and `zero` extremely useful in practice.
zxq9 commented 2020-03-27 14:51:54 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Review: Approved

*Created by: UlfNorell* **Review:** Approved
zxq9 commented 2020-03-29 23:40:40 +09:00 (Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved
zxq9 commented 2020-03-30 00:14:02 +09:00 (Migrated from gitlab.com)

Merged by: radrow at 2020-03-29 15:14:02 UTC

*Merged by: radrow at 2020-03-29 15:14:02 UTC*
Sign in to join this conversation.
No description provided.