used by sagemath only