The VerifyTools package is a collection of tools for extending the set of known verifications able to be used by the verify command.

This package can be used to extend the verify command with user-defined verifications. AddVerification(t,h) installs a handler h for a new verification ver. Subsequent calls to verify(expr1, expr2, ver) invoke this handler.

Each command in the VerifyTools package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

The long form, VerifyTools:-command, is always available. The short form can be used after loading the package.

The following is a list of available commands.

To display the help page for a particular VerifyTools command, see Getting Help with a Command in a Package.

The VerifyTools package was introduced in Maple 2025.

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