Pöschl-Teller Potential

The Pöschl-Teller potential is one of the few potentials for which the quantum mechanical Schrödinger equation has an analytical solution. It has a finite number of bound states, which can be inferred easily from its potential strength parameter λ. It is defined for one-dimensional systems.

Definitions

Antique.PoschlTeller — Type

Model

This model is described with the time-independent Schrödinger equation

\[ \hat{H} \psi(x) = E \psi(x),\]

and the Hamiltonian

\[ \hat{H} = - \frac{\hbar^2}{2 m} \frac{\mathrm{d}^2}{\mathrm{d}x ^2} - \frac{\hbar^2}{m x_0^2} \frac{\lambda(\lambda+1)}{2} \frac{1}{\mathrm{cosh}^2(x/x_0)}.\]

After introducing the dimensionless variables

\[ x^\ast \equiv x/x_0,\qquad E^\ast \equiv \frac{\hbar^2}{m x_0^2} E\]

the Schrödinger equation reduces to

\[ \hat{H}^\ast \psi(x^\ast) = E^\ast \psi(x^\ast),\]

with

\[ \hat{H}^\ast = - \frac{1}{2} \frac{\mathrm{d}^2}{\mathrm{d}{x^\ast}^2} - \frac{\lambda(\lambda+1)}{2} \frac{1}{\mathrm{cosh}^2(x^\ast)}.\]

Parameters are specified within the following struct:

PT = PoschlTeller(λ=1, m=1.0, ℏ=1.0, x₀=1.0)

$\lambda$ determines the potential strength. Currently only integer values for $\lambda$ are supported.

References

G. Pöschl, E. Teller, Zeitschrift für Physik, 83 (3–4), 143 (1933): More general definitions are given as (2a), (2b) or (11).
S. Flügge, Practical Quantum Mechanics (Springer Berlin Heidelberg, 1999) p.94 Problem 39. Potential hole of modified Poschl-Teller type.

source

Potential

Antique.V — Method

V(model::PoschlTeller, x)

\[\begin{aligned} V(x) &= -\frac{\hbar^2}{m x_0^2} \frac{\lambda(\lambda+1)}{2} \mathrm{sech}^2(x/x_0) \\ &= -\frac{\hbar^2}{m x_0^2} \frac{\lambda(\lambda+1)}{2} \frac{1}{\mathrm{cosh}^2(x/x_0)} . \end{aligned}\]

source

Maximum Quantum Number

Antique.nₘₐₓ — Method

nₘₐₓ(model::PoschlTeller)

\[n_\mathrm{max} = \left\lfloor \lambda \right\rfloor - 1.\]

Note that the number of bound states is nₘₐₓ + 1, since we count the ground state from n=0.

source

Eigenvalues

Antique.E — Method

E(model::PoschlTeller; n::Int=0, nocheck=false)

\[E_n = -\frac{\hbar^2}{m x_0^2}\frac{\mu^2}{2},\]

where $\mu = \mu(n) = n_\mathrm{max}-n+1$, and $n_\mathrm{max} = \left\lfloor \lambda \right\rfloor - 1$.

source

Eigenfunctions

Antique.ψ — Method

ψ(model::PoschlTeller, x; n::Int=0)

\[\psi_n(x) = \frac{(-1)^μ}{\sqrt{x_0}} P_\lambda^{\mu}(\mathrm{tanh}(x/x_0)) \sqrt{\mu\frac{\Gamma(\lambda-\mu+1)}{\Gamma(\lambda+\mu+1)}},\]

where $\mu = \mu(n) = n_\mathrm{max}-n+1$, and $n_\mathrm{max} = \left\lfloor \lambda \right\rfloor - 1$ and $P_\lambda^{\mu}$ are the associated Legendre functions.

source

Associated Legendre Polynomials

Antique.P — Method

P(model::PoschlTeller, x; n=0, m=0)

Associated Legendre polynomials are the associated Legendre functions for integer indices. Here we use the same notation of the associated Legendre functions as in the model HydrogenAtom.

\[\begin{aligned} P_n^m(x) &= \left( 1-x^2 \right)^{m/2} \frac{\mathrm{d}^m}{\mathrm{d}x^m} P_n(x) \\ &= \left( 1-x^2 \right)^{m/2} \frac{\mathrm{d}^m}{\mathrm{d}x^m} \frac{1}{2^n n!} \frac{\mathrm{d}^n}{\mathrm{d}x ^n} \left[ \left( x^2-1 \right)^n \right] \\ &= \frac{1}{2^n} (1-x^2)^{m/2} \sum_{j=0}^{\left\lfloor\frac{n-m}{2}\right\rfloor} (-1)^j \frac{(2n-2j)!}{j! (n-j)! (n-2j-m)!} x^{(n-2j-m)}. \end{aligned}\]

source

Usage & Examples

Install Antique.jl for the first use and run using Antique before each use. The energy E(), wavefunction ψ(), potential V() and nₘₐₓ() will be exported. In this system, the model is generated by PoschlTeller and the parameters λ, m, ℏ, x₀.

using Antique
PT = PoschlTeller(λ=4, m=1.0, ℏ=1.0, x₀=1.0)

Parameters:

