google-deepmind / google-deepmind/alphageometry
Difference between eqangle and eqangle6, eqratio and eqratio6.
Open
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
I am trying to understand deduction rules and have the following question.
In the file with rules https://github.com/google-deepmind/alphageometry/blob/main/rules.txt there are eqangle and eqangle6 notation, what is the difference between them? The same question for eqratio and eqratio6.
Contributor guide
Assessment
This issue has not been assessed yet.