Hi, another way to break the circular dep is that the problem only appears when one tries to _use_ the module. Perhaps we can add an autopkgtest file to try to "import brial", with the depends declaring it needs sagemath? JP