Extended toratopic notation (no ontology)
From Hi.gher. Space
(Difference between revisions)
(created page, including Marek's sphere/torus/tiger series verbatim from forum post) |
(add links) |
||
| Line 6: | Line 6: | ||
#The empty string "" represents the [[point]]. | #The empty string "" represents the [[point]]. | ||
#The string '''I''' represents a pair of points (the "one-dimensional sphere" - all points a fixed distance from the origin in 1D). | #The string '''I''' represents a pair of points (the "one-dimensional sphere" - all points a fixed distance from the origin in 1D). | ||
| - | #Concatenating two expressions into one gives you the Cartesian product of the two original expressions. | + | #Concatenating two expressions into one gives you the [[Cartesian product]] of the two original expressions. |
| - | #Spherating an expression (adding parentheses around it) considers separately two parts of the original expression: | + | #[[Spherating]] an expression (adding parentheses around it) considers separately two parts of the original expression: |
##any groups and their contents, representing a herd X in ''p'' dimensions (where ''p'' is the total number of '''I'''s in X's notation), and | ##any groups and their contents, representing a herd X in ''p'' dimensions (where ''p'' is the total number of '''I'''s in X's notation), and | ||
##any '''I'''s not inside groups, representing ''q'' additional dimensions (where ''q'' is the number of '''I'''s not inside groups). | ##any '''I'''s not inside groups, representing ''q'' additional dimensions (where ''q'' is the number of '''I'''s not inside groups). | ||
| Line 15: | Line 15: | ||
*As above, the empty string is the point. | *As above, the empty string is the point. | ||
*() is the empty set. In addition, any string containing an () is also the empty set (because the Cartesian product of the empty set with anything is the empty set, and the spheration of the empty set into any number of dimensions is also the empty set. | *() is the empty set. In addition, any string containing an () is also the empty set (because the Cartesian product of the empty set with anything is the empty set, and the spheration of the empty set into any number of dimensions is also the empty set. | ||
| - | *Sphere species, (), contains two separated points on a line (I), circle (II), sphere (III), glome (IIII) | + | *Sphere species, (), contains two separated points on a line (I), circle (II), [[sphere]] (III), [[glome]] (IIII), [[pentasphere]] (IIIII) etc. This is a HERBIVORE species that grows nice and fat and falls prey to the beasts. |
| - | *Torus species, (()), contains torus ((II)I), | + | *Torus species, (()), contains [[torus]] ((II)I), [[spheritorus]] ((II)II), [[torisphere]] ((III)I), [[toratesserinder]] ((II)III), [[toracubspherinder]] ((III)II), [[toraglominder]] ((IIII)I) etc. Apart from these, it also contains pairs of spheres ((x)) and ((I)x) and quartet of points ((I)). |
| - | *Tiger species, (()()), contains tiger ((II)(II)), toraduocyldinder ((II)(II)I) | + | *Tiger species, (()()), contains [[tiger]] ((II)(II)), [[toraduocyldinder]] ((II)(II)I), [[cylspherintigroid]] ((III)(II)) etc. As for herds, it contains pairs of toruses like ((II)(I)), and quartets of spheres like ((I)(I)). |
Revision as of 19:37, 5 February 2014
Extended toratopic notation is a notation based on toratopic notation, but extended to allow representing multiple copies of toratopes as well as points and the empty set. The motivation for this notation is to explain how toratopic notation (and toratopes themselves) works more intuitively, and to concisely represent cross-sections (cuts) of toratopes. It was developed by Marek14.[1]
- Definition
- An expression written in extended toratopic notation is an unordered list of zero or more terms, where each term is either an I or a pair of parentheses () containing another expression. Any set of shapes which can be represented by such an expression is called a herd.
As such, in contrast to the traditional toratopic notation, each pair of parentheses may contain only a single term, or even be empty; the whole expression can also be empty. This allows us to stipulate the following rules:
- The empty string "" represents the point.
- The string I represents a pair of points (the "one-dimensional sphere" - all points a fixed distance from the origin in 1D).
- Concatenating two expressions into one gives you the Cartesian product of the two original expressions.
- Spherating an expression (adding parentheses around it) considers separately two parts of the original expression:
- any groups and their contents, representing a herd X in p dimensions (where p is the total number of Is in X's notation), and
- any Is not inside groups, representing q additional dimensions (where q is the number of Is not inside groups).
- X is then spherated into n = p+q dimensions, by replacing each point in X with an n-sphere (by bounding space; i.e. the 2-sphere is the circle and the 1-sphere is a pair of points).
Examples
- As above, the empty string is the point.
- () is the empty set. In addition, any string containing an () is also the empty set (because the Cartesian product of the empty set with anything is the empty set, and the spheration of the empty set into any number of dimensions is also the empty set.
- Sphere species, (), contains two separated points on a line (I), circle (II), sphere (III), glome (IIII), pentasphere (IIIII) etc. This is a HERBIVORE species that grows nice and fat and falls prey to the beasts.
- Torus species, (()), contains torus ((II)I), spheritorus ((II)II), torisphere ((III)I), toratesserinder ((II)III), toracubspherinder ((III)II), toraglominder ((IIII)I) etc. Apart from these, it also contains pairs of spheres ((x)) and ((I)x) and quartet of points ((I)).
- Tiger species, (()()), contains tiger ((II)(II)), toraduocyldinder ((II)(II)I), cylspherintigroid ((III)(II)) etc. As for herds, it contains pairs of toruses like ((II)(I)), and quartets of spheres like ((I)(I)).
