"methods for normal forms and remainder" should link to // for the quotient half

This issue was triaged from bugs/dan/0.1-doc-remainder-links, one of the 857 files removed from the pre-GitHub bugs/ tree by d2c8d27826 and catalogued in #36. The commentary below was written by Claude (Claude Opus 5, via Claude Code), not by @d-torrance, whose account posted it -- please weigh it accordingly.

The original file, verbatim

The doc node "methods for normal forms and remainder" should link to // methods for getting the coefficients!

Where it stands today

Still unlinked. help "methods for normal forms and remainder" lists %, Gröbner bases, generators
and Matrix % GroebnerBasis under See also, and nothing for //.

One thing to settle first

There is no node actually titled "methods for getting the coefficients", which is what the file asks
to link to. So the ask has to be read as a link to the // operator — the node where the quotient half
of division lives — since % gives the remainder and // gives the quotient, and a reader who has
found one wants the other.

Why it is worth doing

The two halves of division-with-remainder are documented in separate places with no cross-reference, so
the node that explains normal forms leaves a reader with no route to the operator that returns the
factor. That is the sort of gap the See-also list exists to close.

_{open · disposition issue · source of truth: bug-triage/catalog.tsv}

Start by running help "methods for normal forms and remainder" and inspect the documentation source for that node. Add a See-also link to the // operator, then rerun the help entry to confirm the quotient link appears alongside the existing references.