Default method used to display the results of cell evaluation

Gregstrq · April 13, 2023, 5:54pm

As the title suggests, I would like to know what specific method is called to display the results of the evaluated cell in Pluto.

The problem that I am trying to solve is why Latexify.jl works for real symbolic matrices from Symbolics.jl, but not for complex symbolic ones.

I have to figure out the dispatch tree, and for that I need to know which specific method of display, show or whatever function Pluto uses by default.

SteffenPL · April 13, 2023, 6:20pm

It uses show with the MIME type text/latex. The list of used MIME types used by Pluto.jl is here: Pluto.jl/PlutoRunner.jl at c9ac544dbbd3fdbc3aabaf89ea911101f42a1026 · fonsp/Pluto.jl · GitHub

Symbolics implements that here

github.com

JuliaSymbolics/Symbolics.jl/blob/2905ec39bb8f95d389020a413ef01ee968d4cba3/src/latexify_recipes.jl#L110


      
                  return eq.rhs
              else
                  return Expr(:(=), Num(eq.lhs), Num(eq.rhs))
              end
          end
          
          
@latexrecipe function f(c::Connection)
              return Expr(:call, :connect, map(nameof, c.systems)...)
          end
          
          
Base.show(io::IO, ::MIME"text/latex", x::Num) = print(io, "\$\$ " * latexify(x) * " \$\$")
          Base.show(io::IO, ::MIME"text/latex", x::Symbolic) = print(io, "\$\$ " * latexify(x) * " \$\$")
          Base.show(io::IO, ::MIME"text/latex", x::Equation) = print(io, "\$\$ " * latexify(x) * " \$\$")
          Base.show(io::IO, ::MIME"text/latex", x::Vector{Equation}) = print(io, "\$\$ " * latexify(x) * " \$\$")
          Base.show(io::IO, ::MIME"text/latex", x::AbstractArray{Num}) = print(io, "\$\$ " * latexify(x) * " \$\$")
          
          
_toexpr(O::ArrayOp) = _toexpr(O.term)
          
          
# `_toexpr` is only used for latexify
          function _toexpr(O)
              if ismul(O)

To extend it, you need to implement something like

Base.show(io::IO, ::MIME"text/latex", x::YourType) = print(io, "\$\$ " * latexify(x) * " \$\$")

where YourType is the type you want to support.