CADiZ

Reference manual / Standard toolkit / section standard_toolkit


Introduction

The mathematical toolkit is an optional extension to the compulsory core language. It comprises a hierarchy of related sections, each defining operators that are widely used in common application domains.

The division of the mathematical toolkit into separate sections allows specific ones to be reused or replaced. For example, sequence_toolkit could be bypassed if not needed, and function_toolkit could be replaced without affecting number_toolkit.

A specification without a section header has section standard_toolkit as parent by default.

Standard toolkit

section standard_toolkit parents sequence_toolkit

The standard toolkit contains the definitions of section sequence_toolkit (and implicitly those of its ancestral sections).


IT 4-Jul-2000