# File:Bird foldl promotion.pdf

Original file(1,003 × 472 pixels, file size: 29 KB, MIME type: application/pdf)

### Captions

Add a one-line explanation of what this file represents

## Summary

 Description English: Computation example for the foldl promotion law from Bird.1989, p.123 lf. Our example uses integer numbers with binary addition ("${\displaystyle +}$"), of which only its associativity and its left-neutral element ("${\displaystyle 0}$") is used. Date 25 September 2019 Source Own work Author Other versions

(General explanations applying to all similar images, including the LaTeX source code of the use file "bird_Preamble.tex" can be found at the description page of File:Bird foldl map fusion.pdf.)

LaTeX source code
\documentclass[12pt]{article}

\setlength{\unitlength}{1mm}

\usepackage[pdftex]{color}
\usepackage{amssymb}
\usepackage[paperwidth=170mm,paperheight=80mm]{geometry}

\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{170mm}
\setlength{\textheight}{80mm}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}

\pagestyle{empty}

\include{bird_Preamble}

\begin{document}
\begin{picture}(165,75)
%\put(0,0){\makebox(0,0){$+$}}
%\put(165,75){\makebox(0,0){$+$}}
%
\put(65.000,65.000){\makebox(0.000,0.000)[b]{{$\List{\List{4\,5\,6}\,\List{7\,8}\,\Nil\,\List{9}}$}}}%
\put(15.000,35.000){\makebox(0.000,0.000)[b]{{$\List{4\,5\,6\,7\,8\,9}$}}}%
\put(115.000,35.000){\makebox(0.000,0.000)[b]{{$\List{((0\+4)\+5)\+6\,(0\+7)\+8\,0\,0\+9}$}}}%
\put(60.000,5.000){\makebox(0.000,0.000)[br]{{$\A{(((((0\+\B{4})\+\B{5})\+\B{6})\+\B{7})\+\B{8})\+\B{9}}$}}}%
\put(70.000,5.000){\makebox(0.000,0.000)[bl]{{$\A{((( 0 + \B{(((0\+4)\+5)\+6)} )+ \B{((0\+7)\+8)} )+ \B{0})+ \B{(0\+9)} }$}}}%
\textcolor{cFct}{\put(65,6){\makebox(0.000,0.000)[b]{$\mathbf{=}$}}}%
%
\thicklines
%
\textcolor{cFct}{\put(60.000,62.000){\vector(-2,-1){40.000}}}%
\textcolor{cFct}{\put(39.000,52.000){\makebox(0.000,0.000)[br]{$\concat$}}}%
%
\textcolor{cFct}{\put(70.000,62.000){\vector(2,-1){40.000}}}%
\textcolor{cFct}{\put(91.000,52.000){\makebox(0.000,0.000)[bl]{$\map \; (\foldl \; (+) \; 0)$}}}%
%
\textcolor{cFct}{\put(110.000,32.000){\vector(-1,-1){20.000}}}%
\textcolor{cFct}{\put(101.000,22.000){\makebox(0.000,0.000)[tl]{$\foldl \; (+) \; 0$}}}%
%
\textcolor{cFct}{\put(20.000,32.000){\vector(1,-1){20.000}}}%
\textcolor{cFct}{\put(29.000,22.000){\makebox(0.000,0.000)[tr]{$\foldl \; (+) \; 0$}}}%
\end{picture}
\end{document}


## Licensing

I, the copyright holder of this work, hereby publish it under the following license:

## File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current13:54, 25 September 20191,003 × 472 (29 KB)Jochen Burghardt (talk | contribs)User created page with UploadWizard

The following page uses this file: