jgarnek
/
DeRhamComputation
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

lift kocykli do drw zrobiony chyba ok

This commit is contained in:
jgarnek 2023-02-25 14:02:44 +00:00
parent e1a000f7a5
commit 8719e64d9f
2 changed files with 305 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

299
sage/.run.term-0.term
View File

File diff suppressed because one or more lines are too long

9
sage/drafty/superelliptic_drw.sage
View File

@ -243,7 +243,7 @@ def mult_by_p(omega):
fct = omega.form fct = omega.form
Fxy, Rxy, x, y = C.fct_field Fxy, Rxy, x, y = C.fct_field
omega = superelliptic_form(C, fct^p * x^(p-1)) omega = superelliptic_form(C, fct^p * x^(p-1))
result = superelliptic_drw_form(C, 0*C.dx, omega, 0*C.x) result = superelliptic_drw_form(0*C.x, omega, 0*C.x)
return result return result
def verschiebung(elt): def verschiebung(elt):
@ -273,7 +273,7 @@ class superelliptic_drw_cech:
f_second_comp = fct.f f_second_comp = fct.f
decomp_first_comp = decomposition_g0_g8(f_first_comp) decomp_first_comp = decomposition_g0_g8(f_first_comp)
decomp_second_comp = decomposition_g0_g8(f_second_comp) decomp_second_comp = decomposition_g0_g8(f_second_comp)
new = superelliptic_drw_cech(0*C.dx.verschiebung(), 0*C.x.verschiebung()) new = self
new.omega0 -= decomposition_g0_g8(f_first_comp)[0].teichmuller().diffn() new.omega0 -= decomposition_g0_g8(f_first_comp)[0].teichmuller().diffn()
new.omega0 -= decomposition_g0_g8(f_second_comp)[0].verschiebung().diffn() new.omega0 -= decomposition_g0_g8(f_second_comp)[0].verschiebung().diffn()
new.f = decomposition_g0_g8(f_first_comp)[2].teichmuller() + decomposition_g0_g8(f_second_comp)[2].verschiebung() new.f = decomposition_g0_g8(f_first_comp)[2].teichmuller() + decomposition_g0_g8(f_second_comp)[2].verschiebung()
@ -304,6 +304,11 @@ class superelliptic_drw_cech:
omega0 = self.omega0 omega0 = self.omega0
f = self.f f = self.f
return superelliptic_drw_cech(-omega0, -f) return superelliptic_drw_cech(-omega0, -f)
def __rmul__(self, other):
omega0 = self.omega0
f = self.f
return superelliptic_drw_cech(other*omega0, other*f)
def de_rham_witt_lift(cech_class): def de_rham_witt_lift(cech_class):
C = cech_class.curve C = cech_class.curve