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. Generate random vectors. Check commutativity. Generate random vector. Check zero element. Generate random vector. Check identity. Generate random vectors. Check associativity. Generate random vectors. Check distributivity. Generate random vector. Check distributivity.

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. Generate random vectors. Check commutativity. Generate random vector. Check zero element. Generate random vector. Check identity. Generate random vectors. Check associativity. Generate random vectors. Check distributivity. Generate random vector. Check distributivity.

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. Generate random vectors. Check commutativity. Generate random vector. Check zero element. Generate random vector. Check identity. Generate random vectors. Check associativity. Generate random vectors. Check distributivity. Generate random vector. Check distributivity.

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. Generate random vectors. Check commutativity. Generate random vector. Check zero element. Generate random vector. Check identity. Generate random vectors. Check associativity. Generate random vectors. Check distributivity. Generate random vector. Check distributivity.

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