From 196fce185446ccace8deacf23ac4344687e4d21f Mon Sep 17 00:00:00 2001 From: maier Date: Tue, 4 Dec 2012 22:46:55 +0000 Subject: [PATCH] Add a test for GeometryInfo::face_to_cell_vertices and face_to_cell_lines git-svn-id: https://svn.dealii.org/trunk@27758 0785d39b-7218-0410-832d-ea1e28bc413d --- tests/base/geometry_info_8.cc | 93 ++++++ tests/base/geometry_info_8/cmp/generic | 385 +++++++++++++++++++++++++ 2 files changed, 478 insertions(+) create mode 100644 tests/base/geometry_info_8.cc create mode 100644 tests/base/geometry_info_8/cmp/generic diff --git a/tests/base/geometry_info_8.cc b/tests/base/geometry_info_8.cc new file mode 100644 index 0000000000..6b7fcc04ba --- /dev/null +++ b/tests/base/geometry_info_8.cc @@ -0,0 +1,93 @@ +#include "../tests.h" +#include +#include + +#include + +#include + +using namespace dealii; + +// +// Test GeometryInfo::face_to_cell_vertices +// for correct behaviour under face_orientation face_flip and face_rotation +// + + +template +void test_vertices() +{ + deallog << dim << "D:" << std::endl; + + for(unsigned int i = 0; i < GeometryInfo::faces_per_cell; ++i) { + + deallog << "face " << i << ":" << std::endl; + + for(unsigned int o = 0; o < 8; ++o) { + const std::bitset<3> orientation = o; + + deallog << "orientation " << orientation[0] + << ", flip " << orientation[1] + << ", rotation " << orientation[2] + << ":" << std::endl << " "; + + for(unsigned int j = 0; j < GeometryInfo::vertices_per_face; ++j) { + deallog << " (" << j << " -> " + << GeometryInfo::face_to_cell_vertices(i, j, orientation[0], orientation[1], orientation[2]) + << " )"; + } + deallog << std::endl; + } + } +} + + +template +void test_lines() +{ + deallog << dim << "D:" << std::endl; + + for(unsigned int i = 0; i < GeometryInfo::faces_per_cell; ++i) { + + deallog << "face " << i << ":" << std::endl; + + for(unsigned int o = 0; o < 8; ++o) { + const std::bitset<3> orientation = o; + + deallog << "orientation " << orientation[0] + << ", flip " << orientation[1] + << ", rotation " << orientation[2] + << ":" << std::endl << " "; + + for(unsigned int j = 0; j < GeometryInfo::lines_per_face; ++j) { + deallog << " (" << j << " -> " + << GeometryInfo::face_to_cell_lines(i, j, orientation[0], orientation[1], orientation[2]) + << " )"; + } + deallog << std::endl; + } + } +} + + +int main() +{ + std::ofstream logfile("geometry_info_8/output"); + deallog.attach(logfile); + deallog.depth_console(0); + deallog.threshold_double(1.e-10); + + deallog << std::endl << "GeometryInfo::face_to_cell_vertices:" << std::endl; + + test_vertices<1>(); + test_vertices<2>(); + test_vertices<3>(); + + deallog << std::endl << std::endl << "GeometryInfo::face_to_cell_lines:" << std::endl; + + test_lines<2>(); + test_lines<3>(); + + return 0; +} + diff --git a/tests/base/geometry_info_8/cmp/generic b/tests/base/geometry_info_8/cmp/generic new file mode 100644 index 0000000000..6fb781cb36 --- /dev/null +++ b/tests/base/geometry_info_8/cmp/generic @@ -0,0 +1,385 @@ + +DEAL:: +DEAL::GeometryInfo::face_to_cell_vertices: +DEAL::1D: +DEAL::face 0: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::face 1: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::2D: +DEAL::face 0: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 2 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 2 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 2 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 2 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 0 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 0 ) +DEAL::face 1: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 3 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 3 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 1 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 1 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 3 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 3 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 1 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 1 ) +DEAL::face 2: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 1 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 1 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 1 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 1 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 0 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 0 ) +DEAL::face 3: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 3 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 3 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 2 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 2 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 3 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 3 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 2 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 2 ) +DEAL::3D: +DEAL::face 0: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 4 ) (2 -> 2 ) (3 -> 6 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 2 ) (2 -> 4 ) (3 -> 6 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 6 ) (1 -> 2 ) (2 -> 4 ) (3 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 6 ) (1 -> 4 ) (2 -> 2 ) (3 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 6 ) (2 -> 0 ) (3 -> 2 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 6 ) (2 -> 0 ) (3 -> 4 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 0 ) (2 -> 6 ) (3 -> 4 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 0 ) (2 -> 6 ) (3 -> 2 ) +DEAL::face 1: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 5 ) (2 -> 3 ) (3 -> 7 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 3 ) (2 -> 5 ) (3 -> 7 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 3 ) (2 -> 5 ) (3 -> 1 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 5 ) (2 -> 3 ) (3 -> 1 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 7 ) (2 -> 1 ) (3 -> 3 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 7 ) (2 -> 1 ) (3 -> 5 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 1 ) (2 -> 7 ) (3 -> 5 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 1 ) (2 -> 7 ) (3 -> 3 ) +DEAL::face 2: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 1 ) (2 -> 4 ) (3 -> 5 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 4 ) (2 -> 1 ) (3 -> 5 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 5 ) (1 -> 4 ) (2 -> 1 ) (3 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 5 ) (1 -> 1 ) (2 -> 4 ) (3 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 5 ) (2 -> 0 ) (3 -> 4 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 5 ) (2 -> 0 ) (3 -> 1 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 0 ) (2 -> 5 ) (3 -> 1 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 0 ) (2 -> 5 ) (3 -> 4 ) +DEAL::face 3: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 3 ) (2 -> 6 ) (3 -> 7 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 6 ) (2 -> 3 ) (3 -> 7 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 6 ) (2 -> 3 ) (3 -> 2 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 3 ) (2 -> 6 ) (3 -> 2 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 7 ) (2 -> 2 ) (3 -> 6 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 7 ) (2 -> 2 ) (3 -> 3 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 2 ) (2 -> 7 ) (3 -> 3 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 2 ) (2 -> 7 ) (3 -> 6 ) +DEAL::face 4: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 2 ) (2 -> 1 ) (3 -> 3 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 1 ) (2 -> 2 ) (3 -> 3 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 1 ) (2 -> 2 ) (3 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 2 ) (2 -> 1 ) (3 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 3 ) (2 -> 0 ) (3 -> 1 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 3 ) (2 -> 0 ) (3 -> 2 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 0 ) (2 -> 3 ) (3 -> 2 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 0 ) (2 -> 3 ) (3 -> 1 ) +DEAL::face 5: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 4 ) (1 -> 6 ) (2 -> 5 ) (3 -> 7 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 4 ) (1 -> 5 ) (2 -> 6 ) (3 -> 7 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 5 ) (2 -> 6 ) (3 -> 4 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 6 ) (2 -> 5 ) (3 -> 4 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 7 ) (2 -> 4 ) (3 -> 5 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 7 ) (2 -> 4 ) (3 -> 6 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 4 ) (2 -> 7 ) (3 -> 6 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 4 ) (2 -> 7 ) (3 -> 5 ) +DEAL:: +DEAL:: +DEAL::GeometryInfo::face_to_cell_lines: +DEAL::2D: +DEAL::face 0: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 0 ) +DEAL::face 1: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 1 ) +DEAL::face 2: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 2 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 2 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 2 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 2 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 2 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 2 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 2 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 2 ) +DEAL::face 3: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 3 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 3 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 3 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 3 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 3 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 3 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 3 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 3 ) +DEAL::3D: +DEAL::face 0: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 4 ) (2 -> 8 ) (3 -> 10 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 8 ) (1 -> 10 ) (2 -> 0 ) (3 -> 4 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 4 ) (1 -> 0 ) (2 -> 10 ) (3 -> 8 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 10 ) (1 -> 8 ) (2 -> 4 ) (3 -> 0 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 8 ) (1 -> 10 ) (2 -> 4 ) (3 -> 0 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 4 ) (2 -> 10 ) (3 -> 8 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 10 ) (1 -> 8 ) (2 -> 0 ) (3 -> 4 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 0 ) (2 -> 8 ) (3 -> 10 ) +DEAL::face 1: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 5 ) (2 -> 9 ) (3 -> 11 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 9 ) (1 -> 11 ) (2 -> 1 ) (3 -> 5 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 5 ) (1 -> 1 ) (2 -> 11 ) (3 -> 9 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 11 ) (1 -> 9 ) (2 -> 5 ) (3 -> 1 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 9 ) (1 -> 11 ) (2 -> 5 ) (3 -> 1 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 5 ) (2 -> 11 ) (3 -> 9 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 11 ) (1 -> 9 ) (2 -> 1 ) (3 -> 5 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 1 ) (2 -> 9 ) (3 -> 11 ) +DEAL::face 2: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 8 ) (1 -> 9 ) (2 -> 2 ) (3 -> 6 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 6 ) (2 -> 8 ) (3 -> 9 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 9 ) (1 -> 8 ) (2 -> 6 ) (3 -> 2 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 6 ) (1 -> 2 ) (2 -> 9 ) (3 -> 8 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 6 ) (2 -> 9 ) (3 -> 8 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 8 ) (1 -> 9 ) (2 -> 6 ) (3 -> 2 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 2 ) (2 -> 8 ) (3 -> 9 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 9 ) (1 -> 8 ) (2 -> 2 ) (3 -> 6 ) +DEAL::face 3: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 10 ) (1 -> 11 ) (2 -> 3 ) (3 -> 7 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 7 ) (2 -> 10 ) (3 -> 11 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 11 ) (1 -> 10 ) (2 -> 7 ) (3 -> 3 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 3 ) (2 -> 11 ) (3 -> 10 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 7 ) (2 -> 11 ) (3 -> 10 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 10 ) (1 -> 11 ) (2 -> 7 ) (3 -> 3 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 7 ) (1 -> 3 ) (2 -> 10 ) (3 -> 11 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 11 ) (1 -> 10 ) (2 -> 3 ) (3 -> 7 ) +DEAL::face 4: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 2 ) (1 -> 3 ) (2 -> 0 ) (3 -> 1 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 0 ) (1 -> 1 ) (2 -> 2 ) (3 -> 3 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 3 ) (1 -> 2 ) (2 -> 1 ) (3 -> 0 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 1 ) (1 -> 0 ) (2 -> 3 ) (3 -> 2 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 0 ) (1 -> 1 ) (2 -> 3 ) (3 -> 2 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 2 ) (1 -> 3 ) (2 -> 1 ) (3 -> 0 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 1 ) (1 -> 0 ) (2 -> 2 ) (3 -> 3 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 3 ) (1 -> 2 ) (2 -> 0 ) (3 -> 1 ) +DEAL::face 5: +DEAL::orientation 0, flip 0, rotation 0: +DEAL:: (0 -> 6 ) (1 -> 7 ) (2 -> 4 ) (3 -> 5 ) +DEAL::orientation 1, flip 0, rotation 0: +DEAL:: (0 -> 4 ) (1 -> 5 ) (2 -> 6 ) (3 -> 7 ) +DEAL::orientation 0, flip 1, rotation 0: +DEAL:: (0 -> 7 ) (1 -> 6 ) (2 -> 5 ) (3 -> 4 ) +DEAL::orientation 1, flip 1, rotation 0: +DEAL:: (0 -> 5 ) (1 -> 4 ) (2 -> 7 ) (3 -> 6 ) +DEAL::orientation 0, flip 0, rotation 1: +DEAL:: (0 -> 4 ) (1 -> 5 ) (2 -> 7 ) (3 -> 6 ) +DEAL::orientation 1, flip 0, rotation 1: +DEAL:: (0 -> 6 ) (1 -> 7 ) (2 -> 5 ) (3 -> 4 ) +DEAL::orientation 0, flip 1, rotation 1: +DEAL:: (0 -> 5 ) (1 -> 4 ) (2 -> 6 ) (3 -> 7 ) +DEAL::orientation 1, flip 1, rotation 1: +DEAL:: (0 -> 7 ) (1 -> 6 ) (2 -> 4 ) (3 -> 5 ) -- 2.39.5