Classes
class	combiner
	[int_group_under_addition_and_negation] More...

class	int_group_under_addition_and_negation
	[trivial] More...

class	trivial
	[trivial] More...

Functions
template<class Algebra >
Algebra::value_type	subtract (typename Algebra::value_type x, typename Algebra::value_type y)
	[combiner] More...

Function Documentation

template<class Algebra >

Algebra::value_type pasl::data::algebra::subtract	(	typename Algebra::value_type	x,
		typename Algebra::value_type	y
	)

subtract

Subtraction operator

Precondition: the algebra defines an inverse operator (i.e., Algebra::has_inverse == true)

Template Parameters

Algebra an algebra

Returns combine(x, inverse(y)).

Definition at line 148 of file algebra.hpp.

Classes