category

quadrature(Function)

  • Function - Object implementing univariate_function_protocol.

Common option handling and validation for scalar quadrature algorithms.

Availability:
logtalk_load(numerical_analysis(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-09-04
Compilation flags:
static
Implements:
public quadrature_protocol
Extends:
public options
Uses:
type
Remarks:
(none)
Inherited public predicates:
 check_option/1  check_options/1  default_option/1  default_options/1  integrate/3  integrate/4  integrate/5  option/2  option/3  valid_option/1  valid_options/1

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

evaluate_integrand/2

Evaluates the integrand and checks that it returns a number.

Compilation flags:
static
Template:
evaluate_integrand(Argument,Value)
Mode and number of proofs:
evaluate_integrand(+number,-number) - one_or_error
Exceptions:
The integrand returns a non-numeric value:
domain_error(function_value,Value)

check_bounds/2

Checks that both integration bounds are instantiated numbers.

Compilation flags:
static
Template:
check_bounds(Lower,Upper)
Mode and number of proofs:
check_bounds(+number,+number) - one_or_error
Exceptions:
An integration bound is a variable:
instantiation_error
An integration bound is not a number:
type_error(number,Bound)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)