[polybori] 02/06: Merge tag 'upstream/0.8.5'
Ximin Luo
infinity0 at debian.org
Tue Jul 5 11:34:13 UTC 2016
This is an automated email from the git hooks/post-receive script.
infinity0 pushed a commit to branch master
in repository polybori.
commit a82fc4636ce0d69b735a947d05eb9525523ac9d4
Merge: b7e135e b5f8917
Author: Ximin Luo <infinity0 at debian.org>
Date: Tue Jul 5 12:57:02 2016 +0200
Merge tag 'upstream/0.8.5'
Upstream version 0.8.5
.gitignore | 29 +-
.hgignore | 24 +
.hgtags | 99 +
ChangeLog | 7 +-
Cudd/Makefile | 322 +
Cudd/README | 177 +
Cudd/RELEASE.NOTES | 131 +
Cudd/cudd/Makefile | 124 +
Cudd/cudd/Makefile.in | 698 -
Cudd/cudd/cuddAddAbs.c | 579 +
Cudd/cudd/cuddAddApply.c | 941 +
Cudd/cudd/cuddAddFind.c | 316 +
Cudd/cudd/cuddAddInv.c | 201 +
Cudd/cudd/cuddAddIte.c | 639 +
Cudd/cudd/cuddAddNeg.c | 290 +
Cudd/cudd/cuddAddWalsh.c | 391 +
Cudd/cudd/cuddAndAbs.c | 373 +
Cudd/cudd/cuddAnneal.c | 814 +
Cudd/cudd/cuddApa.c | 979 +
Cudd/cudd/cuddApprox.c | 2204 ++
Cudd/cudd/cuddBddAbs.c | 760 +
Cudd/cudd/cuddBddCorr.c | 515 +
Cudd/cudd/cuddBddIte.c | 1430 ++
Cudd/cudd/cuddBridge.c | 1016 +
Cudd/cudd/cuddCheck.c | 885 +
Cudd/cudd/cuddClip.c | 558 +
Cudd/cudd/{cuddInit.c => cuddCof.c} | 328 +-
Cudd/cudd/cuddCompose.c | 1749 ++
Cudd/cudd/cuddDecomp.c | 2177 ++
Cudd/cudd/cuddEssent.c | 1467 ++
Cudd/cudd/cuddExact.c | 1020 +
Cudd/cudd/cuddExport.c | 1389 ++
Cudd/cudd/cuddGenCof.c | 2178 ++
Cudd/cudd/cuddGenetic.c | 960 +
Cudd/cudd/cuddGroup.c | 2188 ++
Cudd/cudd/cuddHarwell.c | 568 +
Cudd/cudd/cuddInteract.c | 432 +
Cudd/cudd/cuddLevelQ.c | 583 +
Cudd/cudd/cuddLinear.c | 1365 ++
Cudd/cudd/cuddLiteral.c | 264 +
Cudd/cudd/cuddMatMult.c | 707 +
Cudd/cudd/cuddPriority.c | 2027 ++
Cudd/cudd/cuddRead.c | 517 +
Cudd/cudd/cuddReorder.c | 2137 ++
Cudd/cudd/cuddSat.c | 1774 ++
Cudd/cudd/cuddSign.c | 318 +
Cudd/cudd/cuddSolve.c | 366 +
Cudd/cudd/cuddSplit.c | 686 +
Cudd/cudd/cuddSubsetHB.c | 1331 ++
Cudd/cudd/cuddSubsetSP.c | 1660 ++
Cudd/cudd/cuddSymmetry.c | 1707 ++
Cudd/cudd/cuddUtil.c | 4032 ++++
Cudd/cudd/cuddWindow.c | 1023 +
Cudd/cudd/cuddZddCount.c | 357 +
Cudd/cudd/cuddZddGroup.c | 1340 ++
Cudd/cudd/cuddZddIsop.c | 912 +
Cudd/cudd/cuddZddLin.c | 971 +
Cudd/cudd/cuddZddMisc.c | 278 +
Cudd/cudd/cuddZddPort.c | 381 +
Cudd/cudd/cuddZddReord.c | 1664 ++
Cudd/cudd/cuddZddSymm.c | 1711 ++
Cudd/cudd/cuddZddUtil.c | 1205 ++
Cudd/cudd/doc/cudd.doc | 6776 +++++++
Cudd/cudd/doc/cuddAllAbs.html | 3114 +++
Cudd/cudd/doc/cuddAllByFile.html | 13 +
Cudd/cudd/doc/cuddAllByFunc.html | 13 +
Cudd/cudd/doc/cuddAllDet.html | 15754 +++++++++++++++
Cudd/cudd/doc/cuddAllFile.html | 4876 +++++
Cudd/cudd/doc/cuddDesc.html | 33 +
Cudd/cudd/doc/cuddExt.html | 14 +
Cudd/cudd/doc/cuddExtAbs.html | 1415 ++
Cudd/cudd/doc/cuddExtDet.html | 4450 ++++
Cudd/cudd/doc/cuddIntro.css | 30 +
Cudd/cudd/doc/cuddTitle.html | 18 +
Cudd/cudd/doc/footnode.html | 109 +
Cudd/cudd/doc/icons/blueball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/icons/ch_beg_r.png | Bin 0 -> 165 bytes
Cudd/cudd/doc/icons/ch_begin.png | Bin 0 -> 174 bytes
Cudd/cudd/doc/icons/ch_delet.png | Bin 0 -> 288 bytes
Cudd/cudd/doc/icons/ch_end.png | Bin 0 -> 171 bytes
Cudd/cudd/doc/icons/ch_end_r.png | Bin 0 -> 155 bytes
Cudd/cudd/doc/icons/contents.png | Bin 0 -> 278 bytes
Cudd/cudd/doc/icons/crossref.png | Bin 0 -> 147 bytes
Cudd/cudd/doc/icons/footnote.png | Bin 0 -> 190 bytes
Cudd/cudd/doc/icons/greenball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/icons/image.png | Bin 0 -> 244 bytes
Cudd/cudd/doc/icons/index.png | Bin 0 -> 246 bytes
Cudd/cudd/doc/icons/next.png | Bin 0 -> 245 bytes
Cudd/cudd/doc/icons/next_g.png | Bin 0 -> 272 bytes
Cudd/cudd/doc/icons/nx_grp.png | Bin 0 -> 314 bytes
Cudd/cudd/doc/icons/nx_grp_g.png | Bin 0 -> 386 bytes
Cudd/cudd/doc/icons/orangeball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/icons/pinkball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/prev.png | Bin 0 -> 279 bytes
Cudd/cudd/doc/icons/prev_g.png | Bin 0 -> 327 bytes
Cudd/cudd/doc/icons/purpleball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/pv_grp.png | Bin 0 -> 352 bytes
Cudd/cudd/doc/icons/pv_grp_g.png | Bin 0 -> 430 bytes
Cudd/cudd/doc/icons/redball.png | Bin 0 -> 332 bytes
Cudd/cudd/doc/icons/up.png | Bin 0 -> 211 bytes
Cudd/cudd/doc/icons/up_g.png | Bin 0 -> 231 bytes
Cudd/cudd/doc/icons/whiteball.png | Bin 0 -> 229 bytes
Cudd/cudd/doc/icons/yellowball.png | Bin 0 -> 333 bytes
Cudd/cudd/doc/img1.png | Bin 0 -> 201 bytes
Cudd/cudd/doc/img10.png | Bin 0 -> 211 bytes
Cudd/cudd/doc/img11.png | Bin 0 -> 476 bytes
Cudd/cudd/doc/img12.png | Bin 0 -> 555 bytes
Cudd/cudd/doc/img13.png | Bin 0 -> 560 bytes
Cudd/cudd/doc/img14.png | Bin 0 -> 675 bytes
Cudd/cudd/doc/img15.png | Bin 0 -> 200 bytes
Cudd/cudd/doc/img16.png | Bin 0 -> 223 bytes
Cudd/cudd/doc/img17.png | Bin 0 -> 246 bytes
Cudd/cudd/doc/img18.png | Bin 0 -> 298 bytes
Cudd/cudd/doc/img19.png | Bin 0 -> 409 bytes
Cudd/cudd/doc/img2.png | Bin 0 -> 197 bytes
Cudd/cudd/doc/img20.png | Bin 0 -> 238 bytes
Cudd/cudd/doc/img21.png | Bin 0 -> 614 bytes
Cudd/cudd/doc/img22.png | Bin 0 -> 12605 bytes
Cudd/cudd/doc/img3.png | Bin 0 -> 401 bytes
Cudd/cudd/doc/img4.png | Bin 0 -> 204 bytes
Cudd/cudd/doc/img5.png | Bin 0 -> 315 bytes
Cudd/cudd/doc/img6.png | Bin 0 -> 185 bytes
Cudd/cudd/doc/img7.png | Bin 0 -> 262 bytes
Cudd/cudd/doc/img8.png | Bin 0 -> 220 bytes
Cudd/cudd/doc/img9.png | Bin 0 -> 215 bytes
Cudd/cudd/doc/index.html | 219 +
Cudd/cudd/doc/node1.html | 174 +
Cudd/cudd/doc/node2.html | 175 +
Cudd/cudd/doc/node3.html | 1637 ++
Cudd/cudd/doc/node4.html | 1165 ++
Cudd/cudd/doc/node5.html | 130 +
Cudd/cudd/doc/node6.html | 132 +
Cudd/cudd/doc/node7.html | 195 +
Cudd/cudd/doc/node8.html | 848 +
Cudd/cudd/r7x8.1.mat | 53 +
Cudd/cudd/testcudd.c | 1178 ++
Cudd/epd/Makefile | 64 +
Cudd/epd/epd.c | 1344 ++
Cudd/epd/epd.h | 200 +
Cudd/mtr/Makefile | 96 +
Cudd/mtr/Makefile.sis | 83 +
Cudd/mtr/doc/mtr.doc | 252 +
Cudd/mtr/doc/mtrAllAbs.html | 72 +
Cudd/mtr/doc/mtrAllDet.html | 317 +
Cudd/mtr/doc/mtrExtAbs.html | 72 +
Cudd/mtr/doc/mtrExtDet.html | 324 +
Cudd/mtr/mtr.h | 187 +
Cudd/mtr/mtrBasic.c | 450 +
Cudd/mtr/mtrGroup.c | 877 +
Cudd/mtr/mtrInt.h | 92 +
Cudd/mtr/test.groups | 5 +
Cudd/mtr/testmtr.c | 270 +
Cudd/nanotrav/C17.blif | 16 +
Cudd/nanotrav/C880.blif | 770 +
Cudd/nanotrav/Makefile | 98 +
Cudd/nanotrav/README | 47 +
Cudd/nanotrav/bnet.c | 2252 +++
Cudd/nanotrav/bnet.h | 187 +
Cudd/nanotrav/chkMterm.c | 235 +
Cudd/nanotrav/doc/bnetAllAbs.html | 45 +
Cudd/nanotrav/doc/bnetAllDet.html | 173 +
Cudd/nanotrav/doc/bnetExtAbs.html | 45 +
Cudd/nanotrav/doc/bnetExtDet.html | 173 +
Cudd/nanotrav/doc/ntrAllAbs.html | 114 +
Cudd/nanotrav/doc/ntrAllDet.html | 513 +
Cudd/nanotrav/doc/ntrExtAbs.html | 111 +
Cudd/nanotrav/doc/ntrExtDet.html | 500 +
Cudd/nanotrav/main.c | 1394 ++
Cudd/nanotrav/mult32a.blif | 745 +
Cudd/nanotrav/nanotrav.1 | 379 +
Cudd/nanotrav/ntr.c | 2988 +++
Cudd/nanotrav/ntr.h | 283 +
Cudd/nanotrav/ntrBddTest.c | 2315 +++
Cudd/nanotrav/ntrHeap.c | 390 +
Cudd/nanotrav/ntrMflow.c | 1581 ++
Cudd/nanotrav/ntrShort.c | 578 +
Cudd/nanotrav/ntrZddTest.c | 468 +
Cudd/nanotrav/rcn25.blif | 335 +
Cudd/nanotrav/s27.blif | 30 +
Cudd/nanotrav/tst.sh | 9 +
Cudd/nanotrav/ucbqsort.c | 228 +
Cudd/obj/.Makefile.swp | Bin 0 -> 12288 bytes
Cudd/obj/Makefile | 110 +
Cudd/obj/cuddObj.cc | 5700 ++++++
Cudd/obj/cuddObj.hh | 770 +
Cudd/obj/testobj.cc | 607 +
Cudd/setup.sh | 29 +
Cudd/shutdown.sh | 2 +
Makefile.am | 13 +-
Makefile.in | 952 -
PyPolyBoRi/Poly_wrapper.cc | 230 +
PyPolyBoRi/Poly_wrapper.h | 30 +
PyPolyBoRi/dd_wrapper.cc | 108 +
PyPolyBoRi/dd_wrapper.h | 10 +
PyPolyBoRi/example.py | 70 +
PyPolyBoRi/fglm_wrapper.cc | 24 +
PyPolyBoRi/fglm_wrapper.h | 9 +
PyPolyBoRi/ipythonrc-polybori | 43 +
PyPolyBoRi/main_wrapper.cc | 258 +
PyPolyBoRi/main_wrapper.h | 11 +
PyPolyBoRi/misc_wrapper.cc | 54 +
PyPolyBoRi/misc_wrapper.h | 11 +
PyPolyBoRi/monomial_wrapper.cc | 166 +
PyPolyBoRi/monomial_wrapper.h | 11 +
PyPolyBoRi/navigator_wrap.cc | 48 +
PyPolyBoRi/navigator_wrap.h | 10 +
PyPolyBoRi/ntl_wrapper.cc | 34 +
PyPolyBoRi/ntl_wrapper.h | 11 +
PyPolyBoRi/out_helper.h | 17 +
PyPolyBoRi/pairs.cc | 117 +
PyPolyBoRi/pairs.h | 10 +
PyPolyBoRi/parse.py | 128 +
PyPolyBoRi/pyparsing.py | 2206 ++
PyPolyBoRi/pypb_module.cc | 61 +
PyPolyBoRi/set_wrapper.cc | 123 +
PyPolyBoRi/set_wrapper.h | 10 +
PyPolyBoRi/slimgb_wrapper.cc | 43 +
PyPolyBoRi/slimgb_wrapper.h | 11 +
PyPolyBoRi/split.py | 44 +
PyPolyBoRi/strategy_wrapper.cc | 320 +
PyPolyBoRi/strategy_wrapper.h | 10 +
PyPolyBoRi/test_util.cc | 73 +
PyPolyBoRi/test_util.h | 9 +
PyPolyBoRi/toprofile.py | 44 +
PyPolyBoRi/variable_block.cc | 54 +
PyPolyBoRi/variable_block.h | 13 +
SConstruct | 2166 ++
Singular/README | 41 +
Singular/pb.cc | 270 +
Singular/pb.h | 72 +
Singular/pb.mod | 61 +
Singular/pb_if.cc | 1384 ++
Singular/pbwrapper.h | 157 +
Singular/psico.py | 4 +
Singular/test_file.sing | 21 +
Singular/test_pb_if.Singular | 20 +
aclocal.m4 | 1668 --
ar-lib | 270 -
common.mk | 4 +-
compile | 347 -
config.guess | 1421 --
config.sub | 1807 --
configure | 20179 -------------------
configure.ac | 10 +-
depcomp | 791 -
disttar.py | 194 +
doc/doxygen.conf | 1251 ++
doc/genpythondoc.py | 42 +
doc/images/logo.png | Bin 0 -> 18395 bytes
doc/images/overview.png | Bin 0 -> 86198 bytes
doc/index.html.in | 154 +
doc/man/PolyGUI.1 | 63 +
doc/man/ipbori.1 | 79 +
doc/tutorial/PolyGui-Options.png | Bin 0 -> 10478 bytes
doc/tutorial/PolyGui.png | Bin 0 -> 22585 bytes
doc/tutorial/graded.py | 33 +
doc/tutorial/tutorial.tex | 152 +
doc/tutorial/tutorial_content.tex | 1409 ++
doc/tutorial/versionnumber.in | 1 +
doxygen.py | 207 +
groebner/Makefile.in | 640 -
groebner/doc/doxygen.conf | 1101 +
groebner/include/Makefile.in | 689 -
groebner/src/Makefile.am | 12 +-
groebner/src/Makefile.in | 876 -
gui/PolyGUI | 684 +
gui/PolyGUI.xpm | 83 +
gui/cnf2ideal.py | 306 +
gui/polybori.png | Bin 0 -> 18395 bytes
install-sh | 501 -
ipbori/ipbori | 126 +
{libpolybori => libbrial}/Makefile.am | 0
libbrial/auxiliary/Skeleton.h | 47 +
libbrial/auxiliary/SkeletonTest.cc | 43 +
libbrial/auxiliary/beautify_units.sh | 69 +
libbrial/auxiliary/check_mem.sh | 37 +
libbrial/auxiliary/get_sat_table.sh | 12 +
libbrial/auxiliary/release.sh | 146 +
libbrial/auxiliary/stepbystep.install | 173 +
libbrial/auxiliary/timeout.sh | 40 +
libbrial/doc/Makefile | 2 +
libbrial/doc/doxygen.conf | 1101 +
{libpolybori => libbrial}/include/Makefile.am | 0
{libpolybori => libbrial}/include/polybori.h | 0
.../include/polybori/BlockDegLexOrder.h | 0
.../include/polybori/BlockDegRevLexAscOrder.h | 0
.../include/polybori/BooleConstant.h | 0
.../include/polybori/BooleEnv.h | 0
.../include/polybori/BooleExponent.h | 31 +-
.../include/polybori/BooleMonomial.h | 0
.../include/polybori/BoolePolyRing.h | 0
.../include/polybori/BoolePolynomial.h | 0
.../include/polybori/BooleSet.h | 0
.../include/polybori/BooleSetSequence.h | 0
.../include/polybori/BooleVariable.h | 0
.../include/polybori/DegLexOrder.h | 0
.../include/polybori/DegRevLexAscOrder.h | 0
.../include/polybori/LexOrder.h | 0
.../include/polybori/cache/CCacheManagement.h | 0
.../include/polybori/cache/CDegreeCache.h | 0
.../include/polybori/cache/CacheManager.h | 0
.../include/polybori/common/CCheckedIdx.h | 0
.../include/polybori/common/CExtrusivePtr.h | 0
.../include/polybori/common/CWeakPtr.h | 0
.../include/polybori/common/CWeakPtrFacade.h | 0
.../include/polybori/common/TransformedSequence.h | 0
.../include/polybori/common/tags.h | 0
.../include/polybori/common/traits.h | 0
.../include/polybori/cudd/cudd.h | 0
.../include/polybori/cudd/cuddInt.h | 0
.../include/polybori/cudd/prefix.h | 0
.../include/polybori/cudd/prefix_internal.h | 0
.../include/polybori/diagram/CApplyNodeFacade.h | 0
.../include/polybori/diagram/CCuddDDFacade.h | 0
.../include/polybori/diagram/CDDOperations.h | 0
.../include/polybori/diagram/CNodeCounter.h | 0
libbrial/include/polybori/embed.h | 378 +
.../include/polybori/except/CErrorInfo.h | 0
.../include/polybori/except/PBoRiError.h | 0
.../include/polybori/except/PBoRiGenericError.h | 0
.../include/polybori/factories/CFactoryBase.h | 0
.../include/polybori/factories/MonomialFactory.h | 0
.../include/polybori/factories/PolynomialFactory.h | 0
.../include/polybori/factories/SetFactory.h | 0
.../include/polybori/factories/VariableBlock.h | 0
.../include/polybori/factories/VariableFactory.h | 0
.../include/polybori/iterators/CBidirectTermIter.h | 0
.../include/polybori/iterators/CCuddFirstIter.h | 0
.../include/polybori/iterators/CCuddLastIter.h | 0
.../include/polybori/iterators/CCuddNavigator.h | 0
.../include/polybori/iterators/CExpIter.h | 0
.../include/polybori/iterators/CGenericIter.h | 0
.../include/polybori/iterators/COrderedIter.h | 0
.../include/polybori/iterators/CStackSelector.h | 0
.../include/polybori/iterators/CTermGenerator.h | 0
.../include/polybori/iterators/CTermIter.h | 0
.../include/polybori/iterators/CTermStack.h | 0
.../include/polybori/iterators/CVariableIter.h | 0
.../include/polybori/iterators/PBoRiOutIter.h | 0
.../polybori/iterators/TransformedIterator.h | 0
.../include/polybori/literals/CLiteralCodes.h | 0
.../include/polybori/literals/CStringLiteral.h | 0
.../polybori/orderings/CBlockOrderingFacade.h | 0
.../include/polybori/orderings/COrderingBase.h | 0
.../include/polybori/orderings/COrderingFacade.h | 0
.../include/polybori/orderings/COrderingTags.h | 0
.../include/polybori/orderings/order_tags.h | 0
.../include/polybori/orderings/order_traits.h | 0
.../include/polybori/orderings/pbori_order.h | 0
.../include/polybori/pbori_defs.h | 0
.../include/polybori/polybori.h | 0
.../include/polybori/ring/CCallbackWrapper.h | 0
.../include/polybori/ring/CCuddCore.h | 0
.../include/polybori/ring/CCuddInterface.h | 0
.../include/polybori/ring/CMemberFunctionTraits.h | 0
.../include/polybori/ring/CVariableNames.h | 0
.../include/polybori/ring/WeakRingPtr.h | 0
.../include/polybori/routines/pbori_algo.h | 0
.../include/polybori/routines/pbori_algo_int.h | 0
.../include/polybori/routines/pbori_algorithms.h | 0
.../include/polybori/routines/pbori_func.h | 6 +-
.../include/polybori/routines/pbori_routines.h | 0
.../polybori/routines/pbori_routines_cuddext.h | 0
.../include/polybori/routines/pbori_routines_dd.h | 0
.../polybori/routines/pbori_routines_hash.h | 0
.../polybori/routines/pbori_routines_misc.h | 0
.../polybori/routines/pbori_routines_order.h | 0
{libpolybori => libbrial}/src/BlockDegLexOrder.cc | 0
.../src/BlockDegRevLexAscOrder.cc | 0
{libpolybori => libbrial}/src/BooleEnv.cc | 0
{libpolybori => libbrial}/src/BooleExponent.cc | 0
{libpolybori => libbrial}/src/BooleMonomial.cc | 0
{libpolybori => libbrial}/src/BoolePolyRing.cc | 0
{libpolybori => libbrial}/src/BoolePolynomial.cc | 0
{libpolybori => libbrial}/src/BooleSet.cc | 0
{libpolybori => libbrial}/src/BooleVariable.cc | 0
{libpolybori => libbrial}/src/CCheckedIdx.cc | 0
{libpolybori => libbrial}/src/CCuddFirstIter.cc | 0
{libpolybori => libbrial}/src/CCuddLastIter.cc | 0
{libpolybori => libbrial}/src/CErrorInfo.cc | 0
{libpolybori => libbrial}/src/DegLexOrder.cc | 0
{libpolybori => libbrial}/src/DegRevLexAscOrder.cc | 0
{libpolybori => libbrial}/src/LexOrder.cc | 0
{libpolybori => libbrial}/src/Makefile.am | 4 +-
{libpolybori => libbrial}/src/PBoRiError.cc | 0
{libpolybori => libbrial}/src/pbori_routines.cc | 0
libpolybori/Makefile.in | 640 -
libpolybori/include/Makefile.in | 671 -
libpolybori/include/polybori/config.h | 92 -
libpolybori/include/polybori/config.h.in | 91 -
libpolybori/src/Makefile.in | 658 -
ltmain.sh | 11147 ----------
m4/libtool.m4 | 8369 --------
m4/ltoptions.m4 | 437 -
m4/ltsugar.m4 | 124 -
m4/ltversion.m4 | 23 -
m4/lt~obsolete.m4 | 99 -
missing | 215 -
pkgs/debian/cdbs/scons-vars.mk | 1 +
pkgs/debian/cdbs/scons.mk | 1 +
pkgs/debian/changelog.in | 61 +
pkgs/debian/compat | 1 +
pkgs/debian/control.in | 57 +
pkgs/debian/copyright | 30 +
pkgs/debian/libpolybori-dev.install | 3 +
pkgs/debian/libpolybori0.install | 2 +
pkgs/debian/polybori.install | 3 +
pkgs/debian/python-polybori.install | 4 +
pkgs/debian/readme | 6 +
pkgs/debian/rules | 48 +
pkgs/rpm/PolyBoRi.rpmlintrc | 2 +
pkgs/rpm/PolyBoRi.spec.in | 331 +
py-compile | 170 -
pyroot/Makefile.in | 564 -
pyroot/PyPolyBoRi.py | 2 +-
pyroot/addition.py | 144 +
pyroot/blocks.py | 57 +-
pyroot/check_claims.py | 205 +
pyroot/cluster.py | 120 +
pyroot/cnf.py | 10 +-
pyroot/coding.py | 91 +
pyroot/context.py | 101 +
pyroot/fglm.py | 2 +-
pyroot/frontend.py | 88 +
pyroot/gbcore.py | 24 +-
pyroot/gbrefs.py | 7 +-
pyroot/general_boolean_polynomial.py | 616 +
pyroot/interpolate.py | 15 +-
pyroot/intersect.py | 45 +
pyroot/intpolys.py | 87 +
pyroot/ll.py | 11 +-
pyroot/memusage.py | 65 +
pyroot/ncf.py | 41 +
pyroot/nf.py | 120 +-
pyroot/parallel.py | 25 +-
pyroot/parsegat.py | 524 +
pyroot/partial.py | 49 +
pyroot/plot.py | 256 +
pyroot/randompoly.py | 6 +-
pyroot/rank.py | 2 +-
pyroot/simplebb.py | 72 +
pyroot/specialsets.py | 36 +-
pyroot/statistics.py | 2 +-
testsuite/execsuite | 123 +
testsuite/src/BlockDegLexOrderTest.cc | 422 +
testsuite/src/BlockDegRevLexAscOrderTest.cc | 435 +
testsuite/src/BooleConstantTest.cc | 71 +
testsuite/src/BooleEnvTest.cc | 175 +
testsuite/src/BooleExponentTest.cc | 864 +
testsuite/src/BooleMonomialTest.cc | 606 +
testsuite/src/BoolePolyRingTest.cc | 425 +
testsuite/src/BoolePolynomialTest.cc | 1134 ++
testsuite/src/BooleSetTest.cc | 771 +
testsuite/src/BooleVariableTest.cc | 156 +
testsuite/src/CCuddDDFacadeTest.cc | 629 +
testsuite/src/CFactoryBaseTest.cc | 74 +
testsuite/src/CStringLiteralTest.cc | 72 +
testsuite/src/DegLexOrderTest.cc | 255 +
testsuite/src/DegRevLexAscOrderTest.cc | 227 +
testsuite/src/FGLMStrategyTest.cc | 117 +
testsuite/src/GroebnerStrategyTest.cc | 53 +
testsuite/src/LexOrderTest.cc | 197 +
testsuite/src/MonomialFactoryTest.cc | 99 +
testsuite/src/PBoRiErrorTest.cc | 83 +
testsuite/src/PolynomialFactoryTest.cc | 124 +
testsuite/src/PseudoLongProductTest.cc | 101 +
testsuite/src/SetFactoryTest.cc | 91 +
testsuite/src/VariableFactoryTest.cc | 76 +
testsuite/src/embedTest.cc | 131 +
testsuite/src/spolyTest.cc | 55 +
testsuite/src/term_accumulateTest.cc | 139 +
testsuite/src/unittests.cc | 19 +
testsuite/src/unittests_orderings.cc | 19 +
testsuite/src/weak_pointersTest.cc | 149 +
versionnumber | 1 +
475 files changed, 156591 insertions(+), 54476 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polybori.git
More information about the debian-science-commits
mailing list