Move ReferenceResidualProblem to a more appropriate location

[tophmatthews]

Description of the enhancement or error report

Following discussions with @bwspenc and @dschwen, it seems like the ReferenceResidualProblem may be better suited in a more readily available spot than the contact module. Perhaps the misc module? This was motivated by use of ReferenceResidualProblem in MARMOT, without a real need for the other pieces in the contact module.

Rationale for the enhancement or information for reproducing the error

This will allow for easier implementation of ReferenceResidualProblem in other Apps.

Identified impact

Users will need to couple in misc instead of contact to use ReferenceResidualProblem (which they may already have).

[bwspenc]

I'm fine with moving this, but I would much rather provide this kind of capability but in a more user-friendly way in the standard FEProblem class. Doing this in a custom Problem class was fine for the proof of concept, but this has become very widely used, and I think the usability of this is pretty awful (and I wrote it).

[tophmatthews]

@bwspenc @dschwen So where are we are this? Can we have MARMOT require the contact app until someone has time to clean it up? Or should this just be moved to the misc app?

[bwspenc]

The problem with moving it to the misc module is that then we'd need to make the contact module depend on that, which we can do, but we try to keep module/module dependencies to a minimum.

This capability really belongs in the framework. I suppose we could just move ReferenceResidualProblem as it is somewhere in framework/src/base or something.

[tophmatthews]

This came up again with @vincentlaboure...any idea when this will fully adapted or should we expect this to remain in contact @bwspenc ?

[lindsayad]

I believe that this should be in the framework because it's wholly general. I would approve a PR that moved this into the framework unless others of the @idaholab/moose-team had a compelling argument not to move it. I think that ReferenceResidualProblem pairs well with automatic scaling; the former ensures that no variable is left behind in terms of converging individual non-linear residuals while the latter ensures that the Jacobian is well-conditioned. Wanting to achieve 1) convergence of all variable residuals and 2) good conditioning can be competing criteria, hence it is good to have distinct mechanisms for achieving the distinct goals.

[tophmatthews]

🤘 ...after a three+ year lull, @lindsayad for the resurrection.

[tophmatthews]

I'd be in to help with setting up actions to help clean up the input, but it'd probably be better for somewhat someone with a better knowledge of the inner FEProblem workings to give it a clean format.