Mackey  V3.3
A C++ library for computing RO(G) graded homology
BC4S2< group_t > Class Template Reference

The space \(B_{C_4}\Sigma_2\) up to given dimension. More...

#include <BC4S2.hpp>

Inheritance diagram for BC4S2< group_t >:
[legend]
Collaboration diagram for BC4S2< group_t >:
[legend]

Public Member Functions

 BC4S2 (int dimension)
 Constructs BC4S2 as a cellular equivariant space up to given dimension. More...
 
- Public Member Functions inherited from Space< BC4S2< group_t >, group_t >
const auto & getChains ()
 Returns const reference to the equivariant cellular chain complex of the space. More...
 
const auto & getCoChains ()
 Returns const reference to the equivariant cellular cochain complex of the space. More...
 
auto ROHomology (int level, const std::vector< int > &homologysphere)
 Returns \(H_{*+V}^{C_{2^n}}(X)\) where \(l\)=level and \(V\)=homologysphere are provided. More...
 
auto ROHomology (const std::vector< int > &homologysphere)
 Returns \(H_{*+V}(X)\) where \(V\)=homologysphere is provided. More...
 
auto ROCohomology (int level, const std::vector< int > &cohomologysphere)
 Returns \(H^{*+V}_{C_{2^n}}(X)\) where \(n\)=level and \(V\)=cohomologysphere are provided. More...
 
auto ROCohomology (const std::vector< int > &cohomologysphere)
 Returns \(H^{*+V}(X)\) where \(V\)=cohomologysphere is provided. More...
 

Friends

class Space< BC4S2< group_t >, group_t >
 Befriending parent class. More...
 

Additional Inherited Members

- Protected Member Functions inherited from Space< BC4S2< group_t >, group_t >
equivariant_index convert (nonequivariant_index n, int dimension) const
 Converts nonequivariant index to equivariant one given dimension. More...
 
nonequivariant_index convert (equivariant_index e, int dimension) const
 Converts equivariant index to nonequivariant one given cell. More...
 
auto boundary (int dimension_domain, equivariant_index cell)
 The boundary map of each cell. More...
 
int64_t estimate_nonzero_entries (int dimension_domain)
 An estimate of the nonzero entries of the differential matrix at the given dimension. Must be overriden in any child class! More...
 
nonequivariant_index action (nonequivariant_index n, int dimension) const
 Produces g*n given cell n. More...
 
- Protected Attributes inherited from Space< BC4S2< group_t >, group_t >
std::vector< rank_t > cells
 The equivariant cells in each dimension. Needs to be constructed in any child class! More...
 

Detailed Description

template<typename group_t>
class mackey::BC4S2< group_t >

The space \(B_{C_4}\Sigma_2\) up to given dimension.

Attention
Currently the differentials are only supported for \(\mathbf Z/2\) coefficients

Constructor & Destructor Documentation

◆ BC4S2()

BC4S2 ( int  dimension)

Constructs BC4S2 as a cellular equivariant space up to given dimension.

Attention
The dimension must not be 2 mod 4

Friends And Related Function Documentation

◆ Space< BC4S2< group_t >, group_t >

friend class Space< BC4S2< group_t >, group_t >
friend

Befriending parent class.


The documentation for this class was generated from the following file: