cTypeFibSet

Typ für Element: cTypeFibSet

Standarddefinitionsbereich: $vector( 3, naturalNumberB(8),$ $naturalNumberB(32),$ $vectorOpenEnd( 1,$ $integerB(32) ) )$

Dieser Typ ist für Definitionsbereich für das set-Element (siehe Abschnitt 12.12 auf Seite und Abschnitt 49 auf Seite ) im Haupt-Fib-Objekt. Der Definitionsbereich ist ein Vector mit 3 Elementen. Das erste Element bzw. der erste Unterdefinitionsbereich dient für die Anzahl ($n$) der Variablen und der zu setzenden Werte pro Satz, er ist ein Definitionsbereich aus den natürlichen Zahlen. Das zweite Element bzw. der zweite Unterdefinitionsbereich dient für die Anzahl ($k$) der Sätze mit zu setzenden Werten. Er ist auch ein Definitionsbereich aus den natürlichen Zahlen. Das dritte und letzte Element ist der Definitionsbereich für die Vektoren für die zu setzenden Werte ($W_{i.g}$) und ist ein Definitionsbereich für Vektoren deren Elemente einfache Zahlen (skalare) sind.

Kompatible Definitionsbereiche: alle Vektoren mit drei Elementen, deren ersten beiden Elemente natürliche Zahlen sind und deren drittes Element ein beliebiger Vektor mit Zahlen ist

Inkompatible Definitionsbereiche: alle einzelnen Zahlen, alle Vektoren mit nicht drei Unterdefinitionsbereichen und Vektoren in denen die ersten beiden Elemente keine natürliche Zahlen sind oder der dritte Unterdefinitionsbereich kein Vektor von Zahlen ist