InfiniteLinearAlgebra.jl
InfiniteLinearAlgebra.jl copied to clipboard
Support convert with infinite block vectors
The following is an ∞-loop:
convert(AbstractVector{Float64}, mortar(Base.OneTo.(oneto(∞))))