% File: readme
%
% Here are the programs to perform the computations of the paper
%
% "Rigorous verification of chaotic behaviour of maps using 
% validated shadowing" by D. Stoffer and K.J. Palmer. 
%
%
% We describe how to run the programs. 
% First make sure that the INTLAB interval toolbox for MATLAB5.1
% or MATLAB5.2 is running 
% (http://www.ti3.tu-harburg.de/~rump/intlab/index.html).
%
%
% To do the computations one needs the following MATLAB files:
%	orbits.mat		contains the periodic pseudo orbits
%	henon.m			computes the Henon map (interval values)
%	triang.m		computes the triangularisation of derivatives
%	testchaos.m		verificates chaotic behaviour
% 
% The file orbits.mat contains the variables uu and vv and the
% variable nn indicating the length of the pseudo orbits. The variables
% uu and vv are point matrices containing the periodic pseudo orbits 
% u_i = uu(:,i) and v_i = vv(:,i) ).
%
% Load the orbits uu, vv, the variable nn and create the parameter
% intervals for a and b by typing

  load orbits
  par=midrad([1.4 0.3],[.000000001 .000000001])

% If different parameter intervals are desired, redefine the variable par.
% 
% All computations are commented in the file testchaos. Run that file
% to make the chaos test. In order to measure the computation time use 
% the routines tic and toc. Type

  tic; testchaos; toc;

% (Alternatively, one can just run the file readme.m by typing readme).
%
% written   05/20/99   D.Stoffer
%




