Multiple dispatch for relational expression generation

[jsiirola]

Fixes # .

Summary/Motivation:

NOTE: This PR includes #3551; review / merge that PR first.

This is a continuation of the work moving Pyomo expression generation to use multiple dispatch for more efficient / standardized argument processing. This migrates the relational expression generation. Overall, it provides more standardized and efficient argument processing. Overall performance on the performance test suite is improved (in particular, a 3.5% improvement in create_instance:

Changes proposed in this PR:

• Move relational expression generation to use multiple dispatch
• Move some definitions (enums and dispatcher utilities) into expr_common
• Improved solution to managing the circular dependency between relations and numeric expressions (with better code documentation)

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

1. I agree my contributions are submitted under the BSD license.
2. I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.

[jsiirola]

(Do not attempt to squeeze this into the release)

[mrmundt]

I don't know if there is a "better" way to do this, but there are three versions of this map that are all "almost" the same, and it makes my little "minimize repeat code" heart sad.

[emma58]

Sorry for the long-delayed review... This is really pretty! A few questions, but otherwise it looks good.

[emma58]

Should this have equality in it? Why doesn't it?

[jsiirola]

This is the list of argument types for relational expressions. As an Equality expression is not allowed to be the argument for another numeric / relational expression, we will never need to do special dispatch for it (it will fall back on getting mapped to INVALID).

[codecov]

Codecov Report

Attention: Patch coverage is 90.86957% with 21 lines in your changes missing coverage. Please review.

Project coverage is 88.68%. Comparing base (a9d673d) to head (20d6067).

Files with missing lines	Patch %	Lines
pyomo/core/expr/relational_expr.py	86.27%	21 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3483      +/-   ##
==========================================
- Coverage   88.69%   88.68%   -0.01%     
==========================================
  Files         888      888              
  Lines      101886   101976      +90     
==========================================
+ Hits        90365    90439      +74     
- Misses      11521    11537      +16     

Flag	Coverage Δ
builders	26.55% <48.26%> (+<0.01%)	⬆️
default	84.80% <90.86%> (?)
expensive	33.95% <50.43%> (?)
linux	86.15% <90.86%> (-2.29%)	⬇️
linux_other	86.15% <90.86%> (-0.01%)	⬇️
osx	76.06% <90.86%> (+<0.01%)	⬆️
win	84.63% <90.86%> (-0.01%)	⬇️
win_other	84.63% <90.86%> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.