ufs_ispositive, ufs_isnonnegative, ufs_type - check a quadratic form for definiteness

Calling sequence:

ufs_ispositive(M)

ufs_isnonnegative(M)

ufs_type(M)

Parameters:

M - a symmetric matrix defining a quadratic form [Maple Math]

Synopsis:

ufs_ispositive checks whether [Maple Math] is positive definite or not.

ufs_isnonnegative checks whether [Maple Math] is positive semidefinite or not.

ufs_type calculates the definiteness type of [Maple Math] . This function returns either `indefinite`, `non negative definite` or `positive definite`.

The argument must be a symmetric matrix, otherwise an error occurs.

Example:

> A:=matrix([[2,-2,0,0,1],[-2,2,0,0,-1],[0,0,2,2,0],[0,0,2,2,0],[1,-1,0,0,2]]);

[Maple Math]

> ufs_ispositive(A);

[Maple Math]

> ufs_isnonnegative(A);

[Maple Math]

> ufs_type(A);

[Maple Math]

Back to:
start page of the crep online manual, ufstrong