chitrank_dixit/sagemath archive