A * V[:, 1:3] - V * H = [0.0 -2.220446049250313e-16 0.0; 0.0 0.0 -2.220446049250313e-16; 0.0 2.220446049250313e-16 -5.551115123125783e-17; 0.0 -1.1102230246251565e-16 1.1102230246251565e-16; 0.0 2.220446049250313e-16 0.0]
norm(A * V[:, 1:4] - V * H) = 1.9510511359473314e-15
norm((A * U[:, 1:4] - U[:, 1:4] * T) - rho * U[:, end] * (begin
x = zeros(4)
#= /Users/dgleich/Dropbox/courses/cs515-2019/web/input/julia/lecture-23-arnoldi-lanczos.jln:61 =#
x[4] = 1
#= /Users/dgleich/Dropbox/courses/cs515-2019/web/input/julia/lecture-23-arnoldi-lanczos.jln:61 =#
x
end)') = 1.5947383771526115e-15
norm(A * U[:, 1:4] - U[:, 1:end - 1] * T) = 2.9794854952159215
norm(S - T) = 0.0