julia> PT.λ4
julia> PT.m1.0
julia> PT.ℏ1.0
julia> PT.x₀1.0

Maximum quantum number:

julia> nₘₐₓ(PT)3

Eigenvalues:

julia> E(PT, n=0)-8.0
julia> E(PT, n=1)-4.5
julia> E(PT, n=2)-2.0
julia> E(PT, n=3)-0.5

Potential energy curve:

using CairoMakie

f = Figure()
ax = Axis(f[1,1], xlabel=L"$x$", ylabel=L"$V(x)$")
lines!(ax, -6..6, x -> V(PT, x))
f

Wave functions:

using CairoMakie

# setting
f = Figure()
ax = Axis(f[1,1], xlabel=L"$x$", ylabel=L"$\psi(x)$")

# plot
w0 = lines!(ax, -3..3, x -> ψ(PT, x, n=0))
w1 = lines!(ax, -3..3, x -> ψ(PT, x, n=1))
w2 = lines!(ax, -3..3, x -> ψ(PT, x, n=2))
w3 = lines!(ax, -3..3, x -> ψ(PT, x, n=3))

# legend
axislegend(ax, [w0, w1, w2, w3], [L"n=0", L"n=1", L"n=2", L"n=3"], position=:lb)

f

Potential energy curve, Energy levels, Wave functions:

using CairoMakie

# settings
f = Figure()
ax = Axis(f[1,1], xlabel=L"$x$", ylabel=L"$V(x),~E_n,~\psi_n(x) \times 5 + E_n$", aspect=1, limits=(-4,4,-10.5,1))
# hidespines!(ax)
# hidedecorations!(ax)

for n in 0:3
  # classical turning point
  xE = acosh(sqrt(PT.λ*(PT.λ+1)/abs(E(PT,n=n))/2))
  # energy
  hlines!(ax, E(PT, n=n), color=:black, linewidth=1, linestyle=:dash)
  lines!(ax, [-xE,xE], fill(E(PT,n=n),2), color=:black, linewidth=2)
  # wave function
  lines!(ax, -4..4, x -> E(PT,n=n) + ψ(PT,x,n=n), linewidth=2)
end

#potential
lines!(ax, -4..4, x -> V(PT,x), color=:black, linewidth=2)

f

Testing

Unit testing and Integration testing were done using numerical integration (QuadGK.jl). The test script is here.

Associated Legendre Polynomials $P_n^m(x)$

\[ \begin{aligned} P_n^m(x) &= \left( 1-x^2 \right)^{m/2} \frac{\mathrm{d}^m}{\mathrm{d}x^m} P_n(x) \\ &= \left( 1-x^2 \right)^{m/2} \frac{\mathrm{d}^m}{\mathrm{d}x^m} \frac{1}{2^n n!} \frac{\mathrm{d}^n}{\mathrm{d}x ^n} \left[ \left( x^2-1 \right)^n \right] \\ &= \frac{1}{2^n} (1-x^2)^{m/2} \sum_{j=0}^{\left\lfloor\frac{n-m}{2}\right\rfloor} (-1)^j \frac{(2n-2j)!}{j! (n-j)! (n-2j-m)!} x^{(n-2j-m)}. \end{aligned}\]

$n=0, m=0:$ ✔

\[\begin{aligned} P_{0}^{0}(x) = 1 &= 1 \\ &= 1 \end{aligned}\]

$n=1, m=0:$ ✔

\[\begin{aligned} P_{1}^{0}(x) = \frac{1}{2} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right) &= x \\ &= x \end{aligned}\]

$n=1, m=1:$ ✔

\[\begin{aligned} P_{1}^{1}(x) = \left( 1 - x^{2} \right)^{\frac{1}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{2} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right) &= \left( 1 - x^{2} \right)^{\frac{1}{2}} \\ &= \left( 1 - x^{2} \right)^{\frac{1}{2}} \end{aligned}\]

$n=2, m=0:$ ✔

\[\begin{aligned} P_{2}^{0}(x) = \frac{1}{8} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{2} &= \frac{-1}{2} + \frac{3}{2} x^{2} \\ &= \frac{-1}{2} + \frac{3}{2} x^{2} \end{aligned}\]

$n=2, m=1:$ ✔

