ComputerAlgebra is now a separate repo, I hope...