homepage: ''
changelog-type: markdown
hash: 7593c7395b996556d3f0aa54b2f8c73a41feb65c87dc03541cd579fae4d0ba23
test-bench-deps: {}
maintainer: lukas9@mi.fu-berlin.de
synopsis: Framework for Exact Real Arithmetic in the Positional Number System
changelog: ! '# Revision history for exact-real-positional


  ## 0.0.0  -- YYYY-mm-dd


  * First version. Released on an unsuspecting world.

'
basic-deps:
  base: ! '>=4.9 && <4.10'
all-versions:
- '0.0.0'
author: grlks
latest: '0.0.0'
description-type: markdown
description: ! '# exact-real-positional

  Framework for Exact Real Arithmetic in the Positional Number System (Base 2, digits
  -1, 0, 1)


  Most implementations of exact real arithmetic are using continued fractions to

  represent computable reals. Exact real arithmetic with a positional number

  system was the original concept in Alan Turing''s "On Computable Numbers".

  The positional number system has some more or less obvious advantages over

  continued fractions. This software was developed during my bachelor thesis

  and should not be useful in this early stage, except for demo purposes.

'
license-name: BSD3

Update from Hackage at 2017-07-20T21:36:14Z
Update from Hackage at 2017-07-20T21:36:14Z
