import java.applet.Applet; import java.awt.*; import java.awt.event.*; import java.applet.*; import java.awt.geom.*; import java.math.*; public class DocumentChains { Manager M; public DocumentChains(Manager MM) { this.M=MM; } public void chainInfo() { String S="chain selector"; S=S+"\n\nAn A-atom is a maximal convex polygon contained inside the A-renorm set on which the first returm map to the A-renorm set is entirely defined. An A-chain is the orbit of an A-atom, at least up until the orbit returns to the A-renorm set. The A-chains are thus in 1-1 correspondence with the A-atoms."; S=S+"\n\nThis control panel cluster lets you select an A-chain. There are a total of 2034 A-chains. 1017 of them lie in the bottom half of the 3-torus, and these are the ones you can select. The other half of the chains are related to the first half by symmetry."; S=S+"\n\nThe 1017 chains are distributed into 9 layers, and each layer has 4 branches. A layer is a subset of the torus contained between two horizontal plane, and in each layer the 4 branches are the 4 convex polyhedra comprising the A renorm set."; S=S+"\n\nThe chain selector has 2 modes."; S=S+"\n\n1. If you select a layer and a branch, you use the arrow keys to select a chain within the selected level and branch. This mode is used in connection with drawing the arithmetic graphs of individual chains."; S=S+"\n\n2. If you select several layers and/or branches, you are not able to specify a single chain. This mode is used in connection with the rigorous proof functions, where we want to verify something about all the chains at the same time. In this mode, the chain selector lets you run parts of the proofs at a time, because the whole calculations are sometimes quite long."; M.D.setExplain(S); M.D.repaint(); } }