verify/Vector - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/Vector

verify/Vector

verify a relation between the elements of two Vectors

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

verify(expr1, expr2, Vector)

verify(expr1, expr2, 'Vector'(ver))

verify(expr1, expr2, Vector[o])

verify(expr1, expr2, 'Vector[o]'(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type Vector

ver

-

verification for the Vector elements

o

-

Vector orientation, either row or column

Description

• 

The verify(expr1, expr2, Vector), verify(expr1, expr2, 'Vector'(ver)), verify(expr1, expr2, Vector[o]) and verify(expr1, expr2, 'Vector[o]'(ver)) calling sequences return true if it can be determined that the two Vectors satisfy a relation elementwise, either by testing with equality or using the verification ver. If an orientation o is given, then the two Vectors must also have the given orientation.

• 

If true is returned, then each of the pairs of elements satisfied the relation. If false is returned, then at least one pair of elements did not satisfy the relation (a result of type verify(false)). Otherwise, FAIL is returned, indicating that for at least one pair of elements it could not be determined whether or not they satisfied the relation (a result of type verify(FAIL)).

• 

The verification Vector is symmetric and a verification 'Vector'(ver) is symmetric if and only if the verification ver is symmetric.

• 

Since Vector is a Maple function, it must be enclosed in single quotes to prevent evaluation.

• 

If either expr1 or expr2 is not of type Vector, then false is returned.

• 

The special verifications %NULL, seq, and &, can be used to verify an expression sequence in a Vector. See verify/exprseq.

Examples

u1Vector2,1,x1x

u1:=1x1x

(1)

u2Vector2,1,xx2

u2:=1x2+x

(2)

verifyu1,u2,'Vector'

false

(3)

verifyu1,u2,'Vectorexpand'

true

(4)

v1Vector2,0.3222,0.5001

v1:=0.32220.5001

(5)

v2Vector2,0.3223,0.5000

v2:=0.32230.5000

(6)

verifyv1,v2,'Vector'

false

(7)

verifyv1,v2,'Vectorfloat106'

true

(8)

Compatibility

• 

The verify/Vector command was updated in Maple 2015.

See Also

LinearAlgebra[Equal]

Vector

verify

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam