General plans regarding Ramsey theory (in computer algebra)
More...
Go to the source code of this file.
Detailed Description
General plans regarding Ramsey theory (in computer algebra)
 Todo:
 Systematic notations for the numbers in Ramsey theory : DONE

DONE Currently we have Ramsey, vanderWaerden and GreenTao numbers.

DONE Those numbers appear in plans, (soon) as functions (computing them), and in Latexdocuments.

DONE (we follow these conventions) For the plansfile (and other asciicode) I propose ramsey_s^r(...), vanderwaerden_m(...) and greentao_m(...), following the usage of the latter two functions as it is already established:

s resp. m is the number of "colours" (or parts)

"..." is either one number in case of diagonal problems, or a list of s resp. m numbers.

r is the hyperedgelength.

DONE Maxima functions:

DONE For the Maxima function I propose ramsey([r,[...]]), vanderwaerden([...]) and greentao([...]), while in case of diagonal problems we use vanderwaerdend(m,k) resp. greentaod(m,k) resp. ramseyd(s,r,k) is used.

DONE (no redundancy) Shall we keep the s resp. m? It is redundant except of the diagonal cases.

DONE (no, but special functions for the diagonal cases) We could always write out the diagonal cases? Perhaps this is best.

DONE If only bounds are known, then the return value is a pair consisting of lower and upper bound.

DONE The various generators for hypergraphs and clausesets should be adapted to these new notions:

The order of parameters should be as above.

Keeping, as we have it now, a "2" in the name for the case of k=2 (where then this parameter is no longer used).

n is always appended to the end of the parameter list.

DONE For Latex we introduce macros {s}{r}{...}, {m}{...} and {m}{...}, where for the output "ram_k^r", "vdw_k" and "grt_k" is used.

See the plans on the machinery for providing Ramseynumbers in ComputerAlgebra/RamseyTheory/Lisp/Ramsey/plans/Numbers.hpp.
Definition in file general.hpp.