Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/neozhaoliang/pywonderland

A tour in the wonderland of math with python.
https://github.com/neozhaoliang/pywonderland

coupling-from-the-past coxeter-groups domino-shuffling-algorithm fractals hopcroft hopf-fibration hyperbolic-honeycombs hyperbolic-tilings penrose-tilings polytopes reaction-diffusion todd-coxeter uniform-spanning-tree uniform-tilings

Last synced: 4 days ago
JSON representation

A tour in the wonderland of math with python.

Host: GitHub
URL: https://github.com/neozhaoliang/pywonderland
Owner: neozhaoliang
License: mit
Created: 2016-11-08T23:34:13.000Z (about 8 years ago)
Default Branch: master
Last Pushed: 2024-12-31T03:15:53.000Z (12 days ago)
Last Synced: 2024-12-31T20:06:37.668Z (11 days ago)
Topics: coupling-from-the-past, coxeter-groups, domino-shuffling-algorithm, fractals, hopcroft, hopf-fibration, hyperbolic-honeycombs, hyperbolic-tilings, penrose-tilings, polytopes, reaction-diffusion, todd-coxeter, uniform-spanning-tree, uniform-tilings
Language: Python
Homepage:
Size: 33.1 MB
Stars: 4,177
Watchers: 140
Forks: 344
Open Issues: 5
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE

Awesome Lists containing this project

starred-awesome - pywonderland - Render beautiful images and animate interesting algorithms in mathematics with Python. Fractals, Penrose tilings, reaction-diffusion, Wilson's uniform spanning tree algorithm, domino shuffling algorithm, coupling from the past, 4D polytopes, Mobius transformations, hyperbolic tilings. www.pywonderland.com. (Python)
my-awesome - neozhaoliang/pywonderland - from-the-past,coxeter-groups,domino-shuffling-algorithm,fractals,hopcroft,hopf-fibration,hyperbolic-honeycombs,hyperbolic-tilings,penrose-tilings,polytopes,reaction-diffusion,todd-coxeter,uniform-spanning-tree,uniform-tilings pushed_at:2025-01 star:4.2k fork:0.3k A tour in the wonderland of math with python. (Python)

README

        # A Tour in the Wonderland of Math with Python

> **A collection of python scripts for drawing beautiful figures and animating interesting algorithms in mathematics**.

## About this repo

The purpose of this project is to show the beauty of math with python by rendering high quality images, videos and animations. It consists of several independent projects with each one illustrates a special object/algorithm in math. The topics are chosen largely due to my personal taste:

1. They must produce appealing results.

2. There must be some non-trivial math behind them.

3. The code should be as simple as possible.

# What's fun here

