Lists of numbers

Version: 0.9#99 (1999/5/26, 11:33:15 MEST)

• 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.