google-deepmind / google-deepmind/alphageometry
Is add_eq2 correct?
Open
- Dominant language
- Python
- Stars
- 4.9k
- Forks
- 572
- PR merge metrics
- No merged PRs in 30d
Description
Should it be self.add_expr([(a, n), (b, -m)])?
------------------------------
def add_eq2(
self, a: str, b: str, m: float, n: float, dep: pr.Dependency
) -> None:
# a/b = m/n
if not self.add_expr([(a, m), (b, -n)]):
return []
self.register2(a, b, m, n, dep)
Contributor guide
Assessment
This issue has not been assessed yet.