\[\begin{aligned} P_{2}^{1}(x) = \left( 1 - x^{2} \right)^{\frac{1}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{8} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{2} &= 3 \left( 1 - x^{2} \right)^{\frac{1}{2}} x \\ &= 3 \left( 1 - x^{2} \right)^{\frac{1}{2}} x \end{aligned}\]

$n=2, m=2:$ ✔

\[\begin{aligned} P_{2}^{2}(x) = \left( 1 - x^{2} \right) \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{8} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{2} &= 3 - 3 x^{2} \\ &= 3 - 3 x^{2} \end{aligned}\]

$n=3, m=0:$ ✔

\[\begin{aligned} P_{3}^{0}(x) = \frac{1}{48} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{3} &= - \frac{3}{2} x + \frac{5}{2} x^{3} \\ &= - \frac{3}{2} x + \frac{5}{2} x^{3} \end{aligned}\]

$n=3, m=1:$ ✔

\[\begin{aligned} P_{3}^{1}(x) = \left( 1 - x^{2} \right)^{\frac{1}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{48} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{3} &= - \frac{3}{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} + \frac{15}{2} x^{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} \\ &= - \frac{3}{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} + \frac{15}{2} x^{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} \end{aligned}\]

$n=3, m=2:$ ✔

\[\begin{aligned} P_{3}^{2}(x) = \left( 1 - x^{2} \right) \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{48} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{3} &= 15 x - 15 x^{3} \\ &= 15 x - 15 x^{3} \end{aligned}\]

$n=3, m=3:$ ✔

\[\begin{aligned} P_{3}^{3}(x) = \left( 1 - x^{2} \right)^{\frac{3}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{48} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{3} &= 15 \left( 1 - x^{2} \right)^{\frac{3}{2}} \\ &= 15 \left( 1 - x^{2} \right)^{\frac{3}{2}} \end{aligned}\]

$n=4, m=0:$ ✔

\[\begin{aligned} P_{4}^{0}(x) = \frac{1}{384} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{4} &= \frac{3}{8} - \frac{15}{4} x^{2} + \frac{35}{8} x^{4} \\ &= \frac{3}{8} - \frac{15}{4} x^{2} + \frac{35}{8} x^{4} \end{aligned}\]

$n=4, m=1:$ ✔

\[\begin{aligned} P_{4}^{1}(x) = \left( 1 - x^{2} \right)^{\frac{1}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{384} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{4} &= - \frac{15}{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} x + \frac{35}{2} x^{3} \left( 1 - x^{2} \right)^{\frac{1}{2}} \\ &= - \frac{15}{2} \left( 1 - x^{2} \right)^{\frac{1}{2}} x + \frac{35}{2} x^{3} \left( 1 - x^{2} \right)^{\frac{1}{2}} \end{aligned}\]

$n=4, m=2:$ ✔

\[\begin{aligned} P_{4}^{2}(x) = \left( 1 - x^{2} \right) \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{384} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{4} &= \frac{-15}{2} + 60 x^{2} - \frac{105}{2} x^{4} \\ &= \frac{-15}{2} + 60 x^{2} - \frac{105}{2} x^{4} \end{aligned}\]

$n=4, m=3:$ ✔

\[\begin{aligned} P_{4}^{3}(x) = \left( 1 - x^{2} \right)^{\frac{3}{2}} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{384} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{4} &= 105 \left( 1 - x^{2} \right)^{\frac{3}{2}} x \\ &= 105 \left( 1 - x^{2} \right)^{\frac{3}{2}} x \end{aligned}\]

$n=4, m=4:$ ✔

\[\begin{aligned} P_{4}^{4}(x) = \left( 1 - x^{2} \right)^{2} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{1}{384} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \frac{\mathrm{d}}{\mathrm{d}x} \left( -1 + x^{2} \right)^{4} &= 105 \left( 1 - x^{2} \right)^{2} \\ &= 105 \left( 1 - x^{2} \right)^{2} \end{aligned}\]

Normalization & Orthogonality of $\psi_n(x)$

\[\int \psi_i^\ast(x) \psi_j(x) \mathrm{d}x = \delta_{ij}\]

  λ |   m |   ℏ |  x₀ |  i |  j |        analytical |         numerical 
--- | --- | --- | --- | -- | -- | ----------------- | ----------------- 
1.0 | 1.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 1.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
1.0 | 2.7 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 1.0 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 1.0 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.0 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.0 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
2.0 | 2.7 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
2.0 | 2.7 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 1.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 1.0 | 2.7 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 1.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.0 | 2.7 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 1.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.0 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 1.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  0 |  1 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  0 |  2 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  1 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  2 |  0 |    0.000000000000 |   -0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.0 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  0 |  0 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  0 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  0 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  1 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  1 |  1 |    1.000000000000 |    1.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  1 |  2 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  2 |  0 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  2 |  1 |    0.000000000000 |    0.000000000000 ✔
3.0 | 2.7 | 2.7 | 2.7 |  2 |  2 |    1.000000000000 |    1.000000000000 ✔

Eigenvalues

\[ \begin{aligned} E_n &= \int \psi^\ast_n(x) \hat{H} \psi_n(x) \mathrm{d}x \\ &= \int \psi^\ast_n(x) \left[ \hat{V} + \hat{T} \right] \psi(x) \mathrm{d}x \\ &= \int \psi^\ast_n(x) \left[ V(x) - \frac{\hbar^2}{2m} \frac{\mathrm{d}^{2}}{\mathrm{d} x^{2}} \right] \psi(x) \mathrm{d}x \\ &\simeq \int \psi^\ast_n(x) \left[ V(x)\psi(x) -\frac{\hbar^2}{2m} \frac{\psi(x+\Delta x) - 2\psi(x) + \psi(x-\Delta x)}{\Delta x^{2}} \right] \mathrm{d}x. \end{aligned}\]

Where, the difference formula for the 2nd-order derivative:

\[\begin{aligned} % 2\psi(x) % + \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} \Delta x^{2} % + O\left(\Delta x^{4}\right) % &= % \psi(x+\Delta x) % + \psi(x-\Delta x) % \\ % \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} \Delta x^{2} % &= % \psi(x+\Delta x) % - 2\psi(x) % + \psi(x-\Delta x) % - O\left(\Delta x^{4}\right) % \\ % \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} % &= % \frac{\psi(x+\Delta x) - 2\psi(x) + \psi(x-\Delta x)}{\Delta x^{2}} % - \frac{O\left(\Delta x^{4}\right)}{\Delta x^{2}} % \\ \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} &= \frac{\psi(x+\Delta x) - 2\psi(x) + \psi(x-\Delta x)}{\Delta x^{2}} + O\left(\Delta x^{2}\right) \end{aligned}\]

