Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
-- This file:
--   http://angg.twu.net/LUA/Show1.lua.html
--   http://angg.twu.net/LUA/Show1.lua
--           (find-angg "LUA/Show1.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun e () (interactive) (find-angg "LUA/Show1.lua"))
-- (find-angggrep "grep --color=auto -niH --null -e show LUA/Lazy*.lua")
--
-- (defun s  () (interactive) (find-angg "LUA/Show1.lua"))
-- (defun a  () (interactive) (find-angg "LUA/Pict2e1.lua"))
-- (defun b  () (interactive) (find-angg "LUA/Pict2e1-1.lua"))
-- (defun ab () (interactive) (find-2b '(a) '(b)))
--        (code-etv "~/LATEX/")
--   (find-code-etv "~/LATEX/")

-- «.string.show»	(to "string.show")
-- «.string.show-tests»	(to "string.show-tests")

require "Pict2e1"    -- (find-angg "LUA/Pict2e1.lua" "Show")
require "Verbatim1"  -- (find-angg "LUA/Verbatim1.lua" "Verbatim")


-- «string.show»  (to ".string.show")
-- Based on: (find-angg "LUA/Lazy5.lua" "string.show")
--           (find-angg "LUA/Pict2e1.lua" "Show")
string.show = function (str, ops)
    return Show.try(str:show0(ops):tostringp())
  end
string.show0 = function (str, ops)
    local p = PictList { str }
    local scale = function (op) return op:match("^([%d%.]+)$") end
    for _,op in ipairs(split(ops)) do
      if     op == "d"  then p = p:d()
      elseif op == "dd" then p = p:dd()
      elseif scale(op)  then p = p:scalebox(scale(op))
      else error("Unknown op")
      end
    end
    return p
  end

-- «string.show-tests»  (to ".string.show-tests")
--[==[
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "Show1.lua"
= ("22 \\cdot foo")
= ("22 \\cdot foo"):show("  dd")
* (etv)
= ("22 \\cdot foo"):show("4 dd")
* (etv)
= Show.log

--]==]




-- Local Variables:
-- coding:  utf-8-unix
-- End: