protocol

quadrature_protocol

Protocol for finite-interval scalar numerical quadrature algorithms.

Availability:
logtalk_load(numerical_analysis(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-09-04
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

integrate/3

Integrates the function over the given finite interval using default options.

Compilation flags:
static
Template:
integrate(Lower,Upper,Integral)
Mode and number of proofs:
integrate(+number,+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)
The function returns a non-numeric value:
domain_error(function_value,Value)

integrate/4

Integrates the function over the given finite interval using the given options.

Compilation flags:
static
Template:
integrate(Lower,Upper,Integral,Options)
Mode and number of proofs:
integrate(+number,+number,-number,+list(compound)) - one_or_error
Exceptions:
An integration bound or Options is a variable:
instantiation_error
An integration bound is not a number:
type_error(number,Bound)
Options is not a list or contains an invalid option:
domain_error(options,Options)
The function returns a non-numeric value:
domain_error(function_value,Value)

integrate/5

Integrates the function and returns run statistics using the given options.

Compilation flags:
static
Template:
integrate(Lower,Upper,Integral,Statistics,Options)
Mode and number of proofs:
integrate(+number,+number,-number,-list(compound),+list(compound)) - one_or_error
Exceptions:
An integration bound or Options is a variable:
instantiation_error
An integration bound is not a number:
type_error(number,Bound)
Options is not a list or contains an invalid option:
domain_error(options,Options)
The function returns a non-numeric value:
domain_error(function_value,Value)

Protected predicates

(none)

Private predicates

(none)

Operators

(none)