|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
-- This file:
-- http://anggtwu.net/LUA/PictShow1.lua.html
-- http://anggtwu.net/LUA/PictShow1.lua
-- (find-angg "LUA/PictShow1.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun p2 () (interactive) (find-angg "LUA/Pict2e2.lua"))
-- (defun s2 () (interactive) (find-angg "LUA/Show2.lua"))
-- (defun ps1 () (interactive) (find-angg "LUA/PictShow1.lua"))
--
-- (find-angg "LUA/Show2.lua" "texbody")
--
-- Superseded by:
-- (find-angg "LUA/Pict3.lua" "show")
--
-- «.usepict2e» (to "usepict2e")
require "Pict2e2" -- (find-angg "LUA/Pict2e2.lua")
require "Show2" -- (find-angg "LUA/Show2.lua")
-- (find-angg "LUA/Show2.lua" "texbody")
-- «usepict2e» (to ".usepict2e")
-- (find-angg "LUA/Show2.lua" "texbody")
usepict2e = [[
\usepackage{edrx21}
\usepackage{pict2e}
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\def\closeddot{{\circle*{0.4}}}
\def\opendot {{\circle*{0.4}\color{white}\circle*{0.25}}}
\unitlength=20pt
]]
usepackages = Dang.from "<<usepict2e>>"
Pict.__index.show = function (p, pgatargs)
texbody = p:pgat(pgatargs or "")
return Show.try(tostring(outertexbody))
end
--[==[
** (find-angg "LUA/Show2.lua" "texbody")
** (find-code-show2 "~/LATEX/Show2.tex")
* (code-show2 "~/LATEX/Show2.tex")
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
dofile "PictShow1.lua"
p = Pict{}:addline(v(1,1), v(2,2), v(3,1)):prethickness"2pt"
= p
= p:pgat("")
= p:show("pga")
* (etv)
q = p:pgat("pga"):d()
q = p:pgat("pga")
= q
= outertexbody
texbody = q
= outertexbody
= Show.try(tostring(outertexbody))
= Show.log
** (find-code-show2 "~/LATEX/Show2.tex")
* (code-show2 "~/LATEX/Show2.tex")
* (etv)
--]==]
-- Local Variables:
-- coding: utf-8-unix
-- End: