Tests with sagemath