File:Bird foldl promotion.pdf

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

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


Add a one-line explanation of what this file represents



English: Computation example for the foldl promotion law from Bird.1989, p.123 lf. Our example uses integer numbers with binary addition (""), of which only its associativity and its left-neutral element ("") is used.


Own work


Jochen Burghardt

Other versions

File:Bird foldl promotion.pdfFile:Bird foldl promotion svg.svg

(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



\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(91.000,52.000){\makebox(0.000,0.000)[bl]{$\map \; (\foldl \; (+) \; 0)$}}}%
\textcolor{cFct}{\put(101.000,22.000){\makebox(0.000,0.000)[tl]{$\foldl \; (+) \; 0$}}}%
\textcolor{cFct}{\put(29.000,22.000){\makebox(0.000,0.000)[tr]{$\foldl \; (+) \; 0$}}}%


I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons

attribution share alike

This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

File history

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

current13:54, 25 September 2019Thumbnail for version as of 13:54, 25 September 20191,003 × 472 (29 KB)Jochen Burghardt (talk | contribs)User created page with UploadWizard


Structured data

Items portrayed in this file

no value