audit.json

back to table · edit · history · where entries came from · files · download

597 bytes, as of the version from 2026-11-01 17:38 (current). Recorded here, not run.

{
  "tid": "T656",
  "title": "Minimum point of the Ellenberg\u2013Gijswijt bound",
  "findings": [
    "parameter convention takes 2 names (gamma, rho), each carrying entries of its own, so this reads as 2 tables sharing one title and one value column. If those are 2 named quantities, make 2 tables and relate them in Similar tables; if they are one object in several parts, or one number in several conventions, say so in the definition and leave them together",
    "Tags: \"matrix multiplication\" reaches only this table; a tag that leads nowhere else leads nowhere"
  ],
  "clean": false
}