cDomainRational

Syntax: cDomainRational(
const cDomainIntegerBasis &dfMantissa ,
const cDomainIntegerBasis &dfExponent )

Der Konstruktor des Definitionsbereichs für Gleitkommazahlen, er erstellt einen Definitionsbereich für Gleitkommazahlen.

Definitionsbereich: $D_G=\{ M*2^E \vert (M \in dfMantissa) \wedge (E \in dfExponent)\}$

Die dem Konstruktor übergebenen Definitionsbereiche von Ganzahlen für Mantisse dfMantissa und Exponenten dfExponent sollten unskaliert sein. Sollten eine oder beide dennoch skaliert sein, so wird diese Skalierung für den Gleitkommazahlendefinitionsbereich aufgehoben bzw. auf $1$ gesetzt.

Eingabeparameter:

• dfMantissa: Der (unskalierter) Ganzzahldefinitionsbereich aus dem die Mantisse kommt.
• dfExponent: Der (unskalierter) Ganzzahldefinitionsbereich aus dem der Exponent kommt.

Rückgabe: keine