• 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  >= 2.0.0 kics2  >= 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:47 2020 (UTC)
Succesfully tested at Feb 16 03:35:52 2023

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 2.0.0
Package source:
binint-2.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/binint.git