are given by the sum of 2 Taylor series:

\[\begin{aligned} \psi(x+\Delta x) &= \psi(x) + \frac{\mathrm{d} \psi(x)}{\mathrm{d} x} \Delta x + \frac{1}{2!} \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} \Delta x^{2} + \frac{1}{3!} \frac{\mathrm{d}^{3} \psi(x)}{\mathrm{d} x^{3}} \Delta x^{3} + O\left(\Delta x^{4}\right), \\ \psi(x-\Delta x) &= \psi(x) - \frac{\mathrm{d} \psi(x)}{\mathrm{d} x} \Delta x + \frac{1}{2!} \frac{\mathrm{d}^{2} \psi(x)}{\mathrm{d} x^{2}} \Delta x^{2} - \frac{1}{3!} \frac{\mathrm{d}^{3} \psi(x)}{\mathrm{d} x^{3}} \Delta x^{3} + O\left(\Delta x^{4}\right). \end{aligned}\]

  λ |   m |   ℏ |  x₀ |  n |        analytical |         numerical 
--- | --- | --- | --- | -- | ----------------- | ----------------- 
1.0 | 1.0 | 1.0 | 1.0 |  0 |   -0.500000000000 |   -0.500000019167 ✔
1.0 | 1.0 | 1.0 | 2.0 |  0 |   -0.125000000000 |   -0.124999974834 ✔
1.0 | 1.0 | 1.0 | 2.7 |  0 |   -0.067667641618 |   -0.067667642680 ✔
1.0 | 1.0 | 2.0 | 1.0 |  0 |   -2.000000000000 |   -2.000000076667 ✔
1.0 | 1.0 | 2.0 | 2.0 |  0 |   -0.500000000000 |   -0.500000002208 ✔
1.0 | 1.0 | 2.0 | 2.7 |  0 |   -0.270670566473 |   -0.270670570721 ✔
1.0 | 1.0 | 2.7 | 1.0 |  0 |   -3.694528049465 |   -3.694528192272 ✔
1.0 | 1.0 | 2.7 | 2.0 |  0 |   -0.923632012366 |   -0.923632016444 ✔
1.0 | 1.0 | 2.7 | 2.7 |  0 |   -0.500000000000 |   -0.500000007846 ✔
1.0 | 2.0 | 1.0 | 1.0 |  0 |   -0.250000000000 |   -0.250000009583 ✔
1.0 | 2.0 | 1.0 | 2.0 |  0 |   -0.062500000000 |   -0.062499987417 ✔
1.0 | 2.0 | 1.0 | 2.7 |  0 |   -0.033833820809 |   -0.033833845112 ✔
1.0 | 2.0 | 2.0 | 1.0 |  0 |   -1.000000000000 |   -1.000000038334 ✔
1.0 | 2.0 | 2.0 | 2.0 |  0 |   -0.250000000000 |   -0.249999975388 ✔
1.0 | 2.0 | 2.0 | 2.7 |  0 |   -0.135335283237 |   -0.135335285360 ✔
1.0 | 2.0 | 2.7 | 1.0 |  0 |   -1.847264024733 |   -1.847264095545 ✔
1.0 | 2.0 | 2.7 | 2.0 |  0 |   -0.461816006183 |   -0.461816008222 ✔
1.0 | 2.0 | 2.7 | 2.7 |  0 |   -0.250000000000 |   -0.250000003923 ✔
1.0 | 2.7 | 1.0 | 1.0 |  0 |   -0.183939720586 |   -0.183939702816 ✔
1.0 | 2.7 | 1.0 | 2.0 |  0 |   -0.045984930146 |   -0.045984920889 ✔
1.0 | 2.7 | 1.0 | 2.7 |  0 |   -0.024893534184 |   -0.024893552065 ✔
1.0 | 2.7 | 2.0 | 1.0 |  0 |   -0.735758882343 |   -0.735758910547 ✔
1.0 | 2.7 | 2.0 | 2.0 |  0 |   -0.183939720586 |   -0.183939702477 ✔
1.0 | 2.7 | 2.0 | 2.7 |  0 |   -0.099574136736 |   -0.099574138298 ✔
1.0 | 2.7 | 2.7 | 1.0 |  0 |   -1.359140914230 |   -1.359140966330 ✔
1.0 | 2.7 | 2.7 | 2.0 |  0 |   -0.339785228557 |   -0.339785230058 ✔
1.0 | 2.7 | 2.7 | 2.7 |  0 |   -0.183939720586 |   -0.183939723472 ✔
2.0 | 1.0 | 1.0 | 1.0 |  0 |   -2.000000000000 |   -2.000000095265 ✔
2.0 | 1.0 | 1.0 | 1.0 |  1 |   -0.500000000000 |   -0.500000183561 ✔
2.0 | 1.0 | 1.0 | 2.0 |  0 |   -0.500000000000 |   -0.500000005436 ✔
2.0 | 1.0 | 1.0 | 2.0 |  1 |   -0.125000000000 |   -0.125000009504 ✔
2.0 | 1.0 | 1.0 | 2.7 |  0 |   -0.270670566473 |   -0.270670577747 ✔
2.0 | 1.0 | 1.0 | 2.7 |  1 |   -0.067667641618 |   -0.067667647111 ✔
2.0 | 1.0 | 2.0 | 1.0 |  0 |   -8.000000000000 |   -8.000000381058 ✔
2.0 | 1.0 | 2.0 | 1.0 |  1 |   -2.000000000000 |   -2.000000736144 ✔
2.0 | 1.0 | 2.0 | 2.0 |  0 |   -2.000000000000 |   -2.000000023737 ✔
2.0 | 1.0 | 2.0 | 2.0 |  1 |   -0.500000000000 |   -0.500000038018 ✔
2.0 | 1.0 | 2.0 | 2.7 |  0 |   -1.082682265893 |   -1.082682310987 ✔
2.0 | 1.0 | 2.0 | 2.7 |  1 |   -0.270670566473 |   -0.270670588442 ✔
2.0 | 1.0 | 2.7 | 1.0 |  0 |  -14.778112197861 |  -14.778112901776 ✔
2.0 | 1.0 | 2.7 | 1.0 |  1 |   -3.694528049465 |   -3.694529412817 ✔
2.0 | 1.0 | 2.7 | 2.0 |  0 |   -3.694528049465 |   -3.694528093315 ✔
2.0 | 1.0 | 2.7 | 2.0 |  1 |   -0.923632012366 |   -0.923632082595 ✔
2.0 | 1.0 | 2.7 | 2.7 |  0 |   -2.000000000000 |   -2.000000083301 ✔
2.0 | 1.0 | 2.7 | 2.7 |  1 |   -0.500000000000 |   -0.500000040582 ✔
2.0 | 2.0 | 1.0 | 1.0 |  0 |   -1.000000000000 |   -1.000000046945 ✔
2.0 | 2.0 | 1.0 | 1.0 |  1 |   -0.250000000000 |   -0.250000091781 ✔
2.0 | 2.0 | 1.0 | 2.0 |  0 |   -0.250000000000 |   -0.250000002718 ✔
2.0 | 2.0 | 1.0 | 2.0 |  1 |   -0.062500000000 |   -0.062499985541 ✔
2.0 | 2.0 | 1.0 | 2.7 |  0 |   -0.135335283237 |   -0.135335288873 ✔
2.0 | 2.0 | 1.0 | 2.7 |  1 |   -0.033833820809 |   -0.033833823555 ✔
2.0 | 2.0 | 2.0 | 1.0 |  0 |   -4.000000000000 |   -4.000000190529 ✔
2.0 | 2.0 | 2.0 | 1.0 |  1 |   -1.000000000000 |   -1.000000367122 ✔
2.0 | 2.0 | 2.0 | 2.0 |  0 |   -1.000000000000 |   -1.000000011368 ✔
2.0 | 2.0 | 2.0 | 2.0 |  1 |   -0.250000000000 |   -0.250000019009 ✔
2.0 | 2.0 | 2.0 | 2.7 |  0 |   -0.541341132946 |   -0.541341155494 ✔
2.0 | 2.0 | 2.0 | 2.7 |  1 |   -0.135335283237 |   -0.135335294221 ✔
2.0 | 2.0 | 2.7 | 1.0 |  0 |   -7.389056098931 |   -7.389056450888 ✔
2.0 | 2.0 | 2.7 | 1.0 |  1 |   -1.847264024733 |   -1.847264704658 ✔
2.0 | 2.0 | 2.7 | 2.0 |  0 |   -1.847264024733 |   -1.847264046657 ✔
2.0 | 2.0 | 2.7 | 2.0 |  1 |   -0.461816006183 |   -0.461816041297 ✔
2.0 | 2.0 | 2.7 | 2.7 |  0 |   -1.000000000000 |   -1.000000041651 ✔
2.0 | 2.0 | 2.7 | 2.7 |  1 |   -0.250000000000 |   -0.250000020291 ✔
2.0 | 2.7 | 1.0 | 1.0 |  0 |   -0.735758882343 |   -0.735758916883 ✔
2.0 | 2.7 | 1.0 | 1.0 |  1 |   -0.183939720586 |   -0.183939788114 ✔
2.0 | 2.7 | 1.0 | 2.0 |  0 |   -0.183939720586 |   -0.183939722586 ✔
2.0 | 2.7 | 1.0 | 2.0 |  1 |   -0.045984930146 |   -0.045984919508 ✔
2.0 | 2.7 | 1.0 | 2.7 |  0 |   -0.099574136736 |   -0.099574140883 ✔
2.0 | 2.7 | 1.0 | 2.7 |  1 |   -0.024893534184 |   -0.024893536204 ✔
2.0 | 2.7 | 2.0 | 1.0 |  0 |   -2.943035529372 |   -2.943035669555 ✔
2.0 | 2.7 | 2.0 | 1.0 |  1 |   -0.735758882343 |   -0.735759152456 ✔
2.0 | 2.7 | 2.0 | 2.0 |  0 |   -0.735758882343 |   -0.735758890342 ✔
2.0 | 2.7 | 2.0 | 2.0 |  1 |   -0.183939720586 |   -0.183939734572 ✔
2.0 | 2.7 | 2.0 | 2.7 |  0 |   -0.398296546943 |   -0.398296563532 ✔
2.0 | 2.7 | 2.0 | 2.7 |  1 |   -0.099574136736 |   -0.099574144818 ✔
2.0 | 2.7 | 2.7 | 1.0 |  0 |   -5.436563656918 |   -5.436563915874 ✔
2.0 | 2.7 | 2.7 | 1.0 |  1 |   -1.359140914230 |   -1.359141414491 ✔
2.0 | 2.7 | 2.7 | 2.0 |  0 |   -1.359140914230 |   -1.359140929680 ✔
2.0 | 2.7 | 2.7 | 2.0 |  1 |   -0.339785228557 |   -0.339785254393 ✔
2.0 | 2.7 | 2.7 | 2.7 |  0 |   -0.735758882343 |   -0.735758912988 ✔
2.0 | 2.7 | 2.7 | 2.7 |  1 |   -0.183939720586 |   -0.183939735515 ✔
3.0 | 1.0 | 1.0 | 1.0 |  0 |   -4.500000000000 |   -4.500000232181 ✔
3.0 | 1.0 | 1.0 | 1.0 |  1 |   -2.000000000000 |   -2.000000666708 ✔
3.0 | 1.0 | 1.0 | 1.0 |  2 |   -0.500000000000 |   -0.500000668186 ✔
3.0 | 1.0 | 1.0 | 2.0 |  0 |   -1.125000000000 |   -1.125000014457 ✔
3.0 | 1.0 | 1.0 | 2.0 |  1 |   -0.500000000000 |   -0.500000041692 ✔
3.0 | 1.0 | 1.0 | 2.0 |  2 |   -0.125000000000 |   -0.125000037768 ✔
3.0 | 1.0 | 1.0 | 2.7 |  0 |   -0.609008774565 |   -0.609008780464 ✔
3.0 | 1.0 | 1.0 | 2.7 |  1 |   -0.270670566473 |   -0.270670599431 ✔
3.0 | 1.0 | 1.0 | 2.7 |  2 |   -0.067667641618 |   -0.067667658090 ✔
3.0 | 1.0 | 2.0 | 1.0 |  0 |  -18.000000000000 |  -18.000000928722 ✔
3.0 | 1.0 | 2.0 | 1.0 |  1 |   -8.000000000000 |   -8.000002666831 ✔
3.0 | 1.0 | 2.0 | 1.0 |  2 |   -2.000000000000 |   -2.000002680200 ✔
3.0 | 1.0 | 2.0 | 2.0 |  0 |   -4.500000000000 |   -4.500000058029 ✔
3.0 | 1.0 | 2.0 | 2.0 |  1 |   -2.000000000000 |   -2.000000166768 ✔
3.0 | 1.0 | 2.0 | 2.0 |  2 |   -0.500000000000 |   -0.500000151072 ✔
3.0 | 1.0 | 2.0 | 2.7 |  0 |   -2.436035098259 |   -2.436035115289 ✔
3.0 | 1.0 | 2.0 | 2.7 |  1 |   -1.082682265893 |   -1.082682314725 ✔
3.0 | 1.0 | 2.0 | 2.7 |  2 |   -0.270670566473 |   -0.270670632360 ✔
3.0 | 1.0 | 2.7 | 1.0 |  0 |  -33.250752445188 |  -33.250754160783 ✔
3.0 | 1.0 | 2.7 | 1.0 |  1 |  -14.778112197861 |  -14.778117124203 ✔
3.0 | 1.0 | 2.7 | 1.0 |  2 |   -3.694528049465 |   -3.694533000503 ✔
3.0 | 1.0 | 2.7 | 2.0 |  0 |   -8.312688111297 |   -8.312688218848 ✔
3.0 | 1.0 | 2.7 | 2.0 |  1 |   -3.694528049465 |   -3.694528357529 ✔
3.0 | 1.0 | 2.7 | 2.0 |  2 |   -0.923632012366 |   -0.923632313758 ✔
3.0 | 1.0 | 2.7 | 2.7 |  0 |   -4.500000000000 |   -4.500000031460 ✔
3.0 | 1.0 | 2.7 | 2.7 |  1 |   -2.000000000000 |   -2.000000090206 ✔
3.0 | 1.0 | 2.7 | 2.7 |  2 |   -0.500000000000 |   -0.500000121711 ✔
3.0 | 2.0 | 1.0 | 1.0 |  0 |   -2.250000000000 |   -2.250000116090 ✔
3.0 | 2.0 | 1.0 | 1.0 |  1 |   -1.000000000000 |   -1.000000333354 ✔
3.0 | 2.0 | 1.0 | 1.0 |  2 |   -0.250000000000 |   -0.250000334093 ✔
3.0 | 2.0 | 1.0 | 2.0 |  0 |   -0.562500000000 |   -0.562500007228 ✔
3.0 | 2.0 | 1.0 | 2.0 |  1 |   -0.250000000000 |   -0.250000020264 ✔
3.0 | 2.0 | 1.0 | 2.0 |  2 |   -0.062500000000 |   -0.062500018884 ✔
3.0 | 2.0 | 1.0 | 2.7 |  0 |   -0.304504387282 |   -0.304504391053 ✔
3.0 | 2.0 | 1.0 | 2.7 |  1 |   -0.135335283237 |   -0.135335310094 ✔
3.0 | 2.0 | 1.0 | 2.7 |  2 |   -0.033833820809 |   -0.033833829045 ✔
3.0 | 2.0 | 2.0 | 1.0 |  0 |   -9.000000000000 |   -9.000000464361 ✔
3.0 | 2.0 | 2.0 | 1.0 |  1 |   -4.000000000000 |   -4.000001333416 ✔
3.0 | 2.0 | 2.0 | 1.0 |  2 |   -1.000000000000 |   -1.000001338236 ✔
3.0 | 2.0 | 2.0 | 2.0 |  0 |   -2.250000000000 |   -2.250000028914 ✔
3.0 | 2.0 | 2.0 | 2.0 |  1 |   -1.000000000000 |   -1.000000083384 ✔
3.0 | 2.0 | 2.0 | 2.0 |  2 |   -0.250000000000 |   -0.250000075536 ✔
3.0 | 2.0 | 2.0 | 2.7 |  0 |   -1.218017549130 |   -1.218017557645 ✔
3.0 | 2.0 | 2.0 | 2.7 |  1 |   -0.541341132946 |   -0.541341157362 ✔
3.0 | 2.0 | 2.0 | 2.7 |  2 |   -0.135335283237 |   -0.135335316180 ✔
3.0 | 2.0 | 2.7 | 1.0 |  0 |  -16.625376222594 |  -16.625377080391 ✔
3.0 | 2.0 | 2.7 | 1.0 |  1 |   -7.389056098931 |   -7.389058562102 ✔
3.0 | 2.0 | 2.7 | 1.0 |  2 |   -1.847264024733 |   -1.847266500251 ✔
3.0 | 2.0 | 2.7 | 2.0 |  0 |   -4.156344055648 |   -4.156344109246 ✔
3.0 | 2.0 | 2.7 | 2.0 |  1 |   -1.847264024733 |   -1.847264178765 ✔
3.0 | 2.0 | 2.7 | 2.0 |  2 |   -0.461816006183 |   -0.461816145719 ✔
3.0 | 2.0 | 2.7 | 2.7 |  0 |   -2.250000000000 |   -2.250000015730 ✔
3.0 | 2.0 | 2.7 | 2.7 |  1 |   -1.000000000000 |   -1.000000045103 ✔
3.0 | 2.0 | 2.7 | 2.7 |  2 |   -0.250000000000 |   -0.250000060855 ✔
3.0 | 2.7 | 1.0 | 1.0 |  0 |   -1.655457485271 |   -1.655457570624 ✔
3.0 | 2.7 | 1.0 | 1.0 |  1 |   -0.735758882343 |   -0.735759127611 ✔
3.0 | 2.7 | 1.0 | 1.0 |  2 |   -0.183939720586 |   -0.183939966397 ✔
3.0 | 2.7 | 1.0 | 2.0 |  0 |   -0.413864371318 |   -0.413864376636 ✔
3.0 | 2.7 | 1.0 | 2.0 |  1 |   -0.183939720586 |   -0.183939735495 ✔
3.0 | 2.7 | 1.0 | 2.0 |  2 |   -0.045984930146 |   -0.045984944041 ✔
3.0 | 2.7 | 1.0 | 2.7 |  0 |   -0.224041807655 |   -0.224041810430 ✔
3.0 | 2.7 | 1.0 | 2.7 |  1 |   -0.099574136736 |   -0.099574156496 ✔
3.0 | 2.7 | 1.0 | 2.7 |  2 |   -0.024893534184 |   -0.024893540244 ✔
3.0 | 2.7 | 2.0 | 1.0 |  0 |   -6.621829941086 |   -6.621830282744 ✔
3.0 | 2.7 | 2.0 | 1.0 |  1 |   -2.943035529372 |   -2.943036510444 ✔
3.0 | 2.7 | 2.0 | 1.0 |  2 |   -0.735758882343 |   -0.735759866962 ✔
3.0 | 2.7 | 2.0 | 2.0 |  0 |   -1.655457485271 |   -1.655457506545 ✔
3.0 | 2.7 | 2.0 | 2.0 |  1 |   -0.735758882343 |   -0.735758943693 ✔
3.0 | 2.7 | 2.0 | 2.0 |  2 |   -0.183939720586 |   -0.183939776162 ✔
3.0 | 2.7 | 2.0 | 2.7 |  0 |   -0.896167230622 |   -0.896167239302 ✔
3.0 | 2.7 | 2.0 | 2.7 |  1 |   -0.398296546943 |   -0.398296564907 ✔
3.0 | 2.7 | 2.0 | 2.7 |  2 |   -0.099574136736 |   -0.099574160974 ✔
3.0 | 2.7 | 2.7 | 1.0 |  0 |  -12.232268228066 |  -12.232268859198 ✔
3.0 | 2.7 | 2.7 | 1.0 |  1 |   -5.436563656918 |   -5.436565469218 ✔
3.0 | 2.7 | 2.7 | 1.0 |  2 |   -1.359140914230 |   -1.359142735614 ✔
3.0 | 2.7 | 2.7 | 2.0 |  0 |   -3.058067057016 |   -3.058067096452 ✔
3.0 | 2.7 | 2.7 | 2.0 |  1 |   -1.359140914230 |   -1.359141027560 ✔
3.0 | 2.7 | 2.7 | 2.0 |  2 |   -0.339785228557 |   -0.339785331222 ✔
3.0 | 2.7 | 2.7 | 2.7 |  0 |   -1.655457485271 |   -1.655457496845 ✔
3.0 | 2.7 | 2.7 | 2.7 |  1 |   -0.735758882343 |   -0.735758915528 ✔
3.0 | 2.7 | 2.7 | 2.7 |  2 |   -0.183939720586 |   -0.183939765361 ✔

