Description
Computer algebra workflows can call Reduce from Pure programs through this interface. This module is for developers, teachers, and researchers doing symbolic math in Pure. It is loaded by host code, and correctness depends on the formulas and assumptions supplied by the caller.