Avoiding importing topology from complex.basic

Stream: general

[Eric Wieser]

I was a bit dismayed to see that after editing something low in the heirarchy, I have to wait for most of the topology library to compile before being able to build file#data.complex.basic (import graph). The culprit is file#data/real/sqrt (import graph), which pulls in large amounts of topology so that it can state that sqrt is continuous.

Does it seem reasonable to split out the continuity statements from data/real/sqrt? If so, what would be a better home for them?

[Yury G. Kudryashov]

data.real.sqrt_cont?

[Yury G. Kudryashov]

BTW, with --old you don't have to care too much about things like this.

[Yury G. Kudryashov]

(And I think that we should make real depend on uniform_ring.completion)