verify_vector_axioms Interface

public interface verify_vector_axioms

Module Procedures

private function verify_vector_axioms_rsp(x, ntrials, tolerance) result(success)

Deals with optional argument. Run all tests to verify axioms. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vectors. Check commutativity. Exit if the test fails. Generate random vector. Check zero element. Exit if the test fails. Generate random vector. Check additive inverse. Exit if the test fails. Generate random vector. Check identity. Exit if the test fails. Generate random vectors. Check associativity. Exit if the test fails. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vector. Check distributivity. Exit if the test fails.

Arguments

Type IntentOptional Attributes Name
class(abstract_vector_rsp), intent(in) :: x

Derived-type whose implementation needs to be tested.
integer, intent(in), optional :: ntrials

Number of random samples generated for the tests.
real(kind=sp), intent(in), optional :: tolerance

Return Value logical

private function verify_vector_axioms_rdp(x, ntrials, tolerance) result(success)

Deals with optional argument. Run all tests to verify axioms. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vectors. Check commutativity. Exit if the test fails. Generate random vector. Check zero element. Exit if the test fails. Generate random vector. Check additive inverse. Exit if the test fails. Generate random vector. Check identity. Exit if the test fails. Generate random vectors. Check associativity. Exit if the test fails. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vector. Check distributivity. Exit if the test fails.

Arguments

Type IntentOptional Attributes Name
class(abstract_vector_rdp), intent(in) :: x

Derived-type whose implementation needs to be tested.
integer, intent(in), optional :: ntrials

Number of random samples generated for the tests.
real(kind=dp), intent(in), optional :: tolerance

Return Value logical

private function verify_vector_axioms_csp(x, ntrials, tolerance) result(success)

Deals with optional argument. Run all tests to verify axioms. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vectors. Check commutativity. Exit if the test fails. Generate random vector. Check zero element. Exit if the test fails. Generate random vector. Check additive inverse. Exit if the test fails. Generate random vector. Check identity. Exit if the test fails. Generate random vectors. Check associativity. Exit if the test fails. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vector. Check distributivity. Exit if the test fails.

Arguments

Type IntentOptional Attributes Name
class(abstract_vector_csp), intent(in) :: x

Derived-type whose implementation needs to be tested.
integer, intent(in), optional :: ntrials

Number of random samples generated for the tests.
real(kind=sp), intent(in), optional :: tolerance

Return Value logical

private function verify_vector_axioms_cdp(x, ntrials, tolerance) result(success)

Deals with optional argument. Run all tests to verify axioms. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vectors. Check commutativity. Exit if the test fails. Generate random vector. Check zero element. Exit if the test fails. Generate random vector. Check additive inverse. Exit if the test fails. Generate random vector. Check identity. Exit if the test fails. Generate random vectors. Check associativity. Exit if the test fails. Generate random vectors. Check distributivity. Exit if the test fails. Generate random vector. Check distributivity. Exit if the test fails.

Arguments

Type IntentOptional Attributes Name
class(abstract_vector_cdp), intent(in) :: x

Derived-type whose implementation needs to be tested.
integer, intent(in), optional :: ntrials

Number of random samples generated for the tests.
real(kind=dp), intent(in), optional :: tolerance

Return Value logical