This command computes loop trajectories for the WhileLoop loop.  The trajectories start the point(s) given by seedpoints.  These points are formed of loop's parameters and variables, formed as the list $\left[\mathrm{loop}\:-{\mathrm{variables}}_{}\,\mathrm{loop}\:-{\mathrm{parameters}}_{}\right]$.  The loop is iterated for each of these seed points and new values are computed.

This command operates in three modes depending on the trajectorytype:

trajectorytype = plain (default) : the loop is executed as in the original procedure.  loop's  guard and branch conditions are evaluated at every iteration, causing a single trajectory to be generate per initial point and terminating as the guard condition evaluates to false or as the requested number of points is reached.

trajectorytype = inductive : the guard condition is ignored while iterating the loop so that the generated trajectories may continue beyond their natural end points.

trajectorytype = absolute : both the guard and branch conditions of the loop are ignored.  At each iteration, the trajectory is split so that it follows each branch in the loop's if statement as if the branches were all simultaneously taken.

The loop will be iterated until at least n distinct points are generated, if possible.  The number of returned points may be fewer than n if the loop terminates prematurely due to the guard condition or if the trajectories loop back onto themselves and cease to generate new points.

The evaluation of the loop trajectories can optionally be conducted modulo p.  By default, the computations are done without modular arithmetic in a characteristic zero field.

$\mathrm{with}\left(\mathrm{CodeTools}\left[\mathrm{ProgramAnalysis}\right]\right)\:$

The CodeTools[ProgramAnalysis][TrajectoryPoints] command was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.