The MATLAB code contained in this directory have been used to prove Theorem 1 of

"Co-existence of hexagons and rolls", Jan Bouwe van den Berg, Andréa Deschênes,
Jean-Philippe Lessard and Jason D. Mireles James, 2014.

Here is an example of how to run the proof in MATLAB :

- for the heteroclinic orbit between the hexagons and the negative rolls :
  inu = intval('1.01');
  proof_hex2neg_rolls(inu);

- for the heteroclinic orbit between the hexagons and the negative rolls :
  inu = intval('1.01');
  proff_hex2pos_rolls(inu);

Data will be automatically loaded from approx_sol_hex2neg_rolls.mat and manifolds_hex2neg_rolls.mat
or from approx_sol_hex2pos_rolls.mat and manifolds_hex2pos_rolls.mat.

Note : Since the proof uses interval arithmetic, you must first obtain a version of INTLAB
(see http://www.ti3.tu-harburg.de/rump/intlab), then open the folder and run the program startintlab.m.