Mazzola, Guerino / Noll, Thomas / Lluis-Puebla, Emilio: Perspectives in Mathematical and Computational Music Theory

the variables $x$ , $y$ , lambda. Together with this time interval for each formula we get a time-covering for the formulas.

Figure 8:

The Pinocchio object, left its components, right some of its parameters.

On the other hand, SatList implements the circular architecture by the disjunction (colimit) SatList:.Colimit(Terminator,ETC) with Terminator:.Simple( $Z$ ), an alternative which is used to terminate the circular recursion process by an integer (zero), and the circular part ETC:.Limit[RTC, Sat, SatList], which refers to the RTC form, the top form Sat and to the circular component SatList. Referring to the Sat form, every multimedia object MMO is a denotator whose complexity is roughly measured by the depth of recursive ramification when the terminator alternative appears and no further satellites occur. To be clear, MMO is not yet the 3D figure which we see on the screen, since its coordinate values from the folding vectors need to be inserted in the “expressions” of $Ts<ASCII >$ type. All the available Sat denotators are visible on one surface of the Browser’s input object Di. The selected object is visible on a special surface of the Di where the association of object attributes and vector coordinates can be defined by drag and drop actions, see the right bottom surface of the Di in figure 2, where a Pinocchio object is selected (see figure 8 for its anatomy).

As example we visualize a library of 400 books: Each book is a denotator of type “limit” with 15 factors of type “simple”. Those 15 parameters are folded down to the 12 parameters of the Pinocchio object by arbitrarily choosing 4 of the books parameters to be less interesting for the moment and folding them down to one parameter. In figure 9 for example the name of the book’s is mapped to the x-axis, the title of the book on the y-axis, the volume count goes to the z-axis, the number