Documentation tweaks (fixes #460)

[timholy]

This eliminates the inconsistency in c_i = 0 vs c_L <= c_i <= c_U noted in #460. It also:

• adds Manifest.toml to .gitignore
• standardizes on y rather than λ for Lagrange multipliers
• clarifies or polishes wording in various places
• adds NLPModels to docs/Project.toml (this is standard and might allow simplification of your workflows)

[github-actions[bot]]

Package name	latest	stable
ADNLPModels.jl
AmplNLReader.jl
CUTEst.jl
CaNNOLeS.jl
DCISolver.jl
FletcherPenaltySolver.jl
JSOSolvers.jl
LLSModels.jl
NLPModelsIpopt.jl
NLPModelsJuMP.jl
NLPModelsModifiers.jl
NLPModelsTest.jl
PDENLPModels.jl
Percival.jl
QuadraticModels.jl
SolverBenchmark.jl
SolverCore.jl
SolverTest.jl
SolverTools.jl

[timholy]

Bump

[tmigot]

Sorry @timholy for the delay, thanks a lot for the contribution. This is really appreciated. I will review it this weekend.

[timholy]

There's a lot I like about switching from V to E. But I guess one reason against E_i is that

$$E_i \quad \forall i \in E$$

seems slightly weird: E is being used both as an index set and as a constraint-value set. (The V is "value".)

[timholy]

What about using ${\cal E}$ and ${\cal I}$ for the index sets?

[tmigot]

e index sets?

That's a great idea, and very close to what is done in optimization literature.

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 99.13%. Comparing base (d6e949f) to head (f6dfc96). Report is 6 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #462      +/-   ##
==========================================
- Coverage   99.25%   99.13%   -0.13%     
==========================================
  Files          13       13              
  Lines         807      809       +2     
==========================================
+ Hits          801      802       +1     
- Misses          6        7       +1     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.