Discrete Math with SageMath