Logiweb(TM)

13.2.5.2 Codices

Prev Up Next Page 416 of 800 Search internet


A codex is a 5-dimensional array of Logiweb trees.

If C is a codex, if p is a reference cardinal, if (r,i) and (R,I) are symbol, and if A = C[p][r][i][R][I] is defined, then we shall refer to A as the (R,I) aspect of the (r,i) symbol as defined on page p. An aspect is 'domestic' when p=r, and we shall refer to C[r][r][i][R][I] as the 'domestic' (R,I) aspect of the (r,i) symbol. We shall refer to C[r][r][i] as the domestic 'property list' of the (r,i) symbol.

The 'value' aspect of a symbol is particularly important. When a mathematician defines e.g. g(x)=2*x+4 then we shall say that the mathematician defines the 'value' aspect of the 'g' symbol where the 'g' symbol is supposed to have arity one. When a programmer defines e.g. void main(){printf("Hello world");} then we shall say that the programmer defines the 'value' aspect of the 'main' symbol.

The 'name' aspect of a symbol is also important. The 'name' aspect of a symbol defines what the symbol looks like. To Logiweb, a symbol is a pair of cardinals. That is machine friendly but not particularly user tolerant. The 'name' aspect of a symbol defines what the symbol looks like expressed in the lgs language and, possibly, what the symbol looks like when expressed in TeX source text. The lgs language is designed for authoring Logiweb pages.

Loading a page results in a codex and, as by-products, a vector, a bibliography, a dictionary, a body, a cache, an expansion, some code and, possibly, a diagnose. All these entities are collected into the rack of the page.

The rack of a page is eventually added to the cache of the page, so the end result of loading is a 'cache' which contains a 'rack' for the page plus one for each transitively referenced page where each 'rack' in turn contains the 'codex' of each page plus additional information. For more details see the base page.

Prev Up Next Page 416 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05