From 634d8fdec2ea7f00c6ee1bce166ebef1eb9f1768 Mon Sep 17 00:00:00 2001 From: David Lowry-Duda Date: Fri, 24 May 2024 17:11:43 -0400 Subject: [PATCH] Add toggle to raw for full precision for long Rs --- lmfdb/maass_forms/templates/maass_form.html | 2 +- lmfdb/maass_forms/web_maassform.py | 20 +++++++++++++++++++- 2 files changed, 20 insertions(+), 2 deletions(-) diff --git a/lmfdb/maass_forms/templates/maass_form.html b/lmfdb/maass_forms/templates/maass_form.html index 2afcde1f45..6ca4d9ff20 100644 --- a/lmfdb/maass_forms/templates/maass_form.html +++ b/lmfdb/maass_forms/templates/maass_form.html @@ -37,7 +37,7 @@

{{ KNOWL('mf.maass.mwf', 'Maass form') }} invariants

{% endif %} {{ KNOWL('mf.maass.mwf.spectralparameter', title='Spectral parameter') }}: - \( {{ mf.spectral_parameter }} \pm {{ mf.web_spectral_error }} \) + {{ mf.web_spectral_line | safe }} diff --git a/lmfdb/maass_forms/web_maassform.py b/lmfdb/maass_forms/web_maassform.py index 0a56f078b9..5277187881 100644 --- a/lmfdb/maass_forms/web_maassform.py +++ b/lmfdb/maass_forms/web_maassform.py @@ -1,6 +1,12 @@ # -*- coding: utf-8 -*- from lmfdb import db -from lmfdb.utils import display_knowl, Downloader, web_latex_factored_integer, prop_int_pretty +from lmfdb.utils import ( + display_knowl, + Downloader, + prop_int_pretty, + raw_typeset, + web_latex_factored_integer, +) from psycodict.encoding import Json from flask import url_for, abort from sage.all import RR, ZZ, factor, sign, prod @@ -170,6 +176,18 @@ def web_spectral_error(self): exponent = str(int(exponent)) return rf"{base} \cdot 10^{{{exponent}}}" + @property + def web_spectral_line(self): + if len(str(self.spectral_parameter)) < 35: + return rf"\({self.spectral_parameter} \pm {self.web_spectral_error}\)" + else: + short_spectral = str(self.spectral_parameter)[:35] + return raw_typeset( + str(self.spectral_parameter) + " +- " + str(self.spectral_error), + rf"\( {short_spectral}\ldots \pm {self.web_spectral_error} \)", + extra="(toggle for full precision)" + ) + @property def title(self): digits_to_show = 10