From 1f7e7d968ea1827459f7092abcf48ca83fe25a79 Mon Sep 17 00:00:00 2001 From: Ryan Rueger Date: Wed, 30 Apr 2025 18:26:40 +0200 Subject: Bugfixes and Refactoring MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Pierrick Dartois Co-Authored-By: Jonathan Komada Eriksen Co-Authored-By: Jonathan Komada Eriksen Co-Authored-By: Arthur Herlédan Le Merdy Co-Authored-By: Riccardo Invernizzi Co-Authored-By: Damien Robert Co-Authored-By: Ryan Rueger Co-Authored-By: Frederik Vercauteren Co-Authored-By: Benjamin Wesolowski --- uv_params.py | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) (limited to 'uv_params.py') diff --git a/uv_params.py b/uv_params.py index c651347..e93d8ff 100644 --- a/uv_params.py +++ b/uv_params.py @@ -2,6 +2,7 @@ from sage.all import * import coin import const_precomp +from ideals import ideal_to_sage class UV_params: """ @@ -49,7 +50,9 @@ class UV_params: def __init__(self, level, params=None): level = int(level) - if level == 500: + if level == 100: + self.init_100() + elif level == 500: self.init_500() elif level == 1000: self.init_1000() @@ -86,11 +89,22 @@ class UV_params: self.n_squares = 2 self.sol_bound = 1 + self.two_left = ideal_to_sage([[2, 0], [-1 / 2, 1 / 2]], self.max_order) + self.two_right = ideal_to_sage([[2, 0], [1 / 2, 1 / 2]], self.max_order) + # Optional parameter update if params: for p_key, p_val in params.items(): setattr(self,p_key,p_value) + def init_100(self): + self.f = 77 + self.e = 100 + self.p = self.f * 2**self.e - 1 + self.A = 86576444069281248423336823187435 + allowed_primes = [5, 7, 11] + self.allowed_primes = [ZZ(li) for li in allowed_primes] + def init_500(self): self.f = 33 self.e = 503 -- cgit v1.2.3-70-g09d2