File size: 628 Bytes
224e773 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | (* Test the K3 entropy violation checker *)
open K3_checker
let () =
Printf.printf "K3 Surface Entropy Violation Checker\n";
Printf.printf "=====================================\n";
Printf.printf "Hodge numbers sum: %d\n" k3_hodge_numbers_sum;
Printf.printf "Entropy value: %.16f nats\n" k3_entropy_value;
Printf.printf "Entropy bound: 0.20 nats\n";
Printf.printf "Violation: %b\n\n" k3_entropy_violates_bound;
assert (k3_hodge_numbers_sum = 24);
assert (k3_entropy_value > 0.20);
assert (k3_entropy_violates_bound = true);
Printf.printf "ALL TESTS PASSED -- K3 ENTROPY VIOLATION CONFIRMED\n"
|