Is there any benefit to the user if he enables boost support in petsc with the --with-boost configure option ? What is the difference between a petsc build with enabled boost support and a build without boost support? I can't find any information about this neither in the manual nor on the web. Regards Thomas