GitHub - fbrausse/kirk: Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)

fbrausse / kirk Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Kommon Interface for Real Kommunication: lcd-rep(Reals in Exact Real Computations)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
hkirk-irram		hkirk-irram
hkirk		hkirk
kirk-irram		kirk-irram
kirk		kirk
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
Makefile.org		Makefile.org
README		README
config.mk		config.mk
lib.mk		lib.mk

Repository files navigation

The iRRAM-backend of version of kirk depends on my master-branch of iRRAM,
	<https://github.com/fbrausse/iRRAM>

There is a preliminary Haskell binding is implemented using the hmpfr library,
	<https://hackage.haskell.org/package/hmpfr>
which uses the function 'peekP' to construct Data.Number.MPFR objects from raw
data. This function has not been exposed by hmpfr before v0.4.3. It is enabled
by the Makefile automatically, if 'ghc-pkg' finds hmpfr-0.4.3.

Another Haskell MPFR backend, rounded-0.1.0.1,
	<https://github.com/michalkonecny/rounded/tree/michal>
is selected by the Makefile, if 'ghc-pkg' finds rounded-0.1.0.1. This option
takes precedence if both are available.