[petsc-dev] TAO method selection (was "coding style")

Marco Zocca zocca.marco at gmail.com
Fri Aug 19 02:40:44 CDT 2016

How does a numerical method test for linearity (or in general order of
nonlinearity) of an operator? By comparing function value with the
first two Taylor terms, within machine precision?
I suspect only code analysis ("reification", as in analysis of the
expression syntax tree) would be feasible and reliable for general

More information about the petsc-dev mailing list