+ Todd-Coxeter algorithm and uniform polytopes

    Use Todd-Coxeter algorithm to compute the data of a polytope, and render it in POV-Ray.

    [[Book]](https://www.routledge.com/Handbook-of-Computational-Group-Theory/Holt-Eick-OBrien/p/book/9780367659448) | [[Doc]](https://pywonderland.com/polytopes)

    


    

    


    


    

    


+ Möbius transformations

    + When a Möbius transformation is an isometry of the hyperbolic disk, it must be of elliptic/parabolic/hyperbolic type, and it's elliptic/parabolic/hyperbolic if and only if it's a composition of reflections about two intersecting/parallel/hyper-parallel mirrors.

        


        

        


    + A Möbius transformation can be uniquely extended to an isometry of the hyperbolic upper-half space.

        


        

        


+ Coxeter automata and 2D Uniform tilings

    [[Casselman's Paper]](https://personal.math.ubc.ca/~cass/research/pdf/roots.pdf) | [[Doc]](https://pywonderland.com/uniform-tilings/)

    


    

    


+ GIF animations of maze and cellular automata

    Generate maze animations containing thousands of frames in a few seconds. No external libs used and no drawing api call!

    [[Doc]](https://pywonderland.com/gifmaze)

    |    |    |

    |:---:|:---:|

    | ![](images/kruskal.gif) | ![](images/wilson-bfs.gif)    |

    | ![](images/gosperglidergun.gif) | ![](images/langton-ant.gif) |

+ Domino shuffling algorithm

    This algorithm samples a perfectly random tiling of a aztec diamond.

    [[Mathologer Video]](https://www.youtube.com/watch?v=Yy7Q8IWNfHM) | [[Paper]](https://arxiv.org/abs/math/9201305)

    


    

    


+ Propp and Wilson's coupling from the past algorithm

    [[Book](https://www.cambridge.org/core/books/finite-markov-chains-and-algorithmic-applications/EE10AF27811B43B02E05905DC6413467)]

    


    

    


+ Catacaustics of plane curves

    Use sympy to compute catacaustics of parametric and implicit curves.

    [[Doc](https://pywonderland.com/catacaustics)]

    |   |   |

    |:---:|:---:|

    | Cardioid as a catacaustic of circle | Nephroid as a catacaustic of cardioid |

    |![](images/caustics_cardioid.png) | ![](images/caustics_nephroid.png)|

+ Coxeter element and Coxeter plane

    We explain how to project the E8 root system to its Coxeter plane.

    [[Casselman's Paper](https://personal.math.ubc.ca/~cass/research/pdf/Element.pdf)] | [[Doc](https://pywonderland.com/e8-and-coxeter-plane/)]

    |   |    |

    |:---:|:---:|

    | E8   |  5-Cube   |

    |  |  |

+ Assassin vs Bodyguards

    Consider a room of regular polygon shape in the xy-plane, and let A (an "assassin") and T (a "target") be two arbitrary-but-fixed points within the room. Suppose that the room behaves like a billiard table, so that any ray (a.k.a "shot") from the assassin will bounce off the walls of the room, with the angle of incidence equaling the angle of reflection.

    Puzzle: Is it possible to block any possible shot from A to T by placing a finite number of points in the room?

    [[PBS Video](https://www.youtube.com/watch?v=a7gp9c2p0UQ)] | [[math3ma blog](https://www.math3ma.com/blog/is-the-square-a-secure-polygon)]

    


    

    


# How to use

All projects here are implemented in a ready-to-use manner for new comers. You can simply run the examples without tweaking any parameters once you have the dependencies installed correctly.

# Dependencies

The recommended way to install all dependencies is simply running the bash script `install_dependencies.sh`.

```

sudo bash install_dependencies.sh

```

Or you can install the python libs by pip:

```

pip install -r requirements.txt

```

Open source softwares required:

+ `python3-tk` (for file dialog)

+ `ImageMagick` (for making gif animations)

+ `FFmpeg` (for saving animations to video files)

+ `POV-Ray` (for generating high quality raytracing results)

+ `graphviz` (for drawing automata of Coxeter groups)

+ `Inkscape` (optional, for convering large svg files to png)

They can all be installed via command-line:

```

sudo apt-get install python3-tk imagemagick ffmpeg povray graphviz inkscape

```

Note `pygraphviz` also requires `libgraphviz-dev`:

```

sudo apt-get install libgraphviz-dev

```

In the scripts these softwares are called in command line as `povray`, `ffmpeg`, `convert` (from `ImageMagick`), etc. For Windows users you should add the directories contain these .exe files to the system `Path` environment variables to let the system know what executables these commands refer to. For example on Windows the default location of POV-Ray's exe file is `C:\Program Files\POV-Ray\v3.7\bin\pvengine64.exe`, so you should add `C:\Program Files\POV-Ray\v3.7\bin` to system `Path` and rename `pvengine64.exe` to `povray.exe`, then you can run the scripts without any changes and everything should work fine.

## Thanks

I have learned a lot from the following people:

- [Bill Casselman](http://www.math.ubc.ca/~cass/)

- [Roice Nelson](https://github.com/roice3)

- [Possibly Wrong](https://possiblywrong.wordpress.com/)

- [Jos Leys](http://www.josleys.com/)

- [Greg Egan](http://gregegan.net/)

- [Matthew Arcus](https://github.com/matthewarcus).

## License

see the LICENSE file.