Recurrence Relation between $E_{n+1}$ and $E_n$

\[\begin{equation} \left\{ \, \begin{aligned} 0 < \Delta E && 0 \leq n \leq n_\mathrm{max} \\ \Delta E < 0 && \mathrm{otherwise} \end{aligned} \right. \end{equation}\]

\[\Delta E = E_{n+1} - E_n\]

\[n_\mathrm{max} = \left\lfloor \lambda \right\rfloor - 1\]

PT = PoschlTeller(2, 1.0, 1.0, 1.0)
 n  Eₙ          ΔE
 0  -2.000000  +1.500000  0 < ΔE  ✔
 1  -0.500000  +0.500000  0 < ΔE  ✔
-----------------------------------  nₘₐₓ(PT) = 1
 2  -0.000000  -0.500000  ΔE < 0  ✔
 3  -0.500000  -1.500000  ΔE < 0  ✔
 4  -2.000000  -2.500000  ΔE < 0  ✔
 5  -4.500000  -3.500000  ΔE < 0  ✔
 6  -8.000000  -4.500000  ΔE < 0  ✔

PT = PoschlTeller(3, 1.0, 1.0, 1.0)
 n  Eₙ          ΔE
 0  -4.500000  +2.500000  0 < ΔE  ✔
 1  -2.000000  +1.500000  0 < ΔE  ✔
 2  -0.500000  +0.500000  0 < ΔE  ✔
-----------------------------------  nₘₐₓ(PT) = 2
 3  -0.000000  -0.500000  ΔE < 0  ✔
 4  -0.500000  -1.500000  ΔE < 0  ✔
 5  -2.000000  -2.500000  ΔE < 0  ✔
 6  -4.500000  -3.500000  ΔE < 0  ✔
 7  -8.000000  -4.500000  ΔE < 0  ✔

PT = PoschlTeller(4, 1.0, 1.0, 1.0)
 n  Eₙ          ΔE
 0  -8.000000  +3.500000  0 < ΔE  ✔
 1  -4.500000  +2.500000  0 < ΔE  ✔
 2  -2.000000  +1.500000  0 < ΔE  ✔
 3  -0.500000  +0.500000  0 < ΔE  ✔
-----------------------------------  nₘₐₓ(PT) = 3
 4  -0.000000  -0.500000  ΔE < 0  ✔
 5  -0.500000  -1.500000  ΔE < 0  ✔
 6  -2.000000  -2.500000  ΔE < 0  ✔
 7  -4.500000  -3.500000  ΔE < 0  ✔
 8  -8.000000  -4.500000  ΔE < 0  ✔

PT = PoschlTeller(10, 1.0, 1.0, 1.0)
 n  Eₙ          ΔE
 0  -50.000000  +9.500000  0 < ΔE  ✔
 1  -40.500000  +8.500000  0 < ΔE  ✔
 2  -32.000000  +7.500000  0 < ΔE  ✔
 3  -24.500000  +6.500000  0 < ΔE  ✔
 4  -18.000000  +5.500000  0 < ΔE  ✔
 5  -12.500000  +4.500000  0 < ΔE  ✔
 6  -8.000000  +3.500000  0 < ΔE  ✔
 7  -4.500000  +2.500000  0 < ΔE  ✔
 8  -2.000000  +1.500000  0 < ΔE  ✔
 9  -0.500000  +0.500000  0 < ΔE  ✔
-----------------------------------  nₘₐₓ(PT) = 9
10  -0.000000  -0.500000  ΔE < 0  ✔
11  -0.500000  -1.500000  ΔE < 0  ✔
12  -2.000000  -2.500000  ΔE < 0  ✔
13  -4.500000  -3.500000  ΔE < 0  ✔
14  -8.000000  -4.500000  ΔE < 0  ✔