Bug
The documentation build on main is failing because $P = NP$ in the SumOfSquaresPartition problem-def (line 2308 of docs/paper/reductions.typ) treats NP as two separate math variables instead of a string literal.
Error:
error: unknown variable: NP
┌─ docs/paper/reductions.typ:2308:139
│
2308 │ ... unless $P = NP$. For fixed $K$...
│ ^^
= hint: try placing it in quotes: "NP"
Fix: Change $P = NP$ to $P = "NP"$.
Introduced by #663 (SumOfSquaresPartition model).
Bug
The documentation build on main is failing because
$P = NP$in the SumOfSquaresPartition problem-def (line 2308 ofdocs/paper/reductions.typ) treatsNPas two separate math variables instead of a string literal.Error:
Fix: Change
$P = NP$to$P = "NP"$.Introduced by #663 (SumOfSquaresPartition model).