OKlib::Combinatorics::Hypergraphs::Generators Namespace Reference

Hypergraph generators at C++ level. More...

Namespaces
namespace	tests
Classes
class	First_prime_numbers
	Functor for computing the first n prime numbers as a std::vector. More...
class	GreenTao
	Class for creating GreenTao hypergraphs. More...
class	Sizes_strata_indmon
	Given an ordered hypergraph, compute the sizes of the strata given by the maximum element of hyperedges. More...
class	Accumulate_l
	Changes a vector of pairs in-place, replacing the second components by the accumulated sums. More...
class	Hindman_k2
	Functor for creating Hindman hypergraphs with k=2. More...
class	Iterator_arithmetic_progression
	Iterator to iterate through the elements of an arithmetical progression. More...
class	Arithmetic_progression
	An arithmetic progression as a container. More...
class	Arithprog_finish
	Functor which produces the list of arithmetic progressions of length k in {1, ..., n} finishing in n. More...
class	Arithmetical_progressions
	All arithmetical progressions in {1,...,n}, in lexicographical order (in iterator-fashion, without storage) More...
class	Arithmetical_progressions_colex
	All arithmetical progressions in {1,...,n}, in colexicographical order (in iterator-fashion, without storage) More...
class	Pd_arithmetical_progressions
	All palindromised arithmetical progressions in {1,...,n} (in iterator-fashion, without storage) More...
class	Pd_arithprog_ohg
	Functor for creating palindromic vdW-hypergraphs. More...
Functions
template<typename UInt >
First_prime_numbers< UInt > ::range_type	first_prime_numbers (const UInt n)
template<class Vertices , class Hyperedges >
Sizes_strata_indmon< Vertices, Hyperedges >::result_type	sizes_strata_indmon (const Vertices &V, const Hyperedges &H)
template<typename V , typename Num >
void	accumulate_l (std::vector< std::pair< V, Num > > &vector)
template<typename Integer >
bool	operator== (const Iterator_arithmetic_progression< Integer > &lhs, const Iterator_arithmetic_progression< Integer > &rhs)
template<typename Integer >
bool	operator!= (const Iterator_arithmetic_progression< Integer > &lhs, const Iterator_arithmetic_progression< Integer > &rhs)
template<typename UInt >
UInt	nhyp_arithprog_hg (const UInt k, const UInt n)
	Computing the number of arithmetic progressions of length k in {1,...,n}.

---

Detailed Description

Hypergraph generators at C++ level.

Alias "Gen".

---

Function Documentation

template<typename V , typename Num >

void OKlib::Combinatorics::Hypergraphs::Generators::accumulate_l

(

std::vector< std::pair< V, Num > > &

vector

)

[inline]

Definition at line 314 of file GreenTao.hpp.

Referenced by main().

template<typename UInt >

First_prime_numbers<UInt>::range_type OKlib::Combinatorics::Hypergraphs::Generators::first_prime_numbers

(

const UInt

n

)

Definition at line 55 of file GreenTao.hpp.

template<typename UInt >

UInt OKlib::Combinatorics::Hypergraphs::Generators::nhyp_arithprog_hg	(	const UInt	k,
		const UInt	n
	)		[inline]

Computing the number of arithmetic progressions of length k in {1,...,n}.

The Maxima-specification is nhyp_arithprog_ohg(k,n) in ComputerAlgebra/Hypergraphs/Lisp/Generators/VanderWaerden.mac.

Definition at line 197 of file VanderWaerden.hpp.

References q.

template<typename Integer >

bool OKlib::Combinatorics::Hypergraphs::Generators::operator!=	(	const Iterator_arithmetic_progression< Integer > &	lhs,
		const Iterator_arithmetic_progression< Integer > &	rhs
	)		[inline]

Definition at line 63 of file VanderWaerden.hpp.

template<typename Integer >

bool OKlib::Combinatorics::Hypergraphs::Generators::operator==	(	const Iterator_arithmetic_progression< Integer > &	lhs,
		const Iterator_arithmetic_progression< Integer > &	rhs
	)		[inline]

Definition at line 59 of file VanderWaerden.hpp.

template<class Vertices , class Hyperedges >

Sizes_strata_indmon<Vertices, Hyperedges>::result_type OKlib::Combinatorics::Hypergraphs::Generators::sizes_strata_indmon	(	const Vertices &	V,
		const Hyperedges &	H
	)		[inline]

Definition at line 276 of file GreenTao.hpp.