runhenon.cpp File Reference

The main computations for the Henon attractor. More...

#include "boost/numeric/interval.hpp"
#include <iomanip>
#include "chomp/system/config.h"
#include "chomp/system/textfile.h"
#include "chomp/system/timeused.h"
#include "chomp/system/arg.h"
#include "maphenon.h"
#include "covboxes.h"
#include "attractor.h"
#include "graph.h"
#include "streams.h"
#include "plotcover.h"
#include "savecover.h"

Go to the source code of this file.

Functions
template<class NumType >
void	henonAttractor (int parts, const char *bitmapFilename, int bitmapWidth, const char *saveFilename)
	Runs the computations for the Henon attractor. More...
int	main (int argc, char *argv [])
	The main function of the program. More...

Variables
const char *	title
	The title of the program with brief licensing information. More...
const char *	helpinfo
	Short help information about the program's usage. More...

Detailed Description

The main computations for the Henon attractor.

This program runs rigorous numerical computations aimed at proving that an attractor for the given dynamical system is mixing at some finite resolution. This program accompanies the paper "Finite resolution dynamics" by S. Luzzatto and P. Pilarczyk, and follows the algorithms introduced there.

Author

Pawel Pilarczyk

Definition in file runhenon.cpp.

Function Documentation

henonAttractor()

template<class NumType >

void henonAttractor	(	int	parts,
		const char *	bitmapFilename,
		int	bitmapWidth,
		const char *	saveFilename
	)

Runs the computations for the Henon attractor.

Definition at line 122 of file runhenon.cpp.

References constructAttractor(), plotCover(), and saveCover().

main()

int main	(	int	argc,
		char *	argv[]
	)

The main function of the program.

Returns: 0 = Ok, -1 = Error, 1 = Help displayed, 2 = Wrong arguments.

Definition at line 282 of file runhenon.cpp.

References helpinfo, and title.

Variable Documentation

helpinfo

const char* helpinfo

Initial value:

= "\
This program accompanies the paper \"Finite resolution dynamics\"\n\
by S. Luzzatto and P. Pilarczyk. It runs computations aiming at proving\n\
that the Henon attractor is mixing at all resolutions > some epsilon.\n\
Call this program with the following arguments:\n\
-p N - the number of cover parts in each direction (must be given),\n\
-b filename.bmp - a file to save a plot of the cover to (default: none),\n\
-w N - the width of the BMP file (default: 1000 pixels),\n\
-s filename.txt - a text file to save the actual cover to (def: none),\n\
-h - to display this brief help information only and exit.\n\
For more information consult the accompanying documentation (if available)\n\
or ask the program's author at http://www.PawelPilarczyk.com/."

Short help information about the program's usage.

Definition at line 102 of file runhenon.cpp.

Referenced by main().

title

const char* title

Initial value:

= "\
Finite Resolution Dynamics - computations for the Henon attractor.\n\
Ver. 0.01, April 12, 2010. Copyright (C) 1997-2010 by Pawel Pilarczyk.\n\
This is free software. No warranty. Consult 'license.txt' for details."

The title of the program with brief licensing information.

Definition at line 96 of file runhenon.cpp.

Referenced by main().