Defining geometry with a high level language