documentation/peano4/performance_optimisation.dox File Reference