Now computes the first invariant n_edges as a test/example case