Ideas

Ideas

Ideas with no design and no owner yet, by which of the four names they fall under (Names). The direction they serve is on Roadmap.

An idea leaves this page when it gets a design (a Speculative- page under Design), when a lane picks it up (the backlog, Lanes), or when it is dropped. A page that only lists finished things stops being read, so nothing done stays here.

compute-engine

Mathematics that belongs upstream. Each would go as an issue with its pull request (Contributing, "Upstreaming to compute-engine").

• FullSimplify. The most-used head on the Wolfram frontier that has no answer here.
• The Function* property family: FunctionDomain, FunctionRange, FunctionInjective, FunctionMonotonicity, FunctionSingularities and the rest. Each is small; together they are the largest coherent block on the Wolfram frontier.
• Equality and SameTest. compute-engine has IsSame (structural), Same (evaluates, variadic) and Equal. Wolfram has SameQ, Equal and a SameTest option taking a binary predicate, used for "within tolerance" and "equal up to". Align with that, and decide whether a named tolerance head earns a place (Options, Restrictions and Orders).
• A bare e or i reads as a constant in Epsil, so an example cannot use either as a variable. Rows rename them until it is settled upstream (Foreign Names).
• Dictionaries per scope. compute-engine fixes its LaTeX dictionary when an engine is built. Notation that a scope can switch on and off needs it per scope (Package Scopes).
• A wasm compile target, for kernels with native 64-bit integers. Open: whether the per-call crossing cost eats the gain on the small fibers most calls see. A spike on one family against its TypeScript fast path would answer that.
• Fixed-precision decimals and money. An exact decimal with a fixed scale, rounding to its last place by a stated rule. Not a ring, but an ordered additive group that rationals scale.
• Rings of integers of number fields, past the quadratic ones: norm, units, class number, factorisation where it is unique. The adèles' next phase waits on it.
• SqrtSpace, from Wolfram's Function Repository: Cartesian points to algebraic numbers in a quadratic field and back.

enumeratio

• Addresses for objects. A URL for a collection, for one element of it and for one specific structure, formed from the expression that names it (Sites).
• Named restrictions as aliases. Derangements(n) as Restricted(SymmetricGroup(n), …) that resolves to the fast collection. Open: how a predicate is matched to its named collection, and where the alias table lives (Restrictions).
• Species. Every collection's record names its species; ideally species are values in Epsil (sum, product, composition, derivative, generating functions, cycle indices), and L-species are where a collection's order comes from. Open: backbone or annotation.
• Numerals as polynomial-like values, not digit lists, so that factoradic (the Lehmer code) and the combinatorial number system (subset unranking) map onto the structures they are.
• modular's names. Heavily prefixed, several named for their implementation, and no Wolfram counterpart to align against.
• Collections with no kernel. Many catalogued collections have a record and no declared head; a good share are numeric sets.
• Polytopes: the cyclohedron's unrank, the vertex-only families (hypersimplex, Birkhoff, type-B permutahedron), overlaying several polytopes.
• Controlled evaluation in our own test suites: a time and memory limit per test, the way the oracle scans are capped.
• KnotData. Deliberately not built; the knot table is parked (Knots).

notatio

• Scenes. Every display we draw into (a plot, a worksheet, a 3-D view) as a scene with its own coordinates and camera, after Wolfram's GeometricScene; projective geometry over Cl(p,q,1) as one of them (Graphics and Space).
• AsciiMath read onto boxes. MathML input is read into boxes and from boxes straight to an expression (makeExpression, Boxes). AsciiMath still reaches an expression through TeX, which loses what TeX cannot say; a reader onto boxes puts it on the same path.
• StandardForm in the terminal. An enriched text rendering of the same boxes (Unicode, script characters, colour, a second line where the terminal allows) instead of falling back to InputForm (Rendering Environments).
• Render-environment heads. ClientOnly as a condition on the environment, and its kin: callouts, disclosure, tabs, badges.
• A survey of neighbouring systems (VitePress, MDX, Observable, Jupyter, Quarto, Wolfram notebooks, Typst, Pluto) for the components they share.
• Notebooks exported as .ipynb (Kernels and Front Ends).
• Representations and table control: several glyph kinds per carrier, text notations that round-trip, typed columns and column controls, element and identity panes.
• The documentation written as notebook documents (Docs in Enumeratio).