Now that ATOL is in GUDHI, we should import the corresponding tutorial and tweak it so it uses the version of ATOL in GUDHI.
Now that ATOL is in GUDHI, we should import the corresponding tutorial and tweak it so it uses the version of ATOL in GUDHI.