The main objects upon which this package operates are the free vector, the PositionVector, the RootedVector, the VectorField, curves, surfaces, and scalar fields.  Lists cannot be used in place of vectors, and scalar fields are ordinary Maple functions and expressions.  Information about vector objects - coordinate systems and names of coordinates - are stored as attributes of the vector objects.  The About, attributes, and GetCoordinates commands can be used to recover this information.

The free vector is created in one of two ways.  The angle-bracket notation creates a free vector in the extant coordinate system.  At this point in this worksheet, that coordinate system is Cartesian.

The explicit use of the Vector command permits attaching coordinates to the free vector.

In each case, the free vector is really a point.  In Cartesian coordinates, the free vector ${\mathbf{v}}_1$ is a vector from the origin to the point $\left(a\,b\,c\right)$, and the identification of the point with the free vector is permissible because the unit basis vectors are everywhere parallel.

By analogy, the free vector ${\mathbf{v}}_2$ is a point in a rectangular frame with axes labeled $r$ (horizontal) and $\mathrm{\θ}$ (vertical).  In this frame, the point with polar coordinates $\left(r\,\mathrm{\θ}\right)\=\left(a\,b\right)$ is connected to the origin with an arrow, and this arrow is ${\mathbf{v}}_2$.

Information about ${\mathbf{v}}_1$ and ${\mathbf{v}}_2$ is obtained as follows.

The VectorField command is used to create a vector field.

The unit basis vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_x$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_y$ are used in place of $\mathbf{i}$ and $\mathbf{j}$, respectively.  The bar denotes that the domain of these basis vectors is the underlying Cartesian space, and that the vectors themselves are position dependent.  Of course, in Cartesian coordinates, these basis vectors are independent of position, but the bar is still used to denote that these are the "moving" basis vectors that are defined at each point in the space supporting the vector field, and that are given in the coordinate system in which the vector field is given.

Alternatively, the vector field

defines a field of vectors whose domain is each point (except for the origin) in the Cartesian plane on which the coordinate curves of the polar coordinate system have been "pulled back."  This is the familiar view of polar coordinates superimposed on the Cartesian plane - concentric circles as lines of constant $r$, and radial rays as lines of constant $\mathrm{\θ}$.  In this view of the change of coordinates to polar coordinates, the vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}$ are position dependent.  These "moving" basis vectors change direction from point to point, and are not to be confused with the basis vectors appearing in

If the evalVF command is used to evaluate the vector field G at a point in the Cartesian plane, the result is a RootedVector.  For example, evaluating $\mathbf{G}$ at the Cartesian point whose polar-coordinate description is $\left(r\,\mathrm{\θ}\right)\=\left(a\,b\right)$ is effected by

because the free vector ${\mathbf{v}}_2$ is the Maple representation of the point whose polar coordinates are $\left(a\,b\right)$.  Indeed, we have

The root point is the point of "attachment" for the single vector ${\mathbf{G}}_1$, which is actually a "bound" vector, bound to the root point.

A rooted vector can be defined directly with the RootedVector command.

To verify that this is a vector in polar coordinates, rooted at the polar point $\left(r\,\mathrm{\θ}\right)\=\left(3\,\frac{\mathrm{\π}}{5}\right)\,$ use

Information about the rooted vector is actually stored in a module that could be created with the VectorSpace command.

The vector space is the set of all vectors of appropriate dimension that have their root point at $\left(r\,\mathrm{\θ}\right)\=\left(3\,\frac{\mathrm{\π}}{5}\right)\.$  The basis for this vector space is the vectors $\left\{{\stackrel{\&conjugate0;}{\mathbf{e}}}_r\,{\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}\right\}\,$the moving basis vectors defined at the root point.  Individual vectors in this space can be created as module exports via the syntax

That ${\mathbf{v}}_4$ is the vector $\mathrm{\α} {\stackrel{\&conjugate0;}{\mathbf{e}}}_r\+\mathrm{\β} {\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}$ rooted at the point $\left(r\,\mathrm{\θ}\right)\=\left(3\,\frac{\mathrm{\π}}{5}\right)$ can be see with

Creating rooted vectors via the VectorSpace command works well when many such vectors will have the same root point.  The RootedVector command is most convenient for single rooted vectors.

Finally, there is the PositionVector command that creates the radius-vector form of curves and surfaces.  The vectors

are PositionVectors, vectors from the origin of a Cartesian frame to the relevant point in that frame.  Points can be parametrized by up to two parameters;  a one-parameter family of points represents a curve, and a two-parameter family, a surface.  Indeed, we have

The PositionVector construct applies only in Cartesian coordinates.  The Position Vector

describes the origin-centered circle of radius 2 drawn in the Cartesian plane, as we see from

Consequently, in the Cartesian plane the PositionVector, the free vector, and the vector rooted at the origin are essentially the same arrow, but because these are represented in the VectorCalculus package by distinct data structures, they are not necessarily recognized by Maple as being the same.  Thus, the package provides the ConvertVector command for converting one form of the Cartesian vector to another.

A final word about the visual display of vectors and vector fields in the VectorCalculus package.  The default display for free vectors and vector fields is explicitly in terms of basis vectors.  This display can be changed to a column-vector format with the BasisFormat command.  The setting

causes the displays to be

respectively, for a free vector and a vector field.  The PositionVector is always displayed as a column vector.

The MapToBasis command imposes a change of coordinates on a vector or vector field.  For example, to express the Cartesian vector field

in polar coordinates, use

This is equivalent to expressing the unit basis vectors $\mathbf{i}$ and $\mathbf{j}$ in terms of the vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}\,$then making the substitutions $x\=r \cos \left(\mathrm{\θ}\right)\,y\=r \sin \left(\mathrm{\θ}\right)$.  This calculation can be carried out from first principles if the following position vector is first defined.

The basis vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}$ are obtained from R via

Writing these vectors in terms of $\mathbf{i}$ and $\mathbf{j}$ can be done with

Solving for $\mathbf{i}$ and $\mathbf{j}$ in terms of vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}\,$we get

Representing the vector field $\mathbf{F}$ in terms of $\mathbf{i}$ and $\mathbf{j}$, then replacing $\mathbf{i}$ and $\mathbf{j}$ with their equivalents in terms of the vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}\,$we get

Making the substitutions $x\=r \cos \left(\mathrm{\θ}\right)\, y\=r \sin \left(\mathrm{\θ}\right)$, we get

A final rearrangement of terms, and an identification of $\mathrm{er}$ and $\mathrm{et}$ with vectors ${\stackrel{\&conjugate0;}{\mathbf{e}}}_r$ and ${\stackrel{\&conjugate0;}{\mathbf{e}}}_{\mathrm{\θ}}\,$respectively, gives

which compares favorably with

The MapToBasis command can also be used to transform a point in one coordinate system to its representation in another.  Setting

will make the result of

easier to understand.  The Cartesian point $\left(x\,y\right)\=\left(1\,2\right)$, represented as a free vector, has been transformed to $\left(r\,\mathrm{\θ}\right)\=\left(\sqrt{5}\,\arctan \left(2\right)\right)\,$also given as a free vector.  This is not a vector transformation.  The MapToBasis command applies the contravariant transformation law to a rooted vector or a vector field.  Applied to a free vector, it transforms just the components.  The basis vectors are not so transformed because the free vector is not a vector; it is really just a representation of a point in curvilinear coordinates.

The Student[VectorCalculus] package contains Divergence, Gradient, Curl, and Laplacian commands.
The Del and Nabla commands are synonyms for the Gradient command.

The Student[VectorCalculus] package contains space curve commands. Most space curve commands can return a plot or animation.
Consider the following helix.

To plot the helix, use the SpaceCurve command.
The range of the space curve parameter, in this case 't', must be specified. The axes and scaling options are standard Maple plotting options. For more information about plotting options, see plot/option and plot3d/option.

All the space curve plotting commands have the same syntax: command(space curve definition, options). For some commands you must specify the option output = plot or output = animation to generate visual output.

Using the helix example, calculate the tangent vector (TangentVector)

Animate the principal normal vector (PrincipalNormal)

Plot four binormal vectors (Binormal)

To plot, animate, or compute the unit tangent, normal, and binormal vectors, use the TNBFrame command.

First, plot the unit tangent, normal, and binormal vectors.

Compute the unit binormal vector.

Plot the unit tangent vector.

Create an animation of the unit tangent and binormal vectors.

To plot the osculating circles of a space curve, use the RadiusOfCurvature command.

The package includes other space curve commands that return only values, for example, Curvature and Torsion.

All space curve commands that return plots can also plot two-dimensional curves, except the Binormal and RadiusOfCurvature commands.

In addition to Divergence and Curl, VectorFields have two main associated commands: VectorField and FlowLine.

As previously mentioned, the VectorField command creates VectorFields. You can also use it to plot VectorFields.

The FlowLine command can plot or animate the flow line emanating from a specified starting point.
You can also create an animation that shows the path of an indicator flowing through the vector field along the flow line.

Using the output = plot option, you can visually represent the integral for a LineInt or Flux command before solving the problem.

The LineInt command computes a line integral, which is also commonly known as a work integral.
The command has four domain types over which it can be integrated: Path, Line, LineSegments, and Circle.
The Circle domain is available only in two dimensions, the others are available in two or three dimensions.

Visually represent a line integral over an ellipse, and compute the integral. Note the direction of the tangent vector.

To reverse the direction of the path (and tangent vector), reverse the endpoints of the parameter range in the Path definition.

You can calculate the flux integral using the Flux command. The domains over which you can integrate are:
       (In two dimensions)  Circle, Line, LineSegments, and Path
       (In three dimensions)  Box, Sphere, and Surface
You can specify the direction of the normal vector for Circle, Sphere, and Box domains by including the word 'outward' or 'inward' as the last argument of the domain function. The default value is 'outward'.

Visually represent a flux integral over an ellipse, and compute the integral. Note the direction of the tangent vector.

To reverse the direction of the path (and tangent vector), reverse the endpoints of the parameter range in the Path definition.

There are two interactive commands in the Student[VectorCalculus] package: SpaceCurveTutor and VectorFieldTutor.
The VectorFieldTutor provides a point-and-click interface to the FlowLine command. The SpaceCurveTutor provides a point-and-click interface to the space curve plotting functionality.