Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
user_guide:properties [2019/02/10 12:57] – typeof is now ->type->full_name oroehrig | user_guide:tutorials:properties [2019/02/11 16:24] – ↷ Links adapted because of a move operation oroehrig | ||
---|---|---|---|
Line 8: | Line 8: | ||
</ | </ | ||
- | To get a more detailed explanation of the '' | + | To get a more detailed explanation of the '' |
- | You can save polymake objects to disc, as explained [[.howto: | + | You can save polymake objects to disc, as explained [[..:howto: |
==== Properties ==== | ==== Properties ==== | ||
Line 128: | Line 128: | ||
As you can see, the things '' | As you can see, the things '' | ||
- | If you're interested, read more about rule scheduling in the [[.howto: | + | If you're interested, read more about rule scheduling in the [[..:howto: |