prod_impl()

template<Rank ra, Rank rb, Rank... nums>

STensor syten::STensorImpl::prod_impl	(	SourceLocation const &	loc,
		STensorProxy const &	a,
		STensorProxy const &	b,
		std::index_sequence< nums... >	= {}
	)

Helper for STensor-STensor products.

Obtains the input tensor ranks as template parameters from prod(). It then matches the bases of the input tensors and eventually calls prod_impl_impl via the pack expansion idiom to match the number of contracted indices also as a template parameter.