libsemigroups / libsemigroups_cppyy Goto Github PK

View Code? Open in Web Editor NEW

6.0 3.0 9.0 240 KB

Python package for using the C++ library libsemigroups via cppyy

License: GNU General Public License v3.0

Python 51.57% Jupyter Notebook 47.71% C++ 0.54% Makefile 0.07% Dockerfile 0.11%

libsemigroups_cppyy's Introduction

libsemigroups_cppyy

libsemigroups_cppyy is an experimental package for using the C++ library libsemigroups in python via cppyy.

Installation

Install libsemigroups, via its sources or conda package.

By conda: Add conda-forge to an installation of anaconda:

conda config --add channels conda-forge

And then download libsemigroups, specifying the version (1.0.6)

conda install libsemigroups=1.0.6

Then install cppyy and networkx via conda or pip:

conda install cppyy
conda install networkx

To use cppyy, note you will need gcc.

Finally, for normal use, git clone this repository and then run:

pip install .

Refer to demo.ipynb for more functionality.

Docker

If you have Docker installed, you can download this container using:

docker pull libsemigroups/libsemigroups_cppyy

The docker container for libsemigroups_cppyy can be started by typing:

docker run --rm -it libsemigroups/libsemigroups_cppyy

and in the docker container you can start python by typing:

python3

Load the libsemigroups_cppyy package in python by typing

import libsemigroups_cppyy

libsemigroups_cppyy's People

Contributors

Stargazers

Watchers

Forkers

nthiery james-d-mitchell hivert flsmith mtwhyte haraldschilly joshp112358 mariatsalakou stjordanis

libsemigroups_cppyy's Issues

Update the readme file, it's completely out of date

Add a conda feedstock

This would allow a full installation of libsemigroups_cppyy to be achieved via conda -c conda-forge install libsemigroups_cppyy.

This happens, which is bad.

>>> S = FroidurePin(Transformation([1, 0]))
>>> S.cbegin_idempotents()
input_line_60:6:219: error: 'IteratorPairFirstTraits' is a private member of
      'libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,
      libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned
      char> > >'
  ...char> > >::IteratorPairFirstTraits>) (((libsemigroups::FroidurePin<libse...
                ^
/usr/local/include/libsemigroups/froidure-pin-impl.hpp:1593:24: note: declared private here
  struct FROIDURE_PIN::IteratorPairFirstTraits
                       ^
input_line_60:6:409: error: no member named 'cbegin_idempotents' in
      'libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,
      libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned
      char> > >'
  ...((libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >*)obj)->c...
     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  ^
input_line_60:10:170: error: no member named 'cbegin_idempotents' in
      'libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,
      libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned
      char> > >'
  ...((libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >*)obj)->c...
     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  ^
Error in <TClingCallFunc::make_wrapper>: Failed to compile
  ==== SOURCE BEGIN ====
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wformat-security"
__attribute__((used)) extern "C" void __cf_23(void* obj, int nargs, void** args, void* ret)
{
   if (ret) {
      new (ret) (libsemigroups::detail::ConstIteratorStateless<libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >::IteratorPairFirstTraits>) (((libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >*)obj)->cbegin_idempotents());
      return;
   }
   else {
      ((libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >*)obj)->cbegin_idempotents();
      return;
   }
}
#pragma clang diagnostic pop
  ==== SOURCE END ====
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: libsemigroups::detail::ConstIteratorStateless<libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >::IteratorPairFirstTraits> libsemigroups::FroidurePin<libsemigroups::Transformation<unsigned char>,libsemigroups::FroidurePinTraits<libsemigroups::Transformation<unsigned char> > >::cbegin_idempotents() =>
    ValueError: nullptr result where temporary expected
>>>

Create documentation infrastructure with sphinx

Add to PyPI

This would allow libsemigroups_cppyy to be pip installed, this would still require libsemigroups itself to system installed.

Make the package work with pypy

Currently I can't get cppyy to import properly in pypy, never mind libsemigroups_cppyy

Construction of transformation doesn't complete with fixed points.

Python 3.6.9 (default, Nov  7 2019, 10:44:02) 
[GCC 8.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from libsemigroups_cppyy import Transformation
>>> Transformation([9, 3, 1, 2, 0, 8, 1, 2, 0, 5])
Transformation([9, 3, 1, 2, 0, 8, 1, 2, 0, 5, 0, 0, 0, 0, 0, 0])

This should be

Transformation([9, 3, 1, 2, 0, 8, 1, 2, 0, 5, 10, 11, 12, 13, 14, 15])

In HPCombi

PTransf16({}) == PTransf16::one();

congruence by pairs error

This happens

In [1]: from libsemigroups_cppyy import CongruenceByPairs, FroidurePin, Transfor
...: mation

In [2]: S = FroidurePin(Transformation([1,2,3,0]), Transformation([1,0,2,3]))

In [3]: C_right = CongruenceByPairs("right",S)
hai

TypeError Traceback (most recent call last)
in
----> 1 C_right = CongruenceByPairs("right",S)

~/Desktop/libsemigroups_cppyy/libsemigroups_cppyy/cong_pair.py in CongruenceByPairs(t, S)
30 raise TypeError('Expected one of "right", "left", or "twosided"')
31 cp_type = cppyy.gbl.libsemigroups.CongruenceByPairs(type(S).element_type)
---> 32 return cppyy.gbl.make[type(S)](pj, S)

TypeError: Could not instantiate make<libsemigroups::FroidurePin<libsemigroups::Transformation,libsemigroups::FroidurePinTraits<libsemigroups::Transformation > >>:
Failed to instantiate "make<libsemigroups::FroidurePin<libsemigroups::Transformation,libsemigroups::FroidurePinTraits<libsemigroups::Transformation > >>(int,libsemigroups::FroidurePin<libsemigroups::Transformation,libsemigroups::FroidurePinTraits<libsemigroups::Transformation > >&)"