Solve-Min-Max Development App Documentation

This document provides a comprehensive explanation of the features, logic, and operational modes of the Solve-Min-Max Development Wolfram Mathematica application.

---

1. Core Mathematical Engine

The application is built on a "fallback" philosophy, ensuring that if strict symbolic methods fail, the system automatically attempts flexible numerical methods to find a result.

• Gradient Calculation (gradient): Computes the partial derivatives of a function $f$ with respect to a provided list of variables.
• Critical Points (criticalPoints): Automatically finds where the gradient equals zero within the Real domain using Solve.
• solveWithFallback: Attempts to solve equations or inequalities symbolically using Solve. If that fails, it tries NSolve (numerical) followed by Reduce (logical reduction).
• minimizeWithFallback: Specifically for finding minimum values. It first tries symbolic Minimize. If unsuccessful, it falls back to NMinimize to provide a numerical approximation.
• maximizeWithFallback: The companion to minimization, this feature attempts a symbolic Maximize before falling back to a numerical NMaximize.

---

2. Interactive Operational Modes

The mathHelperApp main entry point allows users to choose from six specialized modes through a guided user interface:

Mode 1: Solve Mode (solveMode)

Allows users to input a system of equations or inequalities to find specific variable values.

• Inputs: Number of relations, the relations themselves, a list of variables, and a target expression to evaluate.
• Domain Support: Supports solving over Reals, Complexes, and Integers.
• Positive Constraints: Option to automatically require all variables to be strictly positive ($> 0$).

Mode 2 & 3: Optimization Modes (minimizeMode / maximizeMode)

Dedicated interfaces for finding the extrema of a function under specific constraints.

• Inputs: Number of constraints, the constraints themselves, variables, and the target expression to optimize.
• Visualization: If the problem involves exactly two variables ($x$ and $y$), the app automatically generates a Contour Plot with a "Rainbow" color scheme to visualize the objective function's landscape.

Mode 4: Integer Solution Finder (integerExampleMode)

Specifically designed to find a discrete number of integer solutions for a given set of constraints.

• Feature: Users can specify exactly how many integer instances (e.g., 1, 5, 10) they wish to find using FindInstance.

Mode 5: Combined Extremum Analysis (minMaxMode)

A convenience mode that calculates both the minimum and maximum values of a single objective function under the same constraints simultaneously.

Mode 6: Parameter Scanning (parameterScanMode)

Analyzes how a solution changes as a specific parameter (e.g., variable $a$) varies.

• Scan List: Users provide a list of values for that parameter (e.g., {1, 2, 3, 4}).
• Results: The app generates an Association mapping each parameter value to its specific optimization result.

---

3. Advanced Direct Call Features

For power users, the mathHelperApp can be called directly with arguments for high-precision work.

• Working Precision: Supports custom precision settings (defaulting to 30) for high-accuracy numerical results.
• Box Constraints: Allows users to define a "box" (ranges for variables) alongside general constraints.
• 3D Visualization: For two-variable problems, it generates both a Contour Plot and a 3D Surface Plot (Plot3D) to provide a complete geometric understanding of the objective function.

---