Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
Open more actions menu

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

103 Commits
103 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SymEngine-hs

Build Status Test Coverage Issue Count

Haskell bindings to SymEngine

Prerequisites

Stack, a Haskell build tool

Stack is a Haskell build tool, which allows for cross-platform, reproducible builds.

The build toolchain of this project depends on stack, so please follow the installation instructions as outlined here

SymEngine, the library that this package provides a Haskell interface for

Please go through the SymEngine installation instructions, and make sure that the header files as well as the libraries

  • symengine
  • gmp
  • gmpxxx

Since these are hard dependencies for SymEngine-hs to build.

Getting started

To quickly build and check everything is working, run

stack build && stack test

All of the test cases should pass with SymEngine

Playing around in the interpreter

to launch a GHCi session, execute the interpreter with

stack ghci --ghci-options " -lstdc++ -lgmpxx -lgmp -lsymengine -L/usr/local/lib/"

Make sure that you have built symengine.so (NOTE: you _need the shared object, and not just the library), and have installed the shared object as well.

Once you are inside GHCi, you can execute basic functions such as basic_const_zero, basic_const_one, etc.

A typical interpreter session will look like this:

GHCi session with Symengine loaded
---

*Symengine Symengine> basic_const_zero
0
*Symengine Symengine> basic_const_zero
0
*Symengine Symengine> basic_const_one
1
*Symengine Symengine> basic_const_minus_one
-1

Things to Do

[TODO: fill this up]

Contributing

[TODO: fill this up]

License

All code is released under the MIT License.

About

Haskell bindings to SymEngine

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages

Morty Proxy This is a proxified and sanitized view of the page, visit original site.