File:Tree structure of mathematical firstorder terms.pdf
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Size of this JPG preview of this PDF file: 800 × 342 pixels. Other resolutions: 320 × 137 pixels  1,033 × 442 pixels.
Original file (1,033 × 442 pixels, file size: 11 KB, MIME type: application/pdf)
File information
Structured data
Captions
Summary[edit]
DescriptionTree structure of mathematical firstorder terms.pdf 
English: Tree structure of the mathematical firstorder terms (n*(n+1))/2 and n*((n+1)/2); both trees are syntactically unequal, but evaluate to the same value provided (a*b)/c=a*(b/c) holds. 
Date  
Source  Own work 
Author  Jochen Burghardt 
Other versions  File:Tree structure of mathematical firstorder terms svg.svg 
LaTeX source code 

\documentclass[12pt]{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=175mm,paperheight=75mm]{geometry}
\setlength{\topmargin}{36mm}
\setlength{\textwidth}{170mm}
\setlength{\textheight}{70mm}
\setlength{\evensidemargin}{0cm}
\setlength{\oddsidemargin}{23mm}
\setlength{\parindent}{0cm}
\setlength{\parskip}{1ex}
\setlength{\unitlength}{1mm}
\sloppy
\begin{document}
% foreground
\definecolor{fB} {rgb}{0.00,0.00,0.20} % branch
\definecolor{fN} {rgb}{0.00,0.20,0.00} % node
% background
\definecolor{bT} {rgb}{0.95,0.95,0.95} % tree
\definecolor{bN} {rgb}{0.85,0.85,0.85} % node
\begin{picture}(170,70)(5,5)
\thicklines
% left
\textcolor{bT}{\put(5,65){\makebox(0,0)[tl]{\rule{70mm}{70mm}}}}%
\textcolor{bN}{\put(40,60){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(40,60){\makebox(0,0){$/$}}}%
\textcolor{fB}{\put(37,57){\vector(1,1){14}}}%
\textcolor{fB}{\put(43,57){\vector(+1,1){14}}}%
\textcolor{bN}{\put(20,40){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(20,40){\makebox(0,0){$*$}}}%
\textcolor{fB}{\put(17,37){\vector(1,1){14}}}%
\textcolor{fB}{\put(23,37){\vector(+1,1){14}}}%
\textcolor{bN}{\put(60,40){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(60,40){\makebox(0,0){$2$}}}%
\textcolor{bN}{\put(00,20){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(00,20){\makebox(0,0){$n$}}}%
\textcolor{bN}{\put(40,20){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(40,20){\makebox(0,0){$+$}}}%
\textcolor{fB}{\put(37,17){\vector(1,1){14}}}%
\textcolor{fB}{\put(43,17){\vector(+1,1){14}}}%
\textcolor{bN}{\put(20,00){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(20,00){\makebox(0,0){$n$}}}%
\textcolor{bN}{\put(60,00){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(60,00){\makebox(0,0){$1$}}}%
% right
\textcolor{bT}{\put(095,65){\makebox(0,0)[tl]{\rule{70mm}{70mm}}}}%
\textcolor{bN}{\put(120,60){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(120,60){\makebox(0,0){$*$}}}%
\textcolor{fB}{\put(117,57){\vector(1,1){14}}}%
\textcolor{fB}{\put(123,57){\vector(+1,1){14}}}%
\textcolor{bN}{\put(100,40){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(100,40){\makebox(0,0){$n$}}}%
\textcolor{bN}{\put(140,40){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(140,40){\makebox(0,0){$/$}}}%
\textcolor{fB}{\put(137,37){\vector(1,1){14}}}%
\textcolor{fB}{\put(143,37){\vector(+1,1){14}}}%
\textcolor{bN}{\put(120,20){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(120,20){\makebox(0,0){$+$}}}%
\textcolor{fB}{\put(117,17){\vector(1,1){14}}}%
\textcolor{fB}{\put(123,17){\vector(+1,1){14}}}%
\textcolor{bN}{\put(160,20){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(160,20){\makebox(0,0){$2$}}}%
\textcolor{bN}{\put(100,00){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(100,00){\makebox(0,0){$n$}}}%
\textcolor{bN}{\put(140,00){\makebox(0,0){\rule{1em}{3ex}}}}%
\textcolor{fN}{\put(140,00){\makebox(0,0){$1$}}}%
\end{picture}
\end{document}

Original upload log[edit]
The original description page was here. All following user names refer to en.wikipedia.
 20:51, June 12, 2013 Jochen Burghardt (390 bytes) (+390) . . (Uploading a selfmade file using File Upload Wizard)
Licensing[edit]
I, the copyright holder of this work, hereby publish it under the following license:

This file is licensed under the Creative Commons AttributionShare Alike 3.0 Unported license.  
https://creativecommons.org/licenses/bysa/3.0 CC BYSA 3.0 Creative Commons AttributionShare Alike 3.0 truetrue 
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time  Thumbnail  Dimensions  User  Comment  

current  18:11, 7 November 2013  1,033 × 442 (11 KB)  Jochen Burghardt (talk  contribs)  User created page with UploadWizard 
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Software used  TeX 

Conversion program  pdfTeX1.40.3 
Encrypted  no 
Page size  496.063 x 212.598 pts 
Version of PDF format  1.4 