Skip to content

Implemented some of the proof from the exciting new Rectangular Peg Problem solution paper as an algorithm

Notifications You must be signed in to change notification settings

horenbergerb/RectangularPegSolutionAlgorithm

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

41 Commits
 
 
 
 
 
 

Repository files navigation

##########
#Overview#
##########
NOTE: This code is for Python 2.7.17 and Python 3.0 is known to cause problems for some files
Dependencies: numpy, scipy, futures, matplotlib, probably other things (please let me know if issues pop up)

This is a collection of programs to implement and visualize methods used for finding rectangles in curves.
It was written in response to a new paper with an astounding and complex proof of an easy-to-understand and hard-to-believe claim, which is essentially this:
If you draw a smooth (no jagged bits) loop, and then pick a rectangle of some height:width proportion, you can find points on that loop which are the corners of a rectangle with the same proportion.
Don't believe me? Try it yourself in the RectangleFinder folder (or read the actual mathematical proof cited in the Readme of the same folder)

So now let's go over the toys available
#################
#RectangleFinder#
#################
In the RectangleFinder folder, you'll find an algorithmic implementation of the new and amazing proof that a rectangle of any proportion can be constructed from points on any smooth Jordan curve. There is a program for drawing your own smooth loop as well! Head on over to that folder for more details

########################
#VaughanRectangleMethod#
########################
So the proof implemented in the RectangleFinder folder is really complex. It's mapping four-dimensional things to other four-dimensional things. I thought one could get a good taste of the concepts by playing with other proofs about the existence of rectangles on loops.

Vaughan used topological methods to show that some rectangle must exist on certain loops. These methods can be described and visualized with a little more ease. The code in this file lets you implement some of his methods on your own hand-drawn curves!

#######
#TO DO#
#######

I should have turned most of the functions I use into a package a long time ago
  Then I could remove massive blocks of code from all my files
  This is a really important to-do item
  Could I turn some of the graphing procedures into a package as well?
    Probably

Fix up the interactive visualization in GreeneLobb/Visualizations
  Update the Readme there to include this file and any other new files

Clean up the Greene/Lobb/BlogTools file
  Add a readme to give perspective on what these are for

About

Implemented some of the proof from the exciting new Rectangular Peg Problem solution paper as an algorithm

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages