reverse - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


verify/reverse

verify the reverse of a relationship in a list or set

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

verify(expr1, expr2, reverse(ver))

Parameters

expr1

-

anything

expr2

-

anything

ver

-

verification

Description

• 

The command verify(expr1, expr2, reverse(ver)) is equivalent to verify(expr2, expr1, ver).

• 

This verification is symmetric only if ver is symmetric (and in that case, one might as well use ver instead of reverse(ver)).

Examples

verifya,b,c,a,reversemember

true

(1)

verifya,b,c,x,reversemember

false

(2)

Compatibility

• 

The verify/reverse command was introduced in Maple 2023.

• 

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

See Also

verify