environment = {'python': '3.13.5', 'sympy': '1.14.0'}
data_basis = Declared H3(CD-split), diagonal adjoint and unit sphere.
Peirce.dimensions = (3, 8, 8, 8)
Peirce.diagonal_L_eigenvalues_multiplicities = [(a, 1), (b, 1), (c, 1), (a/2 + b/2, 8), (a/2 + c/2, 8), (b/2 + c/2, 8)]
Peirce.same_block_product_checks = 192
Peirce.cross_block_support_checks = 192
diagonal.adjoint = (b*c, a*c, a*b)
diagonal.double_adjoint_identity = True
Roman.quartic_pullback = x**2*y**2*z**2*(x**2 + y**2 + z**2 - 1)
Roman.antipodal_identity = True
Roman.quartic_axis_counterexample = 0
Roman.unit_sphere_axis_endpoint_bound = 1/2
Roman.permutation_equivariance_checks = 6
Roman.pinch_preimages = 12
Roman.pinch_images = [(-1/2, 0, 0), (0, -1/2, 0), (0, 0, -1/2), (0, 0, 1/2), (0, 1/2, 0), (1/2, 0, 0)]
Roman.distinct_projective_fibre_witness = ((0, 3/5, 4/5), (0, 4/5, 3/5), (12/25, 0, 0))
Roman.witness_tangent_rank = 2
golden.norm_squared = 4
golden.adjoint = [-1/2 + sqrt(5)/2, 1, 1/2 + sqrt(5)/2]
golden.unit_sphere_image = [-1/8 + sqrt(5)/8, 1/4, 1/8 + sqrt(5)/8]
golden.unit_sphere_image_equals_adjoint_over4 = True
spinor_bundle_identification = NOT VERIFIED; no such map is constructed.