Merge branch 'main' of https://github.com/errorcorrectionzoo/eczoo_data

Author: valbert4

codes/classical/spherical/polytope/3d/antiprism/antiprism.yml

@@ -0,0 +1,34 @@
+#######################################################
+## This is a code entry in the error correction zoo. ##
+##       https://github.com/errorcorrectionzoo       ##
+#######################################################
+
+code_id: antiprism
+physical: spheres
+logical: reals
+
+name: 'Antiprism code'
+
+description: |
+  Spherical \((3,2q)\) code for \(q \geq 2\) whose codewords are the vertices of a \(q\)-antiprism.
+
+protection: |
+  The antiprism vertices consists of two \(q\)-gon vertices with the \(q\)-gons rotated by \(2\pi/q\) degrees.
+  The relative height and radii of the \(q\)-gons can be modulated while still staying on the sphere.
+  For the case when the two \(q\)-gons are such that the \(q=2,3\) cases reduce to the tetrahedron and octahedron, respectively, the antiprism is a spherical 3-design for \(q \geq 3\), and a \(2\)-design for \(q=2\) \cite{manual:{V. V. Albert, private communication, 2025.}}.
+# transversal 002 - real design test
+
+
+relations:
+  parents:
+    - code_id: polyhedron
+    - code_id: spherical_design
+      detail: 'For the case when the two \(q\)-gons are such that the \(q=2,3\) cases reduce to the tetrahedron and octahedron, respectively, the antiprism is a spherical 3-design for \(q \geq 3\), and a \(2\)-design for \(q=2\) \cite{manual:{V. V. Albert, private communication, 2025.}}.'
+
+
+# Begin Entry Meta Information
+_meta:
+  # Change log - most recent first
+  changelog:
+    - user_id: VictorVAlbert
+      date: '2025-12-09'

…herical/polytope/3d/square_antiprism.yml …lytope/3d/antiprism/square_antiprism.ymlcodes/classical/spherical/polytope/3d/square_antiprism.yml renamed to codes/classical/spherical/polytope/3d/antiprism/square_antiprism.yml codes/classical/spherical/polytope/3d/square_antiprism.yml renamed to codes/classical/spherical/polytope/3d/antiprism/square_antiprism.yml

@@ -10,13 +10,17 @@ logical: reals
 name: 'Square-antiprism code'
 
 description: |
-  Spherical \((3,8,4(4-\sqrt{2})/7)\) code whose codewords are the vertices of the square antiprism.
+  Spherical \((3,8,4(4-\sqrt{2})/7)\) code whose codewords are the vertices of the square antiprism \cite[pg. 72]{preset:EricZin}.
 
-protection: 'Optimal configuration of 8 points in 3D space \cite[pg. 73]{preset:EricZin}.'
+protection: 'Optimal configuration of 8 points in 3D space \cite[pg. 72]{preset:EricZin}.'
 
 relations:
   parents:
-    - code_id: polyhedron
+    - code_id: antiprism
+      detail: 'The antiprism reduces to a square antiprism for \(q=4\).'
+  cousins:
+    - code_id: hypercube
+      detail: 'The square antiprism can be obtained by stretching the cube and twisting the top of the cube by \(45\) degrees \cite[pg. 72]{preset:EricZin}.'
 
 
 # Begin Entry Meta Information

codes/classical/spherical/polytope/infinite/biorthogonal_spherical.yml

@@ -51,6 +51,9 @@ relations:
     # Also in hypercube
     - code_id: binary_antipodal
       detail: 'Each first-order RM\((1,m)\) code maps to a \((2^m,2^{m+1})\) biorthogonal spherical code under the \hyperref[topic:antipodal-mapping]{antipodal mapping} \cite{doi:10.1109/18.720542}\cite[Sec. 6.4]{manual:{Forney, G. D. (2003). 6.451 Principles of Digital Communication II, Spring 2003.}}\cite[pg. 19]{preset:EricZin}. In other words, first-order RM (biorthogonal spherical) codes form orthoplexes in Hamming (Euclidean) space.'
+    - code_id: antiprism
+      detail: 'The antiprism reduces to the octahedron for \(q=3\).'
+
 
 
 # Begin Entry Meta Information

codes/classical/spherical/polytope/infinite/simplex_spherical.yml

@@ -36,6 +36,8 @@ relations:
       detail: 'Vertices of a dodecahedron can be split up into vertices of five tetrahedra, which are simplex spherical codes for \(n=3\) \cite{preset:coxeter}.'
     - code_id: binary_antipodal
       detail: 'Binary simplex codes map to \((2^m,2^m+1)\) simplex spherical codes under the \hyperref[topic:antipodal-mapping]{antipodal mapping} \cite[Sec. 6.5.2]{manual:{Forney, G. D. (2003). 6.451 Principles of Digital Communication II, Spring 2003.}}\cite[pg. 18]{preset:EricZin}. In other words, simplex (simplex spherical) codes form simplices in Hamming (Euclidean) space.'
+    - code_id: antiprism
+      detail: 'The antiprism reduces to the tetrahedron for \(q=2\).'
 
 
 # Begin Entry Meta Information