Adding HPCombi, High Performance Combinatorics in C++ using vector
instructions, and libsemigroups, a C++ library for semigroups and monoids. To be used by SageMath.
This commit is contained in:
Thierry Thomas
parent
ad2df4c9b4
commit
cb284ba8df
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=530915
9 changed files with 572 additions and 0 deletions
|
|
@ -310,6 +310,7 @@
|
|||
SUBDIR += hexcalc
|
||||
SUBDIR += hipmcl
|
||||
SUBDIR += hmat-oss
|
||||
SUBDIR += hpcombi
|
||||
SUBDIR += hpipm
|
||||
SUBDIR += hs-Agda
|
||||
SUBDIR += hs-penrose
|
||||
|
|
@ -360,6 +361,7 @@
|
|||
SUBDIR += libpgmath
|
||||
SUBDIR += libpoly
|
||||
SUBDIR += libqalculate
|
||||
SUBDIR += libsemigroups
|
||||
SUBDIR += libranlip
|
||||
SUBDIR += librdata
|
||||
SUBDIR += librsb
|
||||
|
|
|
|||
47
math/hpcombi/Makefile
Normal file
47
math/hpcombi/Makefile
Normal file
|
|
@ -0,0 +1,47 @@
|
|||
# Created by: thierry@pompo.net
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= HPCombi
|
||||
PORTVERSION= 0.0.6
|
||||
DISTVERSIONPREFIX= v
|
||||
CATEGORIES= math devel
|
||||
|
||||
MAINTAINER= thierry@FreeBSD.org
|
||||
COMMENT= Fast combinatorics in C++ using SSE/AVX instruction sets
|
||||
|
||||
LICENSE= GPLv3
|
||||
|
||||
ONLY_FOR_ARCHS= amd64 i386
|
||||
ONLY_FOR_ARCHS_REASON= Uses Advanced Vector Extensions (AVX) instructions set
|
||||
|
||||
BUILD_DEPENDS= sparsehash>0:devel/sparsehash
|
||||
LIB_DEPENDS= libbenchmark.so:devel/benchmark
|
||||
|
||||
USE_GITHUB= yes
|
||||
GH_ACCOUNT= hivert
|
||||
|
||||
USES= cmake compiler:c++11-lang localbase:ldflags
|
||||
|
||||
#OPTIONS_DEFINE= DOXYGEN TEST
|
||||
OPTIONS_DEFINE= DOXYGEN
|
||||
OPTIONS_SUB= yes
|
||||
DOXYGEN_BUILD_DEPENDS= doxygen:devel/doxygen
|
||||
DOXYGEN_CMAKE_ON= -DAPIDOC_DIR=${DOCSDIR}
|
||||
TEST_CMAKE_ON= -DBUILD_TESTING=1
|
||||
TEST_LIB_DEPENDS= libboost_thread.so:devel/boost-libs
|
||||
|
||||
.include <bsd.port.options.mk>
|
||||
|
||||
pre-configure-DOXYGEN-off:
|
||||
${REINPLACE_CMD} -e 's/add_subdirectory(doc)/# No doc/' \
|
||||
${WRKSRC}/CMakeLists.txt
|
||||
|
||||
post-stage:
|
||||
${MKDIR} ${STAGEDIR}${DATADIR}
|
||||
${MV} ${STAGEDIR}${PREFIX}/VERSION ${STAGEDIR}${DATADIR}/
|
||||
|
||||
post-stage-DOXYGEN-on:
|
||||
${MV} ${STAGEDIR}${PREFIX}/doc/${PORTNAME}/html ${STAGEDIR}${DOCSDIR}/
|
||||
${RM} -r ${STAGEDIR}${PREFIX}/doc
|
||||
|
||||
.include <bsd.port.mk>
|
||||
3
math/hpcombi/distinfo
Normal file
3
math/hpcombi/distinfo
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
TIMESTAMP = 1586169423
|
||||
SHA256 (hivert-HPCombi-v0.0.6_GH0.tar.gz) = 612d103578c457cc756019b55224fa648350be448715db8a9a0353204648a7eb
|
||||
SIZE (hivert-HPCombi-v0.0.6_GH0.tar.gz) = 114779
|
||||
8
math/hpcombi/pkg-descr
Normal file
8
math/hpcombi/pkg-descr
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
High Performance Combinatorics in C++ using vector instructions.
|
||||
|
||||
SSE and AVX instruction sets allows for very fast manipulation of combinatorial
|
||||
objects such as transformations, permutations, boolean matrices of small size.
|
||||
The goal of this project is to implement various new algorithms and benchmark
|
||||
them on various compiler and architecture.
|
||||
|
||||
WWW: https://github.com/hivert/HPCombi
|
||||
389
math/hpcombi/pkg-plist
Normal file
389
math/hpcombi/pkg-plist
Normal file
|
|
@ -0,0 +1,389 @@
|
|||
%%DOXYGEN%%%%DOCSDIR%%/CF_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/RD_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/README_8md.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/Renner_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/Trans_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/annotated.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bc_s.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bdwn.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bmat8_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bmat8_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bmat8__impl_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/bmat8__impl_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classEqEpu8-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classEqEpu8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classHPCombi_1_1BMat8-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classHPCombi_1_1BMat8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classes.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classlibsemigroups_1_1Timer-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/classlibsemigroups_1_1Timer.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/closed.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/dir_0835bc40fd3220d56515ab1d9366feca.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/dir_259ffdacfd3254fa8cd2044150a99cf2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/dir_ca46913aaf8d188a338900ab830ae328.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/doc.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/doxygen.css
|
||||
%%DOXYGEN%%%%DOCSDIR%%/doxygen.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/dynsections.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/epu_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/epu_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/epu__impl_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/epu__impl_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/examples.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/files.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/folderclosed.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/folderopen.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_b.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_c.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_d.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_e.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_f.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_b.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_c.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_d.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_e.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_f.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_h.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_i.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_l.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_m.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_n.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_o.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_p.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_r.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_s.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_t.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_u.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_v.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_w.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_func_~.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_h.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_i.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_l.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_m.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_n.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_o.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_p.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_r.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_rela.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_s.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_t.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_type.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_u.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_v.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_vars.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_w.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/functions_~.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/globals.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/globals_defs.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/globals_func.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/globals_vars.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/hierarchy.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/hpcombi_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/hpcombi_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/image_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/index.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/jquery.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/menu.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/menudata.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespaceHPCombi.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespaceHPCombi_1_1power__helper.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacelibsemigroups.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacemembers.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_func.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_type.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_vars.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespaces.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/namespacestd.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/nav_f.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/nav_g.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/nav_h.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/open.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm16_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm16_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm16__impl_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm16__impl_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm__generic_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm__generic_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm__generic__impl_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/perm__generic__impl_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/power_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/power_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_10.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_10.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_11.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_11.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_12.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_12.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_13.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_13.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_14.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_14.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_15.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_15.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_7.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_7.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_8.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_9.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_9.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_a.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_a.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_b.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_b.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_c.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_c.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_d.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_d.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_e.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_e.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_f.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/all_f.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_7.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_7.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/classes_8.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/close.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/defines_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_7.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_7.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_8.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_9.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/files_9.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_10.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_10.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_11.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_11.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_12.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_12.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_13.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_13.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_7.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_7.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_8.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_9.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_9.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_a.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_a.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_b.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_b.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_c.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_c.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_d.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_d.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_e.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_e.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_f.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/functions_f.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/mag_sel.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/nomatches.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/pages_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/pages_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/related_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/related_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/search.css
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/search.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/search_l.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/search_m.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/search_r.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/searchdata.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_0.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_0.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_1.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_1.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_2.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_2.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_3.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_3.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_4.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_5.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_5.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_6.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_6.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_7.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_7.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_8.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_8.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_9.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_9.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_a.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_a.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_b.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_b.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_c.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/search/variables_c.js
|
||||
%%DOXYGEN%%%%DOCSDIR%%/splitbar.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/stringmonoid_8cpp-example.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/stringmonoid_8cpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01Perm16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01Perm16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01std_1_1string_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01std_1_1string_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1equal__to_3_01HPCombi_1_1epu8_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1equal__to_3_01HPCombi_1_1epu8_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1BMat8_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1BMat8_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PPerm16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PPerm16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PTransf16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PTransf16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Perm16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Perm16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PermGeneric_3_01__Size_00_01Expo_01_4_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PermGeneric_3_01__Size_00_01Expo_01_4_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Transf16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Transf16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Vect16_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Vect16_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1VectGeneric_3_01__Size_00_01Expo_01_4_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1VectGeneric_3_01__Size_00_01Expo_01_4_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1epu8_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1epu8_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1less_3_01HPCombi_1_1epu8_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1less_3_01HPCombi_1_1epu8_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1not__equal__to_3_01HPCombi_1_1epu8_01_4-members.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1not__equal__to_3_01HPCombi_1_1epu8_01_4.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/sync_off.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/sync_on.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/tab_a.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/tab_b.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/tab_h.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/tab_s.png
|
||||
%%DOXYGEN%%%%DOCSDIR%%/tabs.css
|
||||
%%DOXYGEN%%%%DOCSDIR%%/testtools_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/testtools_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/timer_8h.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/timer_8h_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/vect16_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/vect16_8hpp_source.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/vect__generic_8hpp.html
|
||||
%%DOXYGEN%%%%DOCSDIR%%/vect__generic_8hpp_source.html
|
||||
include/HPCombi/HPCombi-config.h
|
||||
include/HPCombi/bmat8.hpp
|
||||
include/HPCombi/bmat8_impl.hpp
|
||||
include/HPCombi/epu.hpp
|
||||
include/HPCombi/epu_impl.hpp
|
||||
include/HPCombi/fallback/gcdlcm.hpp
|
||||
include/HPCombi/fallback/seq.hpp
|
||||
include/HPCombi/hpcombi.hpp
|
||||
include/HPCombi/perm16.hpp
|
||||
include/HPCombi/perm16_impl.hpp
|
||||
include/HPCombi/perm_generic.hpp
|
||||
include/HPCombi/perm_generic_impl.hpp
|
||||
include/HPCombi/power.hpp
|
||||
include/HPCombi/testtools.hpp
|
||||
include/HPCombi/vect16.hpp
|
||||
include/HPCombi/vect_generic.hpp
|
||||
%%DATADIR%%/LICENSE
|
||||
%%DATADIR%%/README.md
|
||||
%%DATADIR%%/VERSION
|
||||
%%DATADIR%%/list_intrin.txt
|
||||
44
math/libsemigroups/Makefile
Normal file
44
math/libsemigroups/Makefile
Normal file
|
|
@ -0,0 +1,44 @@
|
|||
# Created by: thierry@pompo.net
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= libsemigroups
|
||||
PORTVERSION= 1.0.7
|
||||
DISTVERSIONPREFIX= v
|
||||
CATEGORIES= math
|
||||
|
||||
MAINTAINER= thierry@FreeBSD.org
|
||||
COMMENT= C++ library for semigroups and monoids
|
||||
|
||||
LICENSE= GPLv3
|
||||
|
||||
BUILD_DEPENDS= libfmt>0:devel/libfmt \
|
||||
HPCombi>0:math/hpcombi
|
||||
|
||||
USE_GITHUB= yes
|
||||
|
||||
USES= autoreconf compiler:c++11-lang libtool pkgconfig
|
||||
|
||||
GNU_CONFIGURE= yes
|
||||
CONFIGURE_ARGS= --with-external-fmt=yes
|
||||
USE_LDCONFIG= yes
|
||||
TEST_TARGET= check
|
||||
|
||||
.include <bsd.port.pre.mk>
|
||||
|
||||
.if ${ARCH} != amd64 && ${ARCH} != i386
|
||||
CONFIGURE_ARGS+= --disable-hpcombi
|
||||
.endif
|
||||
|
||||
pre-configure:
|
||||
.if ${ARCH} == amd64 || ${ARCH} == i386
|
||||
${REINPLACE_CMD} -e 's|$$srcdir/extern/HPCombi|${LOCALBASE}/share/HPCombi|' \
|
||||
${WRKSRC}/m4/ax_check_hpcombi.m4
|
||||
${REINPLACE_CMD} -e 's|extern/HPCombi/include|${LOCALBASE}/include/HPCombi|' \
|
||||
${WRKSRC}/Makefile.am
|
||||
.endif
|
||||
${REINPLACE_CMD} -e 's|extern/HPCombi/include|HPCombi|' \
|
||||
${WRKSRC}/include/libsemigroups/hpcombi.hpp
|
||||
${REINPLACE_CMD} -e 's|fmtinclude_HEADERS|#fmtinclude_HEADERS|' \
|
||||
${WRKSRC}/Makefile.am
|
||||
|
||||
.include <bsd.port.post.mk>
|
||||
3
math/libsemigroups/distinfo
Normal file
3
math/libsemigroups/distinfo
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
TIMESTAMP = 1586166067
|
||||
SHA256 (libsemigroups-libsemigroups-v1.0.7_GH0.tar.gz) = 301762f45275fc4ac101c8c399bde61eed5527e217f566f8fd230558b9a2992d
|
||||
SIZE (libsemigroups-libsemigroups-v1.0.7_GH0.tar.gz) = 810473
|
||||
11
math/libsemigroups/pkg-descr
Normal file
11
math/libsemigroups/pkg-descr
Normal file
|
|
@ -0,0 +1,11 @@
|
|||
libsemigroups is a C++11 library containing implementations of several
|
||||
algorithms for computing finite and finitely presented semigroups.
|
||||
Namely:
|
||||
|
||||
- the Froidure-Pin algorithm for computing finite semigroups;
|
||||
- the Todd-Coxeter algorithm for finitely presented semigroups and monoids;
|
||||
- the Knuth-Bendix algorithm for finitely presented semigroups and monoids;
|
||||
- the Schreier-Sims algorithm for permutation groups.
|
||||
|
||||
WWW: https://libsemigroups.readthedocs.io/en/latest/
|
||||
WWW: https://github.com/libsemigroups/libsemigroups
|
||||
65
math/libsemigroups/pkg-plist
Normal file
65
math/libsemigroups/pkg-plist
Normal file
|
|
@ -0,0 +1,65 @@
|
|||
include/libsemigroups/action.hpp
|
||||
include/libsemigroups/adapters.hpp
|
||||
include/libsemigroups/blocks.hpp
|
||||
include/libsemigroups/bmat8.hpp
|
||||
include/libsemigroups/bmat8_impl.hpp
|
||||
include/libsemigroups/bruidhinn-traits.hpp
|
||||
include/libsemigroups/cong-intf.hpp
|
||||
include/libsemigroups/cong-pair-impl.hpp
|
||||
include/libsemigroups/cong-pair.hpp
|
||||
include/libsemigroups/cong-wrap.hpp
|
||||
include/libsemigroups/cong.hpp
|
||||
include/libsemigroups/constants.hpp
|
||||
include/libsemigroups/containers.hpp
|
||||
include/libsemigroups/coset.hpp
|
||||
include/libsemigroups/digraph.hpp
|
||||
include/libsemigroups/element-helper.hpp
|
||||
include/libsemigroups/element.hpp
|
||||
include/libsemigroups/epu.hpp
|
||||
include/libsemigroups/epu_impl.hpp
|
||||
include/libsemigroups/forest.hpp
|
||||
include/libsemigroups/fpsemi-intf.hpp
|
||||
include/libsemigroups/fpsemi.hpp
|
||||
include/libsemigroups/froidure-pin-base.hpp
|
||||
include/libsemigroups/froidure-pin-impl.hpp
|
||||
include/libsemigroups/froidure-pin.hpp
|
||||
include/libsemigroups/function-ref.hpp
|
||||
include/libsemigroups/gcdlcm.hpp
|
||||
include/libsemigroups/hpcombi.hpp
|
||||
include/libsemigroups/int-range.hpp
|
||||
include/libsemigroups/iterator.hpp
|
||||
include/libsemigroups/kbe.hpp
|
||||
include/libsemigroups/knuth-bendix.hpp
|
||||
include/libsemigroups/libsemigroups-config.hpp
|
||||
include/libsemigroups/libsemigroups-debug.hpp
|
||||
include/libsemigroups/libsemigroups-exception.hpp
|
||||
include/libsemigroups/libsemigroups.hpp
|
||||
include/libsemigroups/obvinf.hpp
|
||||
include/libsemigroups/order.hpp
|
||||
include/libsemigroups/perm16.hpp
|
||||
include/libsemigroups/perm16_impl.hpp
|
||||
include/libsemigroups/perm_generic.hpp
|
||||
include/libsemigroups/perm_generic_impl.hpp
|
||||
include/libsemigroups/power.hpp
|
||||
include/libsemigroups/race.hpp
|
||||
include/libsemigroups/report.hpp
|
||||
include/libsemigroups/runner.hpp
|
||||
include/libsemigroups/schreier-sims.hpp
|
||||
include/libsemigroups/semiring.hpp
|
||||
include/libsemigroups/seq.hpp
|
||||
include/libsemigroups/stl.hpp
|
||||
include/libsemigroups/string.hpp
|
||||
include/libsemigroups/tce.hpp
|
||||
include/libsemigroups/testtools.hpp
|
||||
include/libsemigroups/timer.hpp
|
||||
include/libsemigroups/todd-coxeter.hpp
|
||||
include/libsemigroups/transf.hpp
|
||||
include/libsemigroups/types.hpp
|
||||
include/libsemigroups/uf.hpp
|
||||
include/libsemigroups/vect16.hpp
|
||||
include/libsemigroups/vect_generic.hpp
|
||||
lib/libsemigroups.a
|
||||
lib/libsemigroups.so
|
||||
lib/libsemigroups.so.1
|
||||
lib/libsemigroups.so.1.0.0
|
||||
libdata/pkgconfig/libsemigroups.pc
|
||||
Loading…
Reference in a new issue