|
Sequoia
|
Public Types | |
| using | set_type = sets::classical::differences< typename Space::set_type > |
| using | commutative_ring_type = Space::representation_type |
| using | is_free_module = std::true_type |
| using | arena_type = Space::arena_type |
Static Public Attributes | |
| static constexpr std::size_t | dimension {Space::dimension} |