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

fixed issue with de Rham basis and coordinates for more than one place at infty (lift_to_de_rham) pt 2

Browse Source
This commit is contained in:
Jędrzej Garnek 2025-01-02 18:30:13 +01:00
parent dedec88e64
commit 78b76a116a
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
as_covers/as_cover_class.sage
View File

@ -450,7 +450,7 @@ class as_cover:
return result_fcts
def lift_to_de_rham(self, fct, basis = 0, threshold = 30):
'''Given function fct, find form eta regular on affine part such that eta - d(fct) is regular in infty. (Works for one place at infty now)'''
'''Given function fct, find form eta regular on affine part such that eta - d(fct) is regular in infty.'''
from itertools import product
x_series = self.x_series
y_series = self.y_series

2
as_covers/as_form_class.sage
View File

@ -88,9 +88,7 @@ class as_form:
def coordinates(self, basis = 0):
"""Find coordinates of the given holomorphic form self in terms of the basis forms in a list holo."""
print(self)
self = self.reduce()
print('s reduce', self)
C = self.curve
if basis == 0:
basis = C.holomorphic_differentials_basis()