Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/google-deepmind/alphageometry
/ copy
Method
copy
problem.py:606–609 ·
view source on GitHub ↗
(self)
Source
from the content-addressed store, hash-verified
604
return
dep
605
606
def
copy(self) -> EmptyDependency:
607
other = EmptyDependency(self.level, self.rule_name)
608
other.why = list(self.why)
609
return
other
610
611
def
extend(
612
self,
Callers
3
_add_eqangle
Method · 0.95
add_eqangle
Method · 0.95
_add_eqratio
Method · 0.95
Calls
1
EmptyDependency
Class · 0.85
Tested by
no test coverage detected