Update local_cohom_weyl_alg.sage