Update deRham_cohom_ex02.sage