Python code using sage libraries