build polymake objects from xml #3
Description
When loading an object from the database we should first construct an xml tree and then read this into polymake.
{{ message }}
When loading an object from the database we should first construct an xml tree and then read this into polymake.