Use of Grobner Bases to Prove Nonrecoverability of Networks in Special Cases

Justin Sinz

In this report we outline the basic theory behind the use of Grobner
bases in the solution of nonlinear systems of equations.  We then
describe a specific instance of their use; namely, in the case of a
layered annular network.

1. Grobner Bases
2. The Main Problem
3. The Entries
4. First Attempt at a Counterexample
5. The Death of Maple
6. The use of Eigenvalues and Eigenvectors
7. Conclusions