Input files and execution instructions for a PHASTA incompressible 'crossflow' flow case using 48 processes. The expected results are listed in the included README.md.
The files in this data set support the paper "Truth table invariant cylindrical algebraic decomposition" by Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson. They
This is part of work for the preprint entitled "1887 Michelson-Morley experiment: a new analysis with computer assistance", showing the detailed simulation steps for the mirror adjustment to obtain th
