OKlibrary  0.2.1.6
Numbers.mac File Reference

Handling of van der Waerden numbers. More...

Go to the source code of this file.


Detailed Description

Handling of van der Waerden numbers.

Use by

oklib_load("OKlib/ComputerAlgebra/RamseyTheory/Lisp/VanderWaerden/Numbers.mac");

Definition in file Numbers.mac.