This example checks whether prolongation behaves as expected.
This example checks whether prolongation behaves as expected