ECNF local info tweaks and improved discriminant display and knowls

Author: JohnCremona

lmfdb/ecnf/WebEllipticCurve.py

@@ -359,6 +359,9 @@ def make_E(self):
         self.cond_norm = web_latex(self.conductor_norm)
 
         Dnorm = self.normdisc
+        self.model_disc = self.disc.replace('w', Kgen).replace("*","").replace("(","").replace(")","")
+        if Kgen == 'phi':
+            self.model_disc = self.model_disc.replace(Kgen, r"\phi")
         self.disc = pretty_ideal(Kgen, self.disc)
 
         local_data = self.local_data

lmfdb/ecnf/templates/ecnf-curve.html

@@ -107,7 +107,7 @@ <h2>{{ KNOWL('ec.invariants', title='Invariants')}}</h2>
       <table id="invariants" style="overflow:auto;">
         <tr>
         <td>{{KNOWL('ec.conductor', title='Conductor')}}:</td>
-	<td>$\frak{n}$</td>
+	<td>$\frak{N}$</td>
 	<td>=</td>
         <td>{{ ec.cond }}</td>
         <td>=</td>
@@ -117,7 +117,7 @@ <h2>{{ KNOWL('ec.invariants', title='Invariants')}}</h2>
 
         <tr>
         <td>{{KNOWL('ec.conductor', title='Conductor norm')}}:</td>
-	<td>$N(\frak{n})$</td>
+	<td>$N(\frak{N})$</td>
 	<td>=</td>
         <td>{{ ec.cond_norm }}</td>
         <td>=</td>
@@ -127,7 +127,26 @@ <h2>{{ KNOWL('ec.invariants', title='Invariants')}}</h2>
 
         <tr>
         <td>{{KNOWL('ec.discriminant', title='Discriminant')}}:</td>
-	<td>$(\Delta)$</td>
+	<td>$\Delta$</td>
+	<td>=</td>
+        <td>${{ ec.model_disc }}$</td>
+        </tr>
+
+        <tr>
+          <td>
+	    {% if ec.is_minimal %}
+	    {{KNOWL('ec.minimal_discriminant', title='Discriminant ideal')}}:
+	    {% else %}
+	    {{KNOWL('ec.discriminant', title='Discriminant ideal')}}:
+	    {% endif %}
+	  </td>
+	<td>
+	  {% if ec.is_minimal %}
+	  $\frak{D}_{\mathrm{min}} = (\Delta)$
+	  {% else %}
+	  $(\Delta)$
+	  {% endif %}
+	</td>
 	<td>=</td>
         <td>{{ ec.disc }}</td>
         {% if ec.fact_disc %}
@@ -138,8 +157,20 @@ <h2>{{ KNOWL('ec.invariants', title='Invariants')}}</h2>
 
         <tr><td colspan=4 style="padding:0;">{{ place_code('disc') }}</td></tr>
         <tr>
-        <td>{{KNOWL('ec.discriminant', title='Discriminant norm')}}:</td>
-	<td>$N(\Delta)$</td>
+          <td>
+	    {% if ec.is_minimal %}
+	    {{KNOWL('ec.minimal_discriminant', title='Discriminant norm')}}:
+	    {% else %}
+	    {{KNOWL('ec.discriminant', title='Discriminant norm')}}:
+            {% endif %}
+	  </td>
+	<td>
+	  {% if ec.is_minimal %}
+	  $N(\frak{D}_{\mathrm{min}}) = N(\Delta)$
+	  {% else %}
+	  $N(\Delta)$
+	  {% endif %}
+	</td>
 	<td>=</td>
         <td>{{ ec.disc_norm }}</td>
         <td>=</td>
@@ -363,7 +394,7 @@ <h2>{{KNOWL('ec.local_data', title='Local data')}} at {{KNOWL('ec.bad_reduction'
 
 
 {% if ec.local_data %}
-<table class="ntdata"><thead>
+<table class="ntdata centered"><thead>
 <tr>
 <th>$\mathfrak{p}$</th>
 <th>$N(\mathfrak{p})$</th>