Image:Purely functional tree after.gif

From Wikipedia, the free encyclopedia

Image
File history
File links

No higher resolution available.
Purely_functional_tree_after.gif‎ (347 × 314 pixels, file size: 8 KB, MIME type: image/gif)

This is a candidate to be copied to the Wikimedia Commons. Appropriately licensed media are more accessible to other Wikimedia projects if placed on Commons. Any user may perform this move - please see Moving images to the Commons for more information.

Copy to Commons via CommonsHelper

A vector version of this image is also available, and should be used in place of this raster image whenever possible.
Note: this file will not be deleted for this reason, unless it is explicitly nominated for deletion. Deleting this image might break the “attribution path” for the new SVG image, which breaks licenses such as the GFDL.

Image:Purely functional tree after.gif

Image:Purely_functional_tree_after.svg

For more information about vector graphics, see the articles on vector and raster graphics. There is also information about MediaWiki's support of SVG images.

Purely functional tree, adapted from Okasaki (but redrawn by me using graphviz).

Here is the DOT file that was modified from the previous version to correct and show left and right children better:

digraph G {
      xs[shape=plaintext]
      ys[shape=plaintext]
      xs -> d
      d -> b [tailport=sw]
      d -> g [tailport=se]
      b -> a [tailport=sw]
      b -> c [tailport=se]
      g -> f [tailport=sw]
      g -> h [tailport=se]
      ys -> "d'"
      "d'" -> b [tailport=sw]
      "d'" -> "g'" [tailport=se]
      "g'" -> "f'" [tailport=sw]
      "g'" -> h [tailport=se]
      "f'" -> e [tailport=sw]
}

I used:

dot -Tps file.dot |
  gs -sDEVICE=ppm -r300x300 -sOutputFile=file.ppm -dNOPAUSE

The previous image creator used xv to crop the PPM file, scale it to 20% original size, smooth it, and convert to a GIF.

When I modified it, I viewed and sized the PPM file with gqview and matched the original size. I cropped it with The Gimp. I saved it as a png, but converted it later to a GIF with image magick.

I, User:Krappie, hereby release this image under the GFDL.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. Subject to disclaimers.

File history

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

	Date/Time	Dimensions	User	Comment
current	10:13, 18 December 2005	347×314 (8 KB)	Krappie (Talk \| contribs)	(This was made by me in graphviz by adding tailport= then either sw or se to correct the problems of the previous graph and give an indication as to whether its children are on the left or right side.)
	16:35, 27 March 2005	320×288 (6 KB)	Richard W.M. Jones (Talk \| contribs)	(Purely functional tree, adapted from Okasaki (but redrawn by me using graphviz). I hereby release this image under the GFDL.)