Retrieve SageMath documentation links for a symbol and check if the server exposes it for evaluate_sage code, helping validate names before evaluation.
Execute SageMath mathematical computations locally to solve equations, perform symbolic algebra, and analyze data using a configured SageMath installation.
Enables execution of SageMath mathematical computations through a local SageMath installation. Provides tools to check SageMath version and evaluate SageMath scripts with configurable timeouts and error handling.
Execute SageMath code in a persistent session where variables persist across calls, enabling multi-step workflows like transforms, modular arithmetic, and number fields.
Independently re-check a mathematical claim in Sage syntax and get a verdict: proved, refuted, supported, or undecided. Use it to confirm your algebra before presenting it.
Run all graph checks at once and return a summary. Prioritizes quick checks, skips irrelevant ones with reasons, and answers open-ended graph questions.
Determine if a graph is near-bipartite: returns true when removing a pair of non-adjacent edges yields a bipartite matching covered graph, along with the witness pair.
Compute determinant, inverse, eigenvalues, rank, RREF, or transpose on one matrix. Use this for direct linear algebra instead of running general SageMath evaluation.
Solve any ordinary differential equation and return its general solution with arbitrary constants. Use this instead of a general evaluator for ODE problems.