OKlibrary  0.2.1.6
Hindman.mac File Reference

Tests for hypergraph generators related to Hindman's theorem. More...

Go to the source code of this file.


Detailed Description

Tests for hypergraph generators related to Hindman's theorem.

Use by

oklib_load("OKlib/ComputerAlgebra/Hypergraphs/Lisp/Generators/tests/Hindman.mac");

Definition in file Hindman.mac.