Skip to content

Symbolic solve for transcendental equations #78

Description

@AregGevorgyan

What

Solve sin(x) = x/2, x·eˣ = 1, log(x) + x = 0 symbolically, returning {x = W(1)} or {x = 2 arcsin(1/2) + 2πk} with a family of solutions. Currently solve handles polynomial systems only.

Applications

Extremely common in engineering and physics: equations with mixed polynomial-exponential-trig structure.

Notes

Alkahest's solve returns SolverError::Unsupported for anything non-polynomial.


Tracked from mathematical coverage gap analysis.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions