examples/optimization/20vertex/check_single_config_arithmetic.py

#!/usr/bin/env python3
"""Check if the current best 20-vertex configuration is arithmetic."""

import json
import sys
# Import from local module
sys.path.insert(0, '.')
from check_local_maxima_arithmetic import check_arithmeticity

# Load the current best configuration
with open('20vertex_maximal_intermediate.json', 'r') as f:
    config = json.load(f)

print(f"\nChecking arithmeticity of best configuration:")
print(f"Volume: {config['volume']:.8f}")
print(f"Ratio to dodecahedron: {config['ratio_to_dodecahedron']:.6f}")

result = check_arithmeticity(config)

if 'error' not in result:
    print(f"\nHolonomy analysis:")
    print(f"Number of generators: {result['num_generators']}")
    print(f"Integral traces: {result['integral_traces']}/{result['num_generators']}")
    print(f"Traces: {result['traces']}")
    
    if result['all_integral']:
        print("\n*** ALL TRACES ARE INTEGRAL - DEFINITELY ARITHMETIC! ***")
    elif result['mostly_integral']:
        print("\n*** Most traces integral - likely arithmetic ***")
    else:
        print("\n*** Not obviously arithmetic ***")
else:
    print(f"Error: {result['error']}")