From fe20c63e1e6ae52582ed25f105ff4265701cbc21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Chapoton?= Date: Fri, 3 Jan 2025 11:19:27 +0100 Subject: [PATCH] renaming debug_periods --- debug_periods.sage => debug_periods.py | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) rename debug_periods.sage => debug_periods.py (64%) diff --git a/debug_periods.sage b/debug_periods.py similarity index 64% rename from debug_periods.sage rename to debug_periods.py index adb742c..ad3faa3 100644 --- a/debug_periods.sage +++ b/debug_periods.py @@ -1,9 +1,11 @@ -from darmonpoints.schottky import * +from darmonpoints.schottky import SchottkyGroup, Divisors, act + +from sage.all import load gens = load('gens.sobj') K = gens[0].parent().base_ring() # gens = [o.apply_map(lambda x : x.add_bigoh(20)) for o in gens] -W = SchottkyGroup(K,gens) +W = SchottkyGroup(K, gens) # W.balls() W.period_matrix(20) @@ -11,8 +13,8 @@ g1, g2 = gens a = W.a_point() Div = Divisors(a.parent()) -Dg1 = Div([(1,a),(-1,act(g1,a))]) -Dg2 = Div([(1,a),(-1,act(g2,a))]) +Dg1 = Div([(1, a), (-1, act(g1, a))]) +Dg2 = Div([(1, a), (-1, act(g2, a))]) Dg1 = W.find_equivalent_divisor(Dg1) Dg2 = W.find_equivalent_divisor(Dg2) T = W.theta(20, Dg1)