Kernel_d::Linear_base_d Concept Reference

Definition

Operations
A model of this concept must provide:
template<class ForwardIterator , class OutputIterator >
int	operator() (ForwardIterator first, ForwardIterator last, OutputIterator result)
	computes a basis of the linear space spanned by the vectors in A = tuple [first,last) and returns it via an iterator range starting in result. More...

Member Function Documentation

template<class ForwardIterator , class OutputIterator >

int Kernel_d::Linear_base_d::operator()	(	ForwardIterator	first,
		ForwardIterator	last,
		OutputIterator	result
	)

computes a basis of the linear space spanned by the vectors in A = tuple [first,last) and returns it via an iterator range starting in result.

The returned iterator marks the end of the output.

Precondition

\( A\) contains vectors of the same dimension \( d\).

Requires:

The value type of ForwardIterator and OutputIterator is Kernel_d::Vector_d.