DOM_IDENT is the data type of symbolic identifiers,
used for example for indeterminates.
To perform symbolic computations, it is often necessary to represent
indeterminates, which may or may not carry assumptions.
These indeterminates (which in some contexts may also be bound identifers
and which may also be assigned specific
values) are called "identifiers" in MuPAD® and have
the domain type
Identifiers are valid arithmetical expressions, so most MuPAD functions happily accept identifiers.
To get and analyze the name of an identifier, you can use
DOM_STRING ) and look at the resulting string. (The call
the same string and is shorter to type.)
Identifiers are atomic.
Identifiers are displayed with their names, with the following special cases in typesetting:
_) in the middle of
identifiers cause subscripting:
x_2 is displayed
Certain constructs of the form
identifiers are replaced by special typeset characters. For example,
To generate these identifiers, we suggest using the Symbol library,
which would use
the example above.
A sequence of characters, underscores and digits which does
not start with a digit is considered an identifier. Examples:
Additionally, an arbitrary string of characters enclosed in
`` is also an identifier.
`a plus 1`.
If the string of characters between the back ticks is a valid identifier
already, this input form creates the same identifier as the one without