atlas
0.6
|
#include <Atlas.h>
Public Member Functions | |
Subquotient () | |
Subquotient (size_t n) | |
Subquotient (const BitVectorList< dim > &bsp, const BitVectorList< dim > &bsub, size_t n) | |
constructs the subquotient where |bsp| generates the space, |bsub| the subspace. More... | |
size_t | dimension () const |
size_t | rank () const |
const Subspace< dim > & | space () const |
const Subspace< dim > & | denominator () const |
const BitSet< dim > & | support () const |
const BitVectorList< dim > | basis () const |
unsigned long | size () const |
void | mod_reduce (BitVector< dim > &w) const |
BitVector< dim > | mod_image (const BitVector< dim > &w) const |
BitSet< dim > | significantBits () const |
BitVector< dim > | toBasis (const BitVector< dim > &v) const |
BitVector< dim > | fromBasis (BitVector< dim > v) const |
void | apply (const BitMatrix< dim > &) |
Apply matrix |r| to both spaces in the subquotient. More... | |
void | swap (Subquotient &) |
Private Attributes | |
Subspace< dim > | d_space |
Subspace< dim > | d_subspace |
BitSet< dim > | d_rel_support |
|
inline |
|
inlineexplicit |
atlas::subquotient::Subquotient< dim >::Subquotient | ( | const BitVectorList< dim > & | bsp, |
const BitVectorList< dim > & | bsub, | ||
size_t | n | ||
) |
constructs the subquotient where |bsp| generates the space, |bsub| the subspace.
void atlas::subquotient::Subquotient< dim >::apply | ( | const BitMatrix< dim > & | r | ) |
Apply matrix |r| to both spaces in the subquotient.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
void atlas::subquotient::Subquotient< dim >::swap | ( | Subquotient< dim > & | source | ) |
|
inline |
|
private |
|
private |
|
private |