Skip to content

Bindings for the factory library used by Singular to perform polynomial algebra computations

Notifications You must be signed in to change notification settings

beschmi/factory-ocaml-bindings

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

C++ libraries

To get the required C++ libraries, follow these instructions.

  1. download and install NTL from http://www.shoup.net/ntl/ntl-9.7.1.tar.gz

On Linux:

cd src
./configure NTL_GMP_LIP=on SHARED=on
make
sudo make install

On OS X:

cd src
./configure NTL_GMP_LIP=on SHARED=on LIBTOOL="glibtool --tag=CC"
make
sudo make install
  1. download and install libfactory from http://www.mathematik.uni-kl.de/ftp/pub/Math/Factory/factory-4.0.2.tar.gz

On Linux and OS X:

./configure --disable-streamio --without-Singular --disable-static
make
sudo make install

Installation

oasis setup
./configure
make
make install

About

Bindings for the factory library used by Singular to perform polynomial algebra computations

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published