Boltzmann RTE Generator future work

The Boltzmann RTE Generator is not usable as is. We do not manage to generate a control parameter outside of [0, 07735], which doesn't allow for a lot of flexibility on the size of the generated expressions. Here is the work that needs to be done

TODO

• Test the generator, at least with code coverage

Investigate the tuning of the control parameter. The constaints on its size is either a problem with our grammar specifications or it is inherent to the data structure. One must:

• Verify that the grammar specifications are correct
• Contact Martin Pépin to see if the results are coherent.
• Find the radius of convergence of the RTE structure, to find the upper limit of the control parameter