Finite descriptions and parameter queries
These treatments share a subject; their labels distinguish the questions they answer.
- Categories, encodings, and derived computations — Mathematical lesson. In which category does a computation take place, and when can its result be transported?
- Finite encodings: recovering a module from finite data — Mathematical lesson. How can finite data recover a module over an infinite parameter domain?
- Indicator presentations: building a module from regions and a matrix — Mathematical lesson. How can regions and a matrix define spaces and their maps?
- Inspect spaces and maps — Mathematical lesson. How does the computed encoding recover the square and its spaces and maps?
- Tameness and scope: when finite descriptions exist — Mathematical lesson. When do constant subdivisions, finite encodings and finite fringe presentations exist?
- Why finite computations stay tame — Mathematical lesson. Why do finite constructions and compatible maps preserve tame descriptions?
- Why two parameters change the problem — Mathematical lesson. Why do two parameters require spaces and maps beyond a barcode?
- Choosing and inspecting resolutions — Library guide. Which resolution or Betti computation answers my question without computing unnecessary terms?
- Choosing views and inspecting intervals — Library guide. Which view lets me investigate the mathematical object I have computed?
- Exact coverage-depth windows — Library guide. How can I restrict coverage depth while preserving the required module?
- Exact matching distance in a finite window — Library guide. Which finite-window matching question can I compute, and what does the result establish?
- Exact multicover computation — Library guide. How do I choose an exact multicover construction and interpret its output?
- Exploring spaces and maps — Library guide. How do I investigate a constructed object and request deeper information when needed?
- From inputs to computed objects — Library guide. Which construction route should I choose, and what object will it return?
- Ingestion options and their mathematical effects — Library guide. Which input and construction choices change the represented module?
- Inspection and explicit computation — Library guide. What is already retained, and what extra computation does my next query request?
- Options must affect the requested computation — API reference. Which options change mathematical meaning, computation, or storage?