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

fixed small error in fiber

Browse Source
This commit is contained in:
Jędrzej Garnek 2024-10-21 21:43:37 +02:00
parent adfe3aacf3
commit 60e7512ccc
3 changed files with 7 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
as_covers/as_cover_class.sage
View File

@ -303,7 +303,7 @@ class as_cover:
p = self.characteristic p = self.characteristic
n = self.height n = self.height
F = self.base_ring F = self.base_ring
rr_space = self.at_most_poles(threshold) rr_space = self.at_most_poles(threshold, threshold=int(sqrt(threshold))) #there are two thresholds, how to pick them? we picked sqrt randomly
list_of_fcts = [ff for ff in rr_space if ff.valuation(place)%p != 0] list_of_fcts = [ff for ff in rr_space if ff.valuation(place)%p != 0]
list_of_fcts2 = [len(str(ff)) for ff in list_of_fcts] list_of_fcts2 = [len(str(ff)) for ff in list_of_fcts]
i_min = list_of_fcts2.index(min(list_of_fcts2)) i_min = list_of_fcts2.index(min(list_of_fcts2))
@ -337,7 +337,7 @@ class as_cover:
def fiber(self, place = 0): def fiber(self, place = 0):
'Gives representatives for the quotient G/G_P for given place. Those are in bijection with the fiber.' 'Gives representatives for the quotient G/G_P for given place. Those are in bijection with the fiber.'
result = [AS.group.one] result = [self.group.one]
p = self.characteristic p = self.characteristic
G = self.group G = self.group
H = self.stabilizer(place = place) H = self.stabilizer(place = place)

2
as_covers/template.sage
View File

@ -196,7 +196,7 @@ def hypoelementary_template(p, m, b, zeta):
x = R.gens()[-2] x = R.gens()[-2]
y = R.gens()[-1] y = R.gens()[-1]
group = hypoelementary(p, m, b) group = hypoelementary(p, m, b)
fcts = [1/(zeta - b)*f[0]^p*z[0]^p - 1/(zeta - b)*f[0]*z[0] fcts = [1/(zeta - b)*f[0]^p*z[0]^p - 1/(zeta - b)*f[0]*z[0]]
gp_action = [] gp_action = []
gp_action += [b*z[0]+f[0]*y, x, zeta*y] gp_action += [b*z[0]+f[0]*y, x, zeta*y]
gp_action += [z[0]+1, x, y] gp_action += [z[0]+1, x, y]

15
drafty/draft2.sage
View File

@ -1,13 +1,6 @@
p = 3 p = 3
F = GF(3) F = GF(3)
#F.<a> = GF(3^2) R.<x> = PolynomialRing(GF(p))
Rx.<x> = PolynomialRing(F) P1 = superelliptic(x, 1)
P1 = superelliptic(x^2 + 1, 2) AS = witt_cover([P1.x^5, P1.x^1, P1.x^1], prec=1000)
fct1 = (P1.x)^2 AS1 = witt_cover([P1.x^5, P1.x^1], prec=400)
fct2 = (fct1 + P1.one/(P1.y - P1.x))
fct3 = 0*P1.x
C = heisenberg_cover(P1, [fct1, fct2, fct3], prec=200)
print(C, '\n', C.genus(), '\n', C.jumps)
#B = C.holomorphic_differentials_basis()
#print("Computed basis")
#a1, b1, c1 = heisenberg_group_action_matrices_holo(C, basis = B)