Contents Previous Next Index
8 Maple Expressions
This chapter provides basic information on using Maple expressions, including an overview of the basic data structures. Many of the commands described in this chapter are useful for programming. For information on additional Maple programming concepts, such as looping, conditional execution, and procedures, see Basic Programming.
8.1 In This Chapter
Section
Topics
Creating and Using Data Structures - How to define and use basic data structures
Expression Sequences
Sets
Lists
Tables
Arrays
Matrices and Vectors
Functional Operators
Strings
Working with Maple Expressions- Tools for manipulating and controlling the evaluation of expressions
Low-Level Operations
Manipulating Expressions
Evaluating Expressions
8.2 Creating and Using Data Structures
Constants, data structures, mathematical expressions, and other objects are Maple expressions. For more information on expressions, refer to the Maple Help System.
This section describes the key data structures:
Expression sequences
Functional operators
The fundamental Maple data structure is the expression sequence. It is a group of expressions separated by commas.
S⁢:=⁢2,⁢y,⁢sinx2,⁢I:
Accessing Elements
To access one of the expressions:
Enter the sequence name followed by the position of the expression enclosed in brackets([ ]).
For example:
S2
5
Using negative integers, you can select an expression from the end of a sequence.
S−2
sin⁡x2
You can select multiple expressions by specifying a range using the range operator (..).
S2..−2
5,sin⁡x2
Note: This syntax is valid for most data structures.
A set is an expression sequence enclosed in curly braces ({ }).
4, 12 i, sin23:
A Maple set has the basic properties of a mathematical set.
Each element is unique. Repeated elements are stored only once.
The order of elements is not stored.
c, a, a, a, b, c, a
a,b,c
Using Sets
To perform mathematical set operations, use the set data structure.
2,⁢6,⁢5,⁢1⁢⋃⁢2,⁢8,⁢6,⁢7
1,2,5,6,7,8
Note: The union operator is available in 1-D Math input as union.
For more information on sets, refer to the set help page.
A list is an expression sequence enclosed in brackets ([ ]).
L⁢:=⁢2,⁢3,⁢3,⁢1,⁢0
L≔2,3,3,1,0
Note: Lists preserve both the order and repetition of elements.
Accessing Entries
To refer to an element in a list:
Use square brackets.
L−2..−1
1,0
For more information, see Accessing Elements.
Using Lists
Some commands accept a list (or set) of expressions.
For example, you can solve a list (or set) of equations using the context panel or the solve command.
solvex⁢−⁢y2⁢=⁢−2,⁢x⁢+⁢y⁢=⁢0
For more information, see Solving Equations and Inequations.
For more information on sets and lists, refer to the set help page.
Conceptually, the Array data structure is a generalized list. Each element has an index that you can use to access it.
The two important differences are:
The indices can be any integers.
The dimension can be greater than one.
Creating and Using Arrays
To define an Array, use the Array constructor.
Standard Array constructor arguments are:
Expression sequences of ranges - Specify the indices for each dimension
Nested lists - Specify the contents
a⁢≔ Array1..3,⁢1..3, 1,⁢2,⁢3,⁢4,⁢5,⁢6,⁢7,⁢8,⁢9
a≔123456789
b≔Array1..2,2..5,1.2,4.9,6.3,7.1,9.2,5.5,2.4,1.7
To access entries in an Array, use either square bracket or round bracket notation.
Square bracket notation respects the actual index of an Array, even when the index does not start at 1.
a1,⁢1
1
a2,⁢3
6
b2,3
5.5
b1,1
Error, Array index out of range
Round bracket indexing normalizes the dimensions to begin at 1. Since this method is relative, you can access the end of the array by entering −1.
a−1,2
8
1.2
Arrays can have more than one or two dimensions. For example, the following is a simple three-dimensional Array.
A ≔ Array1..2,1..2,1..2,fill=3
The Array constructor supports other syntaxes. It also supports many options. For more information on the Array constructor and the Array data structure, refer to the Array help page. For more information on indexing methods, refer to the rtable_indexing help page.
Large Arrays
Larger Arrays than can be practically displayed in the document display with a summary format. For example, the multidimensional Array in is displayed in summary format. The following 100-entry Array is as well. In both cases, double-clicking on the placeholder output opens a browser for the entire data structure.
Array0..100
To view large Arrays:
Double-click the placeholder output.
The Matrix Browser displays the Array.
In the case of a multidimensional array, you can change what slice you are viewing in the Options tab.
For more information, see Viewing Large Matrices and Vectors.
Tables are conceptually an extension of the Array data structure, but the table data structure is implemented using hash tables. Tables can be indexed by any values, not only integers.
Defining Tables and Accessing Entries
Greek ≔ tablea⁢=⁢α,⁢b⁢=⁢β,⁢c⁢=⁢γ:
Greekb
β
You can also assign anything, for example, a list, to each element.
Translation ≔ tableone = un,⁢uno,⁢two⁢=⁢deux,⁢dos,⁢three⁢=⁢trois,⁢tres:
Translationtwo
deux,dos
For more information on tables, refer to the table help page.
Matrices and Vectors are specialized data structures used in linear algebra and vector calculus computations.
M⁢:=⁢[12338312]:⁢v⁢:=⁢<2,⁢14>:
For information on defining Matrices and Vectors, see Creating Matrices and Vectors.
M.v
486334
v%T.M
1186234
M−1
−486511865832595−4865
For more information on these data structures, including how to access entries and perform linear algebra computations, see Linear Algebra.
A functional operator is a mapping f:⁢x⁢→⁢yx. The value of f⁡x is the result of evaluating yx.
Using functional operators, you can define mathematical functions.
Defining a Function
To define a function of one or two variables:
In the Expression palette, click one of the function definition items. See Figure 8.1. Maple inserts the function definition.
Replace the placeholders, using Tab to move to the next placeholder. Note: If pressing the Tab key indents the text, click the Tab icon in the toolbar. This allows you to move between placeholders.
Press Enter.
Figure 8.1: Function Definition Palette Items
For example, define a function that adds 1 to its input.
add1⁢:=⁢x⁢→⁢x⁢+⁢1:
Note: Instead of using the palettes, you can type the definition. To insert the right arrow, you can enter the characters ->. In 2-D Math, Maple replaces -> with the right arrow symbol →. In 1-D Math, the characters are not replaced.
You can evaluate the function add1 with symbolic or numeric arguments.
add1⁡12;⁢add1⁡x⁢+⁢y
13
x+6
Distinction between Functional Operators and Other Expressions
Note: The expression x⁢+⁢1 is different from the functional operator x⁢→⁢x⁢+⁢1.
Assign the functional operator x⁢→⁢x⁢+⁢1 to f.
f⁢≔ x →x+1:
Assign the expression x⁢+⁢1 to g.
g⁢:=⁢x⁢+⁢1:
To evaluate the functional operator f at a value of x:
Specify the value as an argument to f.
f22
23
To evaluate the expression g at a value of x:
You must use the eval command.
The following is not meaningful:
g22
x⁡22+1
Evaluating g at x=22 gives the desired result.
evalg,⁢x⁢=⁢22
For more information on the eval command, and on using palettes and the context panel to evaluate an expression at a point, see Substituting a Value for a Subexpression.
Multivariate and Vector Functions
To define a multivariate or vector function:
Enclose coordinates or coordinate functions in parentheses (( )).
For example, a multivariate function:
f⁢:=⁢x,⁢y⁢→⁢x3y2+1:
f⁡0,⁢0;⁢f⁡−2.1,⁢1.9
0
−2.008893709
A vector function:
g⁢:=⁢t⁢→⁢sin⁡t,⁢cos⁡t,⁢t:
g⁡0;⁢g⁡π2
0,1,0
1,0,π2
Using Operators
To perform an operation on a functional operator, specify arguments to the operator. For example, for the operator f, specify f(x), which Maple evaluates as an expression. See the following examples.
Plotting:
Plot a three-dimensional operator as an expression using the plot3d command.
unassign'y':
h⁢:=⁢x,⁢y⁢→⁢x2cos⁡y:
plot3dh⁡x,⁢y,⁢x⁢=⁢−2..2,⁢y⁢=⁢−2⁢π..2⁢π
For information on plotting, see Plots and Animations.
Integration:
Integrate a function using the int command.
k⁢:=⁢x⁢→⁢sin⁡cos⁡xπ:
intk⁡t,⁢t⁢=⁢0..π2
π⁢StruveH⁡0,π2
The result uses the Struve function StruveH⁡v,x.
For information on integration and other calculus operations, see Calculus. For information on mathematical functions, including accessing detailed information on the properties of a function, see Mathematical Functions and the FunctionAdvisor help page.
A string is a sequence of characters enclosed in double quotes (" ").
S⁢≔ This is a sequence of characters.
S≔This is a sequence of characters.
Accessing Characters
You can access characters in a string using brackets.
S11..−2
sequence of characters
Using Strings
The StringTools package is an advanced set of tools for manipulating and using strings.
with⁡StringTools:
Random9, 'alnum'
MJoY2Qs0F
Stemimpressive
impress
SplitCreate a list of strings from the words in a string
Create,a,list,of,strings,from,the,words,in,a,string
8.3 Working with Maple Expressions
This section describes how to manipulate expressions using commands. Topics covered include testing the expression type, accessing operands of an expression, and evaluating an expression.
Expression Types
A Maple type is a broad class of expressions that share common properties. Maple contains over 200 types, including:
`+`
boolean
constant
integer
Matrix
trig
truefalse
For more information and a complete list of Maple types, refer to the type help page.
The type commands return true if the expression satisfies the type check. Otherwise, they return false.
Testing the Type of an Expression
To test whether an expression is of a specified type:
Use the type command.
type⁡sinx,⁢'trig'
true
type⁡sinx⁢+⁢cosx,⁢'trig'
false
For information on enclosing keywords in right single quotes ('), see Delaying Evaluation.
Maple types are not mutually exclusive. An expression can be of more than one type.
type⁡3,⁢'constant'
type⁡3,⁢'integer'
For information on converting an expression to a different type, see Converting.
Testing the Type of Subexpressions
To test whether an expression has a subexpression of a specified type:
Use the hastype command.
hastype⁡sinx⁢+⁢cosx,⁢'trig'
Testing for a Subexpression
To test whether an expression contains an instance of a specified subexpression:
Use the has command.
has⁡sinx+y,x
has⁡sinx+y,x+y
has⁡sin⁡x⁢+⁢y,⁢sin⁡x
The has command searches the structure of the expression for an exactly matching subexpression.
For example, the following calling sequence returns false.
has⁡x⁢+⁢y⁢+⁢z,⁢x + z
To return all subexpressions of a particular type, use the indets command. For more information, see Indeterminates.
Accessing Expression Components
Left and Right-Hand Side
To extract the left-hand side of an equation, inequality, or range:
Use the lhs command.
To extract the right-hand side of an equation, inequality, or range:
Use the rhs command.
y⁢=⁢x⁢+⁢1
y=x+1
lhs
y
rhs
x+1
For the following equation, the left endpoint of the range is the left-hand side of the right-hand side of the equation.
x⁢=⁢3..5
x=3..5
lhs⁡rhs⁡
3
Numerator and Denominator
To extract the numerator of an expression:
Use the numer command.
To extract the denominator of an expression:
Use the denom command.
e⁢:=⁢1⁢+⁢sin⁡x3⁢−⁢yxy2⁢−⁢1⁢+⁢x:
If the expression is not in normal form, Maple normalizes the expression before selecting the numerator or denominator. (For more information on normal form, refer to the normal help page.)
numer⁡e
sin⁡x3⁢x+x−y
denom⁡e
x⁢y2+x−1
denom⁡denom⁡e
The expression can be any algebraic expression. For information on the behavior for non-rational expressions, refer to the numer help page.
Components of an Expression
The components of an expression are called its operands.
To count the number of operands in an expression:
Use the nops command.
For example, construct a list of solutions to an equation.
solutions ≔ solve6⁢x3⁢−⁢x2⁢+⁢7,⁢x
solutions≔−1,712−I⁢11912,712+I⁢11912
Using the nops command, count the number of solutions.
nops⁡solutions
For more information on the nops command and operands, refer to the nops help page.
Indeterminates
To find the indeterminates of an expression:
Use the indets command.
The indets command returns the indeterminates as a set. Because the expression is expected to be rational, functions such as sin(x), f(x), and sqrt(x) are considered to be indeterminate.
indets3⁢+⁢π⁢x2⁢sin⁡1⁢+⁢y
x,y,1+y,sin⁡1+y
To return all subexpressions of a particular type, specify the type as the second argument. For information on types, see Testing the Type of an Expression.
indets3⁢+⁢π⁢x2⁢sin⁡1⁢+⁢y,⁢'radical'
1+y
To test whether an expressions has subexpressions of a specific type (without returning them), use the has command. For more information, see Testing for a Subexpression.
This section introduces the most commonly used manipulation commands. For additional manipulation commands, see Iterative Commands.
Simplifying
To simplify an expression:
Use the simplify command.
The simplify command applies simplification rules to an expression. Maple has simplification rules for various types of expressions and forms, including trigonometric functions, radicals, logarithmic functions, exponential functions, powers, and various special functions. You can also specify custom simplification rules using a set of side relations.
simplify5+32−813
35
simplifysin⁡x2+ln⁡2⁢y+cos⁡x2
1+ln⁡2+ln⁡y
To limit the simplification, specify the type of simplification to be performed.
simplifysin⁡x2+ln⁡2⁢y+cos⁡x2,'trig'
1+ln⁡2⁢y
simplifysin⁡x2+ln⁡2⁢y+cos⁡x2,'ln'
sin⁡x2+ln⁡2+ln⁡y+cos⁡x2
You can also use the simplify command with side relations. See Substituting a Value for a Subexpression.
Factoring
To factor a polynomial:
Use the factor command.
factorx6−x5−9⁢x4+x3+20⁢x2+12⁢x
x⁢x−2⁢x−3⁢x+2⁢x+12
factorx3⁢y+x2⁢y2−3⁢x3−x2⁢y+2⁢x⁢y2−6⁢x2−5⁢x⁢y+y2−3⁢x−3⁢y
y−3⁢x+12⁢x+y
Maple can factor polynomials over the domain specified by the coefficients. You can also factor polynomials over algebraic extensions. For details, refer to the factor help page.
For more information on polynomials, see Polynomial Algebra.
To factor an integer:
Use the ifactor command.
ifactor196911
34⁢11⁢13⁢17
For more information on integers, see Integer Operations.
Expanding
To expand an expression:
Use the expand command.
The expand command distributes products over sums and expands expressions within functions.
expandy−3⁢x+12⁢x+y
x3⁢y+x2⁢y2−3⁢x3−x2⁢y+2⁢x⁢y2−6⁢x2−5⁢x⁢y+y2−3⁢x−3⁢y
expandsin⁡x+y
sin⁡x⁢cos⁡y+cos⁡x⁢sin⁡y
Combining
To combine subexpressions in an expression:
Use the combine command.
The combine command applies transformations that combine terms in sums, products, and powers into a single term.
combinesin⁡x⁢cos⁡y+cos⁡x⁢sin⁡y
sin⁡x+y
Recall that a was previously assigned to represent a two-dimensional array (see Creating and Using Arrays).
combinexa2⁢x
x3x5x7x9x11x13x15x17x19
The combine command applies only transformations that are valid for all possible values of names in the expression.
combine4 lnx⁢−⁢ln⁢y
4⁢ln⁡x−ln⁢y
To perform the operation under assumptions on the names, use the assuming command. For more information about assumptions, see Assumptions on Variables.
combine4 lnx⁢− lny⁢assuming x > 0, y > 0
ln⁡x4y
Converting
To convert an expression:
Use the convert command.
The convert command converts expressions to a new form, type (see Expression Types), or in terms of a function. For a complete list of conversions, refer to the convert help page.
Convert a measurement in radians to degrees:
convertπ,'degrees'
180⁢degrees
To convert measurements that use units, use the Unit Converter or the convert/units command.
convert450.2kg,⁢'units',⁢lb
992.5211043⁢lb
For information on the Unit Converter and using units, see Units.
Convert a list to a set:
convertb, c, d,⁢'set'
c,d,Array⁡1..2,2..5,1,2=1.2,1,3=4.9,1,4=6.3,1,5=7.1,2,2=9.2,2,3=5.5,2,4=2.4,2,5=1.7
Maple has extensive support for converting mathematical expressions to a new function or function class.
convertcos⁡x,⁢exp
ⅇI⁢x2+ⅇ−I⁢x2
Find an expression equivalent to the inverse hyperbolic cotangent function in terms of Legendre functions.
convertarccoth⁡z,⁢Legendre
LegendreQ⁡0,15+π⁢−168
For more information on converting to a class of functions, refer to the convert/to_special_function help page.
Normalizing
To normalize an expression:
Use the normal command.
The normal command converts expressions into factored normal form.
normalx2−y2x−y3
x+yx−y2
You can also use the normal command for zero recognition.
normalx3⁢+⁢1⁢−⁢x⁢+⁢13⁢+⁢3⁢x⁢1⁢+⁢x
To expand the numerator and denominator, use the expanded option.
normalx2−y2x−y3,⁢'expanded'
x+yx2−2⁢x⁢y+y2
normalsin⁡1+1x
sin⁡x+1x
Sorting
To sort the elements of an expression:
Use the sort command.
The sort command orders a list of values or terms of a polynomial.
sort4,3,2.1,−4,43,0
−4,0,2.1,3,4,43
sortx+4⁢x5−7⁢x2+1+9⁢x4−5⁢x3
4⁢x5+9⁢x4−5⁢x3−7⁢x2+x+1
sortx⁢y−6⁢y2⁢x+2⁢y3+5⁢x−1
−6⁢x⁢y2+2⁢y3+x⁢y+5⁢x−1
For information on sorting polynomials, see Sorting Terms.
For more information on sorting, refer to the sort help page.
Substituting a Value for a Subexpression
To evaluate an expression at a point, you must substitute a value for a variable.
To substitute a value for a variable using the context panel:
Select the expression.
From the context panel, select Evaluate at a Point. The Evaluate at a Point dialog is displayed. See Figure 8.2.
Figure 8.2: Evaluate at a Point
In the drop-down list, select the variable to substitute.
In the text field, enter the value to substitute for the variable. Click OK.
In Worksheet mode, Maple inserts the eval command calling sequence that performs the substitution. This is the most common use of the eval command.
For example, substitute x⁢=⁢3 in the following polynomial.
x3⁢+⁢4⁢x2⁢−⁢7⁢x⁢+⁢2
x3+4⁢x2−7⁢x+2
evalx3+4 x2−7 x+2,x=3
44
To substitute a value for a variable using palettes:
In the Expression palette, click the evaluation at a point item .
Specify the expression, variable, and value to be substituted.
x2−x−3x=a|f(x)x=5
17
Substitutions performed by the eval function are syntactical, not the more powerful algebraic form of substitution.
If the left-hand side of the substitution is a name, Maple performs the substitution.
unassign'a': unassign'b':
eval⁡cos⁡a⁢b⁢c,⁢a⁢=⁢π6
cos⁡π⁢b⁢c6
If the left-hand side of the substitution is not a name, Maple performs the substitution only if the left-hand side of the substitution is an operand of the expression.
evalcos⁡a⁢b,⁢a⁢b⁢=⁢π6
32
evalcos⁡a⁢b⁢c,⁢a⁢b⁢=⁢π6
cos⁡a⁢b⁢c
Maple did not perform the evaluation because a⁢b is not an operand of cosa⁢b⁢c. For information on operands, refer to the op help page.
For algebraic substitution, use the algsubs command, or the simplify command with side relations.
algsubsa⁢b=π6,cos⁡a⁢b⁢c
cos⁡c⁢π6
simplifycos⁡a⁢b⁢c,a⁢b=π6
Numerical Approximation
To compute an approximate numerical value of an expression:
Use the evalf command.
The evalf command returns a floating-point (or complex floating-point) number or expression.
evalfcosπ6
0.8660254040
evalf173x2⁢+⁢x⁢− ⅇπ
9.814954579⁢x2+x−23.14069264
evalfπ
3.141592654
By default, Maple calculates the result to ten digits of accuracy, but you can specify any number of digits as an index, that is, in brackets ([ ]).
evalf40π
3.141592653589793238462643383279502884197
For more information, refer to the evalf help page.
See also Numerically Computing a Limit and Numeric Integration.
Evaluating Complex Expressions
To evaluate a complex expression:
Use the evalc command.
If possible, the evalc command returns the output in the canonical form expr1 + i expr2.
In 2-D Math input, you can enter the imaginary unit using the following two methods.
In the Common Symbols palette, click the i or j item. See Palettes.
Enter i or j, and then press the symbol completion key. See Symbol Names.
evalc1+ⅈ
2+2⁢22+I⁢−2+2⁢22
evalcsin⁡3+5⁢ȷ
sin⁡3⁢cosh⁡5+I⁢cos⁡3⁢sinh⁡5
In 1-D Math input, enter the imaginary unit as an uppercase i (I).
evalc(2^(1 + I));
2⁢cos⁡ln⁡2+2⁢I⁢sin⁡ln⁡2
Evaluating Boolean Expressions
To evaluate an expression involving relational operators (=, ≠,>, <, ≤, and ≥):
Use the evalb command.
Note: In 1-D Math input, enter ≠, ≤, and ≥using the <>, <=, and >= operators.
The evalb command uses a three-valued logic system. The return values are true, false, and FAIL. If evaluation is not possible, an unevaluated expression is returned.
evalbx=x
evalbx=y
evalb3+2⁢ⅈ<2+3⁢ⅈ
FAIL
Important: The evalb command does not perform arithmetic for inequalities involving <, ≤, >, or ≥, and does not simplify expressions. Ensure that you perform these operations before using the evalb command.
evalbℜ⁡x<ℜ⁡x+1
ℜ⁡x<1+ℜ⁡x
evalbℜ⁡x⁢−⁢ℜ⁡x+1<0
Applying an Operation or Function to All Elements in a List, Set, Table, Array, Matrix, or Vector
You can use the tilde character (~) to apply an operation or function to all of the elements in a list, set, table, Array, Matrix, or Vector.
In the following example, each element in the Matrix M is multiplied by 2 by adding a tilde character after the multiplication operator(⋅).
M≔123456789
M≔123456789
M⋅~2
24681012141618
In the following example, the function sin is applied to each element in the Matrix M.
sin~M
sin⁡1sin⁡2sin⁡3sin⁡4sin⁡5sin⁡6sin⁡7sin⁡8sin⁡9
The tilde character can also be used to apply a function to multiple data sets, for example,
unassign'z':
diff~z⋅x2+x⋅y2, x, x, y, y, z, z, y, z, x, z, x, y;
2⁢y,2⁢x,2⁢y,0,2⁢x,0
You can use values in one data structure type to compute values in another data structure type, as long as both data structures are dimensional and contain the same number of elements. In the following example, the values in an Array are compared to the values in a Matrix that contains the same number of elements.
12, 88, 20 >~ 3, 100, 25
3<12100<8825<20
For more information, refer to the elementwise help page.
Levels of Evaluation
In a symbolic mathematics program such as Maple, you encounter the issue of levels of evaluation. If you assign y to x, z to y, and then 5 to z, what is the value of x?
At the top-level, Maple fully evaluates names. That is, Maple checks if the name or symbol has an assigned value. If it has a value, Maple substitutes the value for the name. If this value has an assigned value, Maple performs a substitution, recursively, until no more substitutions are possible.
x:=y:
y:=z:
z:=5:
Maple fully evaluates the name x, and returns the value 5.
x
To control the level of evaluation of an expression:
Use the eval command with an integer second argument.
If passed a single argument, the eval command fully evaluates that expression. If you specify an integer second argument, Maple evaluates the expression to that level.
evalx
evalx,1
evalx,2
z
evalx,3
For more details on levels of evaluation, refer to the lastnameevaluation, assigned, and evaln help pages.
Delaying Evaluation
To prevent Maple from immediately evaluating an expression:
Enclose the expression in right single quotes (' ').
Because right single quotes delay evaluation, they are referred to as unevaluation quotes.
i:=4:
i
4
'i'
Using an Assigned Name as a Variable or Keyword
If you use an assigned name as a variable, Maple evaluates the name to its value, and passes the value to the command. In this example, that causes Maple to return an error message.
∑i=1n i2
Error, (in sum) summation variable previously assigned, second argument evaluates to 4 = 1 .. n
Note: In general, it is recommended that you unassign a name to use it as a variable. See Unassigning a Name Using Unevaluation Quotes.
To use an assigned name as a variable:
Enclose the name in unevaluation quotes. Maple passes the name to the command.
∑'i'=1n'i'2
n+133−n+122+n6+16
Important: It is recommended that you enclose keywords in unevaluation quotes.
For example, if you enclose the keyword left in unevaluation quotes, Maple uses the name, not its assigned value. We can also unassign the definition of 'x' with unevaluation quotes.
x ≔ 'x':
left⁢:=⁢3:
limit⁡1x,⁢x⁢=⁢0,⁢'left'
−∞
Full Evaluation of an Expression in Quotes
Full evaluation of a quoted expression removes one set of right single quotes.
i⁢:=⁢4:
''i'+1'
i+1
For information on equation labels and equation label references, see Equation Labels.
Enclosing an expression in unevaluation quotes delays evaluation, but does not prevent automatic simplification.
'q−i+3⁢q'
4⁢q−i
Unassigning a Name Using Unevaluation Quotes
To unassign a name:
Assign the name enclosed in unevaluation quotes to itself.
i⁢:=⁢'i':
You can also unassign a name using the unassign command. For more information, see Unassigning Names.
Download Help Document