We will attempt to understand the Delta I Equals One Half pattern of the nonleptonic weak decays of the Kaons. The calculation scheme employed is the Strong Coupling Expansion of lattice QCD. Kogut-Susskind fermions are used in the Hamiltonian formalism. We will describe in detail the methods used to expedite this calculation, almost all of which was done by computer algebra.
The final result is very encouraging. Even though an exact interpretation is clouded by the presence of irrelevant operators, a distinct signal of the Delta I Equals One Half is observed. With an appropriate choice of the one free parameter, enhancements as great as those observed experimentally can be obtained along with a qualitative prediction for the relative magnitudes of the CP violating phases.
We also point out a number of surprising results which we turn up in the course of the calculation. The computer methods employed are briefly described.