Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
user_guide:lingo [2019/01/29 21:46] – external edit 127.0.0.1 | user_guide:lingo [2019/02/28 11:46] (current) – this is explained in the intro tut, the objects tut, and the extension page. oroehrig | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== polymake Lingo ====== | ||
- | This page wants to explain common terminology which is used throughout the documentation. | ||
- | |||
- | ===== Application ===== | ||
- | |||
- | An application is a bunch of things which belong together mathematically. | ||
- | |||
- | The prompt in the polymake shell lists the currently active application. | ||
- | |||
- | Within the source code an application is visible as the top level subdirectory " | ||
- | |||
- | Each application defines a namespace, both in the Perl and the C++ realms. | ||
- | |||
- | Examples are polytope, fan, matroid, fan, fulton, or tropical. | ||
- | |||
- | There is a special application " | ||
- | |||
- | ===== Extension ===== | ||
- | |||
- | An extension is a bunch of things which do not belong to the polymake core. | ||
- | |||
- | An extension may define new applications and/or new big objects to existing applications and/or new rules for existing big objects. | ||
- | |||
- | Some extensions are " | ||
- | |||
- | ===== Big Object ===== | ||
- | |||
- | A big object is an instance of a data type which represents a mathematical concept with clear semantics. | ||
- | |||
- | Big objects are defined in a rule file which is included from apps/ | ||
- | |||
- | Big object types may have template parameters. | ||
- | |||
- | Examples are polytope:: | ||
- | |||
- | In the rulefiles, big object types are simply referred to as [[user_guide: | ||
- | |||
- | Here is an {{ : | ||
- | |||
- | ===== Small Object ===== | ||
- | |||
- | A small object is an instance of one of the many data types commonly used in computer science. | ||
- | |||
- | Small object types are implemented in C++ and may or may not be accessible from the Perl side of polymake. | ||
- | |||
- | Small object types may have template parameters. | ||
- | |||
- | Examples are Array, Set or Map. | ||
- | |||
- | In the rulefiles, small object types are referred to as [[user_guide: |