Lists of numbers

Author(s): The CLIP Group.

Version: 1.11#113 (2003/12/22, 18:22:36 CET)

This module implements some kinds of lists of numbers.

• Usage and interface (numlists)
• Documentation on exports (numlists)

Usage and interface (numlists)

Documentation on exports (numlists)

PREDICATE: get_primes/2:

Usage: get_primes(N, Primes)

• Description: Computes the Nth first prime numbers in ascending order.
• The following properties should hold at call time: N is an integer. (basic_props:int/1)
• The following properties should hold upon exit: Primes is a list of integers. (numlists:intlist/1)

REGTYPE: intlist/1:

Usage: intlist(X)

• Description: X is a list of integers.

REGTYPE: numlist/1:

Usage: numlist(X)

• Description: X is a list of numbers.

PREDICATE: sum_list/2:

Usage: sum_list(List, N)

• Description: N is the total sum of the elements of List.
• The following properties should hold at call time: List is a list of numbers. (numlists:numlist/1)
• The following properties should hold upon exit: N is a number. (basic_props:num/1)

PREDICATE: sum_list/3:

Usage: sum_list(List, N0, N)

• Description: N is the total sum of the elements of List plus N0.
• The following properties should hold at call time: List is a list of numbers. (numlists:numlist/1) N0 is a number. (basic_props:num/1)
• The following properties should hold upon exit: N is a number. (basic_props:num/1)

PREDICATE: sum_list_of_lists/2:

Usage: sum_list_of_lists(Lists, N)

• Description: N is the total sum of the elements of the lists of Lists.
• The following properties should hold at call time: List is a list of numlists. (basic_props:list/2)
• The following properties should hold upon exit: N is a number. (basic_props:num/1)

PREDICATE: sum_list_of_lists/3:

Usage: sum_list_of_lists(Lists, N0, N)

• Description: N is the total sum of the elements of the lists of Lists plus N0.
• The following properties should hold at call time: List is a list of numlists. (basic_props:list/2) N0 is a number. (basic_props:num/1)
• The following properties should hold upon exit: N is a number. (basic_props:num/1)

Go to the first, previous, next, last section, table of contents.