Browse Source

scalar-logic with Gilles Castel method

main
parent
commit
1e83f87d2f
  1. BIN
      scalar_logics/figures/scalar.pdf
  2. 61
      scalar_logics/figures/scalar.pdf_tex
  3. 133
      scalar_logics/figures/scalar.svg
  4. BIN
      scalar_logics/scalar-logic.pdf
  5. 28
      scalar_logics/scalar-logic.tex
  6. BIN
      scalar_logics/scalar.pdf
  7. 62
      scalar_logics/scalar.pdf_tex

BIN
scalar_logics/figures/scalar.pdf

61
scalar_logics/figures/scalar.pdf_tex

@ -0,0 +1,61 @@
%% Creator: Inkscape 1.0 (1.0+r73+1), www.inkscape.org
%% PDF/EPS/PS + LaTeX output extension by Johan Engelen, 2010
%% Accompanies image file 'scalar.pdf' (pdf, eps, ps)
%%
%% To include the image in your LaTeX document, write
%% \input{<filename>.pdf_tex}
%% instead of
%% \includegraphics{<filename>.pdf}
%% To scale the image, write
%% \def\svgwidth{<desired width>}
%% \input{<filename>.pdf_tex}
%% instead of
%% \includegraphics[width=<desired width>]{<filename>.pdf}
%%
%% Images with a different path to the parent latex file can
%% be accessed with the `import' package (which may need to be
%% installed) using
%% \usepackage{import}
%% in the preamble, and then including the image with
%% \import{<path to file>}{<filename>.pdf_tex}
%% Alternatively, one can specify
%% \graphicspath{{<path to file>/}}
%%
%% For more information, please see info/svg-inkscape on CTAN:
%% http://tug.ctan.org/tex-archive/info/svg-inkscape
%%
\begingroup%
\makeatletter%
\providecommand\color[2][]{%
\errmessage{(Inkscape) Color is used for the text in Inkscape, but the package 'color.sty' is not loaded}%
\renewcommand\color[2][]{}%
}%
\providecommand\transparent[1]{%
\errmessage{(Inkscape) Transparency is used (non-zero) for the text in Inkscape, but the package 'transparent.sty' is not loaded}%
\renewcommand\transparent[1]{}%
}%
\providecommand\rotatebox[2]{#2}%
\newcommand*\fsize{\dimexpr\f@size pt\relax}%
\newcommand*\lineheight[1]{\fontsize{\fsize}{#1\fsize}\selectfont}%
\ifx\svgwidth\undefined%
\setlength{\unitlength}{595.27559055bp}%
\ifx\svgscale\undefined%
\relax%
\else%
\setlength{\unitlength}{\unitlength * \real{\svgscale}}%
\fi%
\else%
\setlength{\unitlength}{\svgwidth}%
\fi%
\global\let\svgwidth\undefined%
\global\let\svgscale\undefined%
\makeatother%
\begin{picture}(1,1.41428571)%
\lineheight{1}%
\setlength\tabcolsep{0pt}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{scalar.pdf}}%
\put(0.67756762,0.21836889){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}Particle\end{tabular}}}}%
\put(0.72468872,0.42072122){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}Body\end{tabular}}}}%
\put(0.76320416,0.59666566){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}State\end{tabular}}}}%
\end{picture}%
\endgroup%

133
scalar_logics/figures/scalar.svg

@ -0,0 +1,133 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
sodipodi:docname="scalar.svg"
inkscape:version="1.0 (1.0+r73+1)"
id="svg8"
version="1.1"
viewBox="0 0 210 297"
height="297mm"
width="210mm">
<defs
id="defs2" />
<sodipodi:namedview
inkscape:window-maximized="0"
inkscape:window-y="50"
inkscape:window-x="10"
inkscape:window-height="996"
inkscape:window-width="1900"
showgrid="false"
inkscape:document-rotation="0"
inkscape:current-layer="layer1"
inkscape:document-units="mm"
inkscape:cy="512.39827"
inkscape:cx="418.31473"
inkscape:zoom="0.49497475"
inkscape:pageshadow="2"
inkscape:pageopacity="0.0"
borderopacity="1.0"
bordercolor="#666666"
pagecolor="#ffffff"
id="base" />
<metadata
id="metadata5">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
id="layer1"
inkscape:groupmode="layer"
inkscape:label="Layer 1">
<ellipse
ry="9.7056971"
rx="24.972458"
cy="205.65382"
cx="105"
id="path833"
style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<ellipse
style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id="ellipse835"
cx="105"
cy="170.65016"
rx="39.755215"
ry="11.560988" />
<g
transform="translate(-8.8154793)"
id="g848">
<ellipse
style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id="ellipse837"
cx="71.968666"
cy="124.36774"
rx="24.032511"
ry="6.8502607" />
<ellipse
ry="6.8502607"
rx="24.032511"
cy="137.26813"
cx="112.4985"
id="ellipse839"
style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<ellipse
style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
id="ellipse841"
cx="155.66229"
cy="122.90591"
rx="24.032511"
ry="6.8502607" />
</g>
<circle
r="3.5659373"
cy="246.60994"
cx="105"
id="path843"
style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<text
id="text852"
y="251.14253"
x="142.2892"
style="font-size:10.5833px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
xml:space="preserve"><tspan
style="stroke-width:0.264583"
y="251.14253"
x="142.2892"
id="tspan850"
sodipodi:role="line">Particle</tspan></text>
<text
xml:space="preserve"
style="font-size:10.5833px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
x="152.18463"
y="208.64854"
id="text856"><tspan
sodipodi:role="line"
id="tspan854"
x="152.18463"
y="208.64854"
style="stroke-width:0.264583">Body</tspan></text>
<text
id="text860"
y="171.70021"
x="160.27287"
style="font-size:10.5833px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
xml:space="preserve"><tspan
style="stroke-width:0.264583"
y="171.70021"
x="160.27287"
id="tspan858"
sodipodi:role="line">State</tspan></text>
</g>
</svg>

BIN
scalar_logics/scalar-logic.pdf

28
scalar_logics/scalar-logic.tex

@ -0,0 +1,28 @@
\documentclass{article}
\usepackage{import}
\usepackage{xifthen}
\usepackage{pdfpages}
\usepackage{transparent}
\usepackage{geometry}
\geometry{a4paper, portrait, margin=0.5cm}
\setlength\parindent{0pt}
\newcommand{\incfig}[1]{
\def\svgwidth{\columnwidth}
\import{./figures/}{#1.pdf_tex}
}
\begin{document}
\begin{figure}[ht]
\centering
\incfig{scalar}
\caption{Loop: the scalar logic.}
\label{fig:scalar-logic}
\end{figure}
\end{document}

BIN
scalar_logics/scalar.pdf

62
scalar_logics/scalar.pdf_tex

@ -0,0 +1,62 @@
%% Creator: Inkscape 1.0 (1.0+r73+1), www.inkscape.org
%% PDF/EPS/PS + LaTeX output extension by Johan Engelen, 2010
%% Accompanies image file 'scalar.pdf' (pdf, eps, ps)
%%
%% To include the image in your LaTeX document, write
%% \input{<filename>.pdf_tex}
%% instead of
%% \includegraphics{<filename>.pdf}
%% To scale the image, write
%% \def\svgwidth{<desired width>}
%% \input{<filename>.pdf_tex}
%% instead of
%% \includegraphics[width=<desired width>]{<filename>.pdf}
%%
%% Images with a different path to the parent latex file can
%% be accessed with the `import' package (which may need to be
%% installed) using
%% \usepackage{import}
%% in the preamble, and then including the image with
%% \import{<path to file>}{<filename>.pdf_tex}
%% Alternatively, one can specify
%% \graphicspath{{<path to file>/}}
%%
%% For more information, please see info/svg-inkscape on CTAN:
%% http://tug.ctan.org/tex-archive/info/svg-inkscape
%%
\begingroup%
\makeatletter%
\providecommand\color[2][]{%
\errmessage{(Inkscape) Color is used for the text in Inkscape, but the package 'color.sty' is not loaded}%
\renewcommand\color[2][]{}%
}%
\providecommand\transparent[1]{%
\errmessage{(Inkscape) Transparency is used (non-zero) for the text in Inkscape, but the package 'transparent.sty' is not loaded}%
\renewcommand\transparent[1]{}%
}%
\providecommand\rotatebox[2]{#2}%
\newcommand*\fsize{\dimexpr\f@size pt\relax}%
\newcommand*\lineheight[1]{\fontsize{\fsize}{#1\fsize}\selectfont}%
\ifx\svgwidth\undefined%
\setlength{\unitlength}{419.52755906bp}%
\ifx\svgscale\undefined%
\relax%
\else%
\setlength{\unitlength}{\unitlength * \real{\svgscale}}%
\fi%
\else%
\setlength{\unitlength}{\svgwidth}%
\fi%
\global\let\svgwidth\undefined%
\global\let\svgscale\undefined%
\makeatother%
\begin{picture}(1,1.41891892)%
\lineheight{1}%
\setlength\tabcolsep{0pt}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{scalar.pdf}}%
\put(0.76083732,0.11063107){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}Particle\end{tabular}}}}%
\put(0.76083732,0.40522055){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}Body\end{tabular}}}}%
\put(0.76272449,0.6868265){\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}State\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=2]{scalar.pdf}}%
\end{picture}%
\endgroup%
Loading…
Cancel
Save