N(t)=1+(-((lnΓ(1/4 + t*I/2) - lnΓ(1/4 - t*I/2))*I)/2 - ln(π)*t/2)/π + 1

- I*((ln(ζ(1/2 + I*t)) - ln(ζ(1/2 - I*t))))/(2*π)
crowlogic · Sep 15, 2024 · b2cc799 · b2cc799
1 parent 116fcf1
commit b2cc799
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/native/Complex.i b/native/Complex.i
@@ -1180,8 +1180,8 @@ import arb.space.topological.EuclideanVectorSpace;
     {
       sb.append("]");
     }
-    return sb.toString();
-  }
+    return ( name == null ? "" : name + "=" ) + sb.toString();
+  }  
 
   public int dim = 1;
 

diff --git a/src/main/java/arb/Complex.java b/src/main/java/arb/Complex.java
@@ -1205,7 +1205,7 @@ public String toString()
     {
       sb.append("]");
     }
-    return sb.toString();
+    return ( name == null ? "" : name + "=" ) + sb.toString();
   }
 
   public int dim = 1;

diff --git a/src/main/java/arb/expressions/viz/ExpressionAnalyzerTab.java b/src/main/java/arb/expressions/viz/ExpressionAnalyzerTab.java
@@ -7,6 +7,7 @@
 import java.util.Arrays;
 import java.util.HashMap;
 
+import arb.Complex;
 import arb.Integer;
 import arb.Named;
 import arb.Real;
@@ -61,7 +62,7 @@ public ExpressionAnalyzerTab(ExpressionAnalyzer<D, C, F> expressionAnalyzer)
   {
     super(10);
     this.expressionAnalyzer = expressionAnalyzer;
-    this.context            = new Context(Integer.named("input").set(3),
+    this.context            = new Context(Complex.named("input").set(3),
                                           Real.named("v").set(RealConstants.half));
 
     setupExpressionInput();
@@ -80,7 +81,7 @@ public void setupExpressionInput()
   {
     expressionInput = new TextField();
     expressionInput.setPromptText("Enter expression here");
-    expressionInput.setText("(0-((lnΓ(1/4 + t*I/2) - lnΓ(1/4 - t*I/2))*I)/2 - ln(π)*t/2)/π + 1 - I*((ln(ζ(1/2 + I*t)) - ln(ζ(1/2 - I*t))))/(2*π)");
+    expressionInput.setText("1+(-((lnΓ(1/4 + t*I/2) - lnΓ(1/4 - t*I/2))*I)/2 - ln(π)*t/2)/π + 1 - I*((ln(ζ(1/2 + I*t)) - ln(ζ(1/2 - I*t))))/(2*π)");
 
     expressionInput.setMaxWidth(1200);
     expressionInput.setOnKeyPressed(event ->