Documentation Center

  • Trial Software
  • Product Updates

Dom::Float

Real floating-point numbers

Use only in the MuPAD Notebook Interface.

This functionality does not run in MATLAB.

Syntax

Dom::Float(x)

Description

Dom::Float is the set of real floating-point numbers represented by elements of the domain DOM_FLOAT.

Dom::Float is the domain of real floating point numbers represented by expressions of type DOM_FLOAT.

Dom::Float has category Cat::Field out of pragmatism. This domain actually is not a field because bool(1.0 = float(3) / float(3)) returns FALSE for example.

Elements of Dom::Float are usually not created explicitly. However, if one creates elements using the usual syntax, it is checked whether the input expression may be converted to a floating point number. This means Dom::Float is a facade domain which creates elements of domain type DOM_FLOAT.

Viewed as a differential ring Dom::Float is trivial, it contains constants only.

Dom::Float has the domain Dom::Numerical as its super domain, i.e., it inherits each method which is defined by Dom::Numerical and not implemented by Dom::Float. Methods described below are re-implemented by Dom::Float.

Superdomain

Dom::Numerical

Examples

Example 1

Creating some floating-point numbers using Dom::Float. This example also shows that Dom::Float is a facade domain.

Dom::Float(2.3); domtype(%)

Dom::Float(sin(2/3*PI) + 3)

Dom::Float(sin(x))
Error: The arguments are invalid. [Dom::Float::new]

Example 2

By tracing the method Dom::Float::testtypeDom we can see the interaction between testtype and Dom::Float::testtypeDom.

prog::trace(Dom::Float::testtypeDom):
delete x:
testtype(x, Dom::Float);
testtype(3.4, Dom::Float);
prog::untrace(Dom::Float::testtypeDom):
enter Dom::Float::testtypeDom(x, Dom::Float)
computed FAIL


enter Dom::Float::testtypeDom(3.4, Dom::Float)
computed TRUE

Parameters

x

An expression which can be converted to a DOM_FLOAT by the function float.

Entries

"one"

the unit element; it equals 1.0.

"zero"

The zero element; it equals 0.0.

Methods

expand all

Mathematical Methods

pivotSize — Size of a pivot element

pivotSize(x)

This method is called if this domain is used as the component ring of a matrix domain to perform Gaussian elimination.

Conversion Methods

convert — Conversion of objects

convert(x)

In general, if float(x) evaluates to a real floating-point number of type DOM_FLOAT, this number is the result of the conversion.

convert_to — Conversion to other domains

convert_to(x, T)

The following domains are allowed for T: DOM_FLOAT, Dom::Float and Dom::Numerical.

testtype — Type checking

testtype(x, T)

In general this method is called from the function testtype and not directly by the user. Example 2 demonstrates this behavior.

See Also

MuPAD Domains

Was this topic helpful?