• Synopsis
    Libraries with a binary representation of natural and integers
  • Categories
    Data Numeric
  • Versions
    3.0.0 2.0.0 0.0.1
  • Dependencies
  • Author
    Brassel/Fischer/Huch
  • Maintainer
    Michael Hanus <mh@informatik.uni-kiel.de>
  • Compiler requirements
    pakcs  >= 1.14.0, < 2.0.0 kics2  >= 0.5.0, < 2.0.0
  • Exported modules
    BinInt ConvertBinInt
  • Description
    This package contains libraries with data types for a binary representation of natural and integer numbers. The advantage of this algebraic definition in contrast to built-in integers is the possibility to use them also for narrowing, i.e., functional logic programming. Since the operations are also quite efficient compared to a simple Peano representations, this library is also the basis of the implementation of integers in the Curry implementation KiCS2.
  • License
  • Further infos:
Uploaded at Apr 1 11:56:45 2020 (UTC)

Curry Package binint

binint - Binary representation of natural and integer numbers

This package contains libraries with data types for a binary representation of natural and integer numbers. It is based on the paper Declaring Numbers by Brassel/Fischer/Huch ENTS 216, 2008.

The advantage of this algebraic definition in contrast to built-in integers is the possibility to use them also for narrowing, i.e., functional logic programming. Since the operations are also quite efficient compared to a simple Peano representations, this library is also the basis of the implementation of integers in the Curry implementation KiCS2.

Download

Checkout with CPM:
cypm checkout binint 0.0.1
Package source:
binint-0.0.1.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/binint.git