Exact analytical loop closure in proteins using polynomial equations | Synapse