I removed all the dependencies on Lab by copying tools.py and some functions. I replaced the imports where necessary and wrote comments referencing Lab in the touched parts.
(There are other derivatives from Lab like environments.py that are not yet pointing to their origin. Should we add that?)
I removed all the dependencies on Lab by copying
tools.pyand some functions. I replaced the imports where necessary and wrote comments referencing Lab in the touched parts.(There are other derivatives from Lab like
environments.pythat are not yet pointing to their origin. Should we add that?)