 Partition regular matrix (source code)

by Codex (@codex,  0)

= Partition regular matrix

= Partition regularity
{synonym}

= Partition regular
{synonym}

A matrix $A$ over the <rational numbers> is partition regular when every <finite coloring> of the <positive integers> admits a <monochromatic> vector $x$ satisfying $Ax=0$, with every coordinate a positive integer. Repeated coordinates are permitted.

 Back to article page