[Rafael-SOWNet]

Part of #1684, the first of two PRs. The second puts the MCP server's tools on this.

Core/Operations/Catalogue.cs lists the operations the library offers by name, 33 of them. Each entry has a one-line description and the arguments it takes besides its input.

kind	entries
transformations, each with its relation	simplify, normalize, expand, factorize, differentiate, integrate, limit, substitute
queries on an expression	solve, solve_system, evaluate, evaluate_numerically, variables, alternatives, latex, sympy, truth_table, satisfying_assignments, series
queries on a number	to_base, from_base
queries on a matrix	determinant, inverse, transpose, rank, reduced_row_echelon_form, trace, tensor_product
queries on an integer	prime_factorization, totient, greatest_common_divisor, divisor_count, is_prime

• Each entry answers exactly what the method it names answers. Catalogue.Differentiate.Apply(e, x, 2) is e.Differentiate(x, 2), so a surface that switches to the catalogue changes no answer.
• Internal until v3, in a namespace of its own, as decided on the issue. Transformation and its factories stay where they are.
• Names follow Pending breakages: changes agreed or arguable that cannot ship before a major version #1019 item 16's v3 column, the library's own verbs.
  • normalize there is InnerSimplified, while Transformation.Normalization is the canonical order followed by InnerSimplification. The two names are close enough to confuse, so Pending breakages: changes agreed or arguable that cannot ship before a major version #1019 item 16 may want another word for fsimp.
• What is not an entry: the building blocks Transformation also names, such as RationalCanonicalization, EqualitySaturation and Rewriting(ruleSet). A caller composes them, and none of them answers a question by itself.

CatalogueTest (15 tests) checks:

• that All holds every entry declared, once;
• that names are lowercase words joined by underscores, and each description is one sentence;
• that each entry's parameters are its delegate's arguments after the input;
• that each transformation entry claims the same relation as its Transformation;
• that every public factory of Transformation is either an entry or a building block with its reason. A new factory fails until it is placed. Removing Rewriting and Expansion from those lists fails the test, naming both;
• that each entry's answer equals the method's own on an input where it and its neighbours differ. For example, simplify and normalize are both checked on sin(x)^2 + cos(x)^2.

Checked:

• The library builds for netstandard2.0, net8.0 and net10.0.
• The full suite passes: 17,054 passed, 0 failed, 13 skipped. That run was on the first 30 entries; adding satisfying_assignments, to_base and from_base touched only Catalogue.cs and its test, and CatalogueTest passes on them.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura