From e468a3fe547eb3f7531175ce17dc20ac6d0e28c3 Mon Sep 17 00:00:00 2001 From: jgarnek Date: Fri, 12 Jan 2024 10:32:04 +0000 Subject: [PATCH] some minor corrections --- as_covers/as_cech_class.sage | 1 - superelliptic_drw/superelliptic_drw_auxilliaries.sage | 2 +- superelliptic_drw/superelliptic_drw_cech.sage | 3 ++- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/as_covers/as_cech_class.sage b/as_covers/as_cech_class.sage index 8cd3b6a..97820d9 100644 --- a/as_covers/as_cech_class.sage +++ b/as_covers/as_cech_class.sage @@ -13,7 +13,6 @@ class as_cech: self.omega0 = omega self.f = f self.omega8 = self.omega0 - self.f.diffn() - print(self.omega0.form, self.omega8.valuation()) #if self.omega0.form not in Rxyz or self.omega8.valuation() < 0: # raise ValueError('cech cocycle not regular') diff --git a/superelliptic_drw/superelliptic_drw_auxilliaries.sage b/superelliptic_drw/superelliptic_drw_auxilliaries.sage index e927c87..e899799 100644 --- a/superelliptic_drw/superelliptic_drw_auxilliaries.sage +++ b/superelliptic_drw/superelliptic_drw_auxilliaries.sage @@ -40,7 +40,7 @@ def decomposition_omega0_hpdh(omega): #h = (omega - omega0)/(d((omega - omega0)/dh)) print('decomposition_omega0_hpdh', omega, omega1, fct) - print('??', omega.verschiebung() == omega1.verschiebung()) + print('??', omega.verschiebung() == omega1.verschiebung() + p*fct.teichmuller().diffn()) return (omega1, fct) def decomposition_omega8_hpdh(omega, prec = 50): diff --git a/superelliptic_drw/superelliptic_drw_cech.sage b/superelliptic_drw/superelliptic_drw_cech.sage index 10d5ab7..84195c0 100644 --- a/superelliptic_drw/superelliptic_drw_cech.sage +++ b/superelliptic_drw/superelliptic_drw_cech.sage @@ -63,6 +63,7 @@ class superelliptic_drw_cech: '''Given a regular cocycle of the form (V(omega) + dV(h), [f] + V(t), ...), where [f] = 0 in H^1(X, OX), find de Rham cocycle (xi0, f, xi8) such that (V(omega) + dV(h), [f] + V(t), ...) = p*(xi0, f, xi8).''' # + print('div by p', self) if info: print("Computing " + str(self) + " divided by p.") # C = self.curve @@ -82,7 +83,7 @@ class superelliptic_drw_cech: # We replace omega by regular on U0 omega = aux.omega0.omega aux.omega0.omega, fct = decomposition_omega0_hpdh(aux.omega0.omega) - #aux.omega0.h2 += fct^p #WRONG I think + aux.omega0.h2 += fct^p # if info: print("Computed decomposition_omega0_hpdh of self.omega0.omega.") #