Levels.hpp File Reference

Contains the methods for transfering, restricting and Weyl-group-acting. More...

#include "Homology/Homology.hpp"
#include "impl/Levels.ipp"

Include dependency graph for Levels.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Levels< T, group_t >
	Storage of various levels of Junction/Chains. More...

Namespaces
	mackey
	Everything in this library is under this namespace.

Functions
template<typename group_t >
auto	transfer (const typename group_t::rank_t &, int)
	Transfer the rank to given level. More...
template<typename group_t >
auto	transfer (const typename group_t::diff_t &diff, const typename group_t::rank_t &domain, typename group_t::rank_t &domain_top, const typename group_t::rank_t &range, typename group_t::rank_t &range_top, int level)
	Transfer the differential to given level. We need the ranks both at the original level and the given level, for both domain and range. More...
template<typename group_t >
chains_t< group_t >	transfer (const chains_t< group_t > &C, int level)
template<typename group_t >
junction_t< group_t >	transfer (const junction_t< group_t > &J, int level)
	Transfer Junction to the desired level. More...
template<typename group_t , typename Derived >
Derived	transfer (const Eigen::MatrixBase< Derived > &generator, const typename group_t::rank_t &domain, const typename group_t::rank_t &range)
	Transfer generator to level given the ranks at the original level (domain) and the target level (range). More...
template<typename rank_t , typename Derived >
Derived	restriction (const Eigen::MatrixBase< Derived > &generator, const rank_t &domain, const rank_t &range)
	Restrict generator to level given the ranks at the original level (domain) and the target level (range). More...
template<typename rank_t , typename Derived >
Derived	action (const Eigen::MatrixBase< Derived > &generator, const rank_t &rank)
	Compute the act group action on a generator given the rank of the group it lives in. More...
template<typename rank_t , typename T >
T	invRes (const T &generator, const rank_t &domain, const rank_t &range)
template<typename group_t >
dense_t< typename group_t::rank_t >	transfer (const Homology< typename group_t::rank_t, typename group_t::diff_t > &low, const Homology< typename group_t::rank_t, typename group_t::diff_t > &high, const typename group_t::rank_t &rank_low, const typename group_t::rank_t &rank_high)
	Writing the transfer of each generator in terms of the generators in the image. More...
template<typename group_t >
dense_t< typename group_t::rank_t >	restriction (const Homology< typename group_t::rank_t, typename group_t::diff_t > &high, const Homology< typename group_t::rank_t, typename group_t::diff_t > &low, const typename group_t::rank_t &rank_high, const typename group_t::rank_t &rank_low)
	Writing the restriction of each generator in terms of the generators in the image. More...
template<typename group_t >
dense_t< typename group_t::rank_t >	action (const Homology< typename group_t::rank_t, typename group_t::diff_t > &H, const typename group_t::rank_t &rank)
	Writing the act group action on each generator in terms of the other generators. More...

Detailed Description

Contains the methods for transfering, restricting and Weyl-group-acting.