Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
user_guide:properties [2019/02/10 12:56] – [Objects] oroehrig | user_guide:properties [2019/02/10 12:57] – typeof is now ->type->full_name oroehrig | ||
---|---|---|---|
Line 101: | Line 101: | ||
What properties //can// be computed for a given object depends on the set of rules defined for it. Here is a short sequence of commands which lets you find out. | What properties //can// be computed for a given object depends on the set of rules defined for it. Here is a short sequence of commands which lets you find out. | ||
< | < | ||
- | polytope> | + | polytope> |
polytope> | polytope> | ||
</ | </ |