Calculus
limit
The exact limit of an expression as a variable approaches a point. Gives a value, inf or -inf, divergent (the one-sided limits differ), or unsupported when gtmath cannot decide -- never a numeric guess.
expr (symbolic) -- e.g. sin(x)/x
wrt (string) -- the variable, unquoted (e.g. x)
point (symbolic) -- the point approached, e.g. 0
direction (string) -- optional: "left", "right" or "two_sided" (the default)
taylor
The Taylor polynomial of an expression about a point, through the given order (at most 32). Only the truncated polynomial -- no claim about the remainder.
expr (symbolic) -- e.g. exp(x)
wrt (string) -- the variable, unquoted
point (symbolic) -- the expansion point, e.g. 0
order (number) -- the highest power kept
defint
The exact definite integral between two bounds; a bound may be inf or -inf, a multiple of pi (defint(sin(x)^2, x, 0, 2*pi) = pi) or a symbol (defint(x^2, x, 0, a) = a^3/3). Returns unsupported (rather than a guess) when gtmath cannot prove the result, for example across a pole.
expr (symbolic) -- e.g. x^2
wrt (string) -- the variable, unquoted
lower (symbolic) -- the lower bound, or -inf
upper (symbolic) -- the upper bound, or inf
limitInf
The exact limit of a polynomial or rational expression as the variable goes to inf (default) or -inf.
expr (symbolic) -- e.g. (2*x^2+1)/(x^2-3)
wrt (string) -- the variable, unquoted (e.g. x)
direction (string) -- optional: "positive" (default) or "negative"
laurentLead
The leading term of the Laurent expansion of a rational expression at a pole.
expr (symbolic) -- a rational expression
wrt (string) -- the variable, unquoted (e.g. x)
point (number) -- the pole
principalPart
The principal part (all negative-power terms) of a rational expression's Laurent expansion at a pole.
expr (symbolic) -- a rational expression
wrt (string) -- the variable, unquoted (e.g. x)
point (number) -- the pole
signedArea
The signed area between a curve and the axis over an interval (area below the axis counts negative).
curve (symbolic) -- e.g. x
wrt (string) -- the variable, unquoted (e.g. x)
lower (symbolic) -- left bound
upper (symbolic) -- right bound
areaBetween
The signed area between an upper and a lower curve over an interval.
upper_curve (symbolic) -- e.g. x
lower_curve (symbolic) -- e.g. x^2
wrt (string) -- the variable, unquoted (e.g. x)
lower (symbolic) -- left bound
upper (symbolic) -- right bound
absAreaBetween
The total (unsigned) area between two polynomial curves, splitting the interval where they cross.
first (symbolic) -- a polynomial
second (symbolic) -- a polynomial
wrt (string) -- the variable, unquoted (e.g. x)
lower (symbolic) -- left bound
upper (symbolic) -- right bound
arcLength
The exact arc length of y = f(x) over an interval, when the integral is one gtmath can do exactly.
curve (symbolic) -- e.g. x
wrt (string) -- the variable, unquoted (e.g. x)
lower (symbolic) -- left bound
upper (symbolic) -- right bound
lineIntegral
The line integral of a scalar field along a parameterized curve (with respect to arc length).
field (symbolic) -- e.g. x + y
coords (string) -- the coordinate names as a list, e.g. [x, y, z]
curve (array) -- the curve's coordinates in the parameter, e.g. [t, t]
param (string) -- the parameter, e.g. t
lower (symbolic) -- parameter start
upper (symbolic) -- parameter end
vectorLineIntegral
The line integral (work) of a vector field along a parameterized curve: the integral of F . dr.
field (array) -- the field's components, e.g. [y, x]
coords (string) -- the coordinate names as a list, e.g. [x, y, z]
curve (array) -- e.g. [t, t^2]
param (string) -- the parameter
lower (symbolic) -- parameter start
upper (symbolic) -- parameter end
fluxIntegral
The flux of a vector field through a parameterized surface r(u, v), oriented by r_u x r_v.
field (array) -- e.g. [0, 0, 1]
coords (string) -- the coordinate names as a list, e.g. [x, y, z]
surface (array) -- e.g. [u, v, 0]
u (string) -- first parameter
u_lower (symbolic) --
u_upper (symbolic) --
v (string) -- second parameter
v_lower (symbolic) --
v_upper (symbolic) --
surfaceArea
The area of a parameterized surface r(u, v) over a parameter rectangle.
surface (array) -- e.g. [u, v, 0]
u (string) -- first parameter
u_lower (symbolic) --
u_upper (symbolic) --
v (string) -- second parameter
v_lower (symbolic) --
v_upper (symbolic) --
volumeIntegral
The integral of a scalar field over a parameterized volume; orientation says whether the Jacobian is "nonnegative" or "nonpositive".
field (symbolic) -- e.g. 1
coords (string) -- the coordinate names as a list, e.g. [x, y, z]
volume (array) -- e.g. [u, v, w]
orientation (string) -- "nonnegative" or "nonpositive"
u (string) --
u_lower (symbolic) --
u_upper (symbolic) --
v (string) --
v_lower (symbolic) --
v_upper (symbolic) --
w (string) --
w_lower (symbolic) --
w_upper (symbolic) --
criticalPoints
The stationary points of a polynomial, each with its multiplicity and whether it is a local minimum, maximum or degenerate. Roots gtmath cannot find exactly are reported as an unresolved factor.
poly (symbolic) -- e.g. x^3 - 3*x
wrt (string) -- the variable, unquoted (e.g. x)
curveAnalysis
Where a polynomial is increasing/decreasing and concave up/down, as intervals.
poly (symbolic) -- e.g. x^3 - 3*x
wrt (string) -- the variable, unquoted (e.g. x)
extrema
The absolute minimum and maximum of a polynomial on a closed interval, with where they occur.
poly (symbolic) -- e.g. x^3 - 3*x
wrt (string) -- the variable, unquoted (e.g. x)
lower (number) -- left end
upper (number) -- right end
tangentLine
The tangent line to y = p(x) at a point, for a polynomial p.
poly (symbolic) -- e.g. x^2
wrt (string) -- the variable, unquoted (e.g. x)
point (number) -- the x-coordinate
normalLine
The normal line to y = p(x) at a point, for a polynomial p (a vertical line when the tangent is horizontal).
poly (symbolic) -- e.g. x^2
wrt (string) -- the variable, unquoted (e.g. x)
point (number) -- the x-coordinate
linearApprox
The linear approximation of a polynomial at a point.
poly (symbolic) -- e.g. x^3
wrt (string) -- the variable, unquoted (e.g. x)
point (number) -- the x-coordinate
implicitDiff
dy/dx for a relation F(x, y) = 0, by implicit differentiation.
relation (symbolic) -- F, meaning F = 0, e.g. x^2 + y^2 - 25
x (string) -- the independent variable
y (string) -- the dependent variable
substAll
Substitutes several variables at once: substAll(e, [x, y], [1, t]).
expr (expression) --
names (name list) --
values (expression list) --