Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:data [2017/07/24 22:21] – [Handling arbitrary files] fixed a bug oroehrig | user_guide:howto:data [2019/01/29 21:46] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 8: | Line 8: | ||
To store polymake objects use the command | To store polymake objects use the command | ||
> save($p," | > save($p," | ||
+ | This silently overwrites existing files. | ||
+ | | ||
polymake objects that are stored in polymake' | polymake objects that are stored in polymake' | ||
> $p=load(" | > $p=load(" | ||
- | If you did not start '' | + | If you did not start '' |
$p=load(" | $p=load(" | ||
+ | TAB completion like in a usual UNIX shell supports you in navigating through the file system. | ||
+ | |||
+ | |||
**Note:** If you load a polymake object and compute new properties, these properties will automatically be added to the original XML-file at the end of the session. You can suppress this with the command | **Note:** If you load a polymake object and compute new properties, these properties will automatically be added to the original XML-file at the end of the session. You can suppress this with the command | ||
> $p-> | > $p-> | ||
- | called prior to leaving the session (but after the last compuation | + | called prior to leaving the session (but after the last computation |
===== Handling complex data types ===== | ===== Handling complex data types ===== | ||
- | It is also possible to store complex | + | Apart from the full objects, you can also persistently |
> $s=new Set< | > $s=new Set< | ||
- | > save_data($s," | + | > save_data($s, |
+ | The description text is optional; it can be an arbitrary text, even stretching over several lines. | ||
To load such files just type | To load such files just type | ||
> $s=load_data(" | > $s=load_data(" | ||
+ | ===== Saving visualized objects ===== | ||
+ | Furthermore, | ||
+ | |||
+ | To save the cube visualized via JReality in a new file called '' | ||
+ | < | ||
+ | To save the cube as a TiKz file named '' | ||
+ | < | ||
===== Handling arbitrary files ===== | ===== Handling arbitrary files ===== |