When loading an object from the database we should first construct an xml tree and then read this into polymake.
When loading an object from the database we should first construct an xml tree and then read this into polymake.