uni20/block__tensor__space__traits_8hpp_source.html

#pragma once


#include <uni20/symmetry/block_space.hpp>

#include <uni20/symmetry/dense_space.hpp>

#include <uni20/symmetry/dual_space.hpp>

#include <uni20/symmetry/irregular_space.hpp>

#include <uni20/symmetry/local_space.hpp>

#include <uni20/symmetry/qnum_space.hpp>


#include <concepts>

#include <type_traits>


namespace uni20

{


template <class SpaceType> struct BlockTensorSpaceTraits;


template <> struct BlockTensorSpaceTraits<LocalSpace>

{

    static constexpr bool has_block_coordinate = true;

    static constexpr bool has_dense_axis = false;

};


template <> struct BlockTensorSpaceTraits<QNumSpace>

{

    static constexpr bool has_block_coordinate = false;

    static constexpr bool has_dense_axis = false;

};


template <> struct BlockTensorSpaceTraits<BlockSpace>

{

    static constexpr bool has_block_coordinate = true;

    static constexpr bool has_dense_axis = true;

};


template <> struct BlockTensorSpaceTraits<IrregularSpace>

{

    static constexpr bool has_block_coordinate = true;

    static constexpr bool has_dense_axis = true;

};


template <> struct BlockTensorSpaceTraits<DenseSpace>

{

    static constexpr bool has_block_coordinate = false;

    static constexpr bool has_dense_axis = true;

};


template <Space SpaceType> struct BlockTensorSpaceTraits<Dual<SpaceType>> : BlockTensorSpaceTraits<SpaceType>

{};


template <class SpaceType>


concept BlockTensorSpace = Space<std::remove_cvref_t<SpaceType>> && requires {

  { BlockTensorSpaceTraits<std::remove_cvref_t<SpaceType>>::has_block_coordinate } -> std::convertible_to<bool>;

  { BlockTensorSpaceTraits<std::remove_cvref_t<SpaceType>>::has_dense_axis } -> std::convertible_to<bool>;

};


static_assert(BlockTensorSpace<LocalSpace>);

static_assert(BlockTensorSpace<QNumSpace>);

static_assert(BlockTensorSpace<BlockSpace>);

static_assert(BlockTensorSpace<IrregularSpace>);

static_assert(BlockTensorSpace<DenseSpace>);


} // namespace uni20

block_space.hpp
Defines immutable block-structured tensor spaces and regularization helpers.

uni20::BlockSpace
Immutable coalesced tensor space represented as unique symmetry blocks.
Definition block_space.hpp:38

uni20::DenseSpace
Symmetry-neutral dense tensor space with one fixed extent.
Definition dense_space.hpp:21

uni20::Dual
Tensor space represented in an explicitly dual basis.
Definition dual_space.hpp:89

uni20::IrregularSpace
Ordered block space whose quantum-number sectors may repeat.
Definition irregular_space.hpp:30

uni20::LocalSpace
Ordered local-state space whose quantum numbers may repeat.
Definition local_space.hpp:28

uni20::QNumSpace
Tensor space carrying one irreducible-representation label.
Definition qnum_space.hpp:20

uni20::BlockTensorSpace
Tensor space with an explicit block-coordinate/dense-axis classification.
Definition block_tensor_space_traits.hpp:71

uni20::Space
Tensor-space value with a mutable semantic leg label.
Definition space.hpp:22

dense_space.hpp
Defines symmetry-neutral dense tensor spaces.

dual_space.hpp
Defines the generic categorical dual-space adaptor.

irregular_space.hpp
Defines immutable ordered block spaces with repeated sectors.

local_space.hpp
Defines immutable ordered local-state spaces.

uni20
Definition async/async.hpp:26

qnum_space.hpp
Defines single-irrep tensor spaces.

uni20::BlockTensorSpaceTraits
Compile-time storage properties of one BlockTensor boundary space.
Definition block_tensor_space_traits.hpp:27