drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori
|
-rw-r--r-- | 4004 | root |
root |
/usr/include/polybori/BlockDegLexOrder.h
|
-rw-r--r-- | 4330 | root |
root |
/usr/include/polybori/BlockDegRevLexAscOrder.h
|
-rw-r--r-- | 2033 | root |
root |
/usr/include/polybori/BooleConstant.h
|
-rw-r--r-- | 3930 | root |
root |
/usr/include/polybori/BooleEnv.h
|
-rw-r--r-- | 10963 | root |
root |
/usr/include/polybori/BooleExponent.h
|
-rw-r--r-- | 16836 | root |
root |
/usr/include/polybori/BooleMonomial.h
|
-rw-r--r-- | 7691 | root |
root |
/usr/include/polybori/BoolePolyRing.h
|
-rw-r--r-- | 28664 | root |
root |
/usr/include/polybori/BoolePolynomial.h
|
-rw-r--r-- | 3455 | root |
root |
/usr/include/polybori/BooleRing.h
|
-rw-r--r-- | 12618 | root |
root |
/usr/include/polybori/BooleSet.h
|
-rw-r--r-- | 4993 | root |
root |
/usr/include/polybori/BooleVariable.h
|
-rw-r--r-- | 5459 | root |
root |
/usr/include/polybori/CBidirectTermIter.h
|
-rw-r--r-- | 19983 | root |
root |
/usr/include/polybori/CCacheManagement.h
|
-rw-r--r-- | 4608 | root |
root |
/usr/include/polybori/CCuddCore.h
|
-rw-r--r-- | 3501 | root |
root |
/usr/include/polybori/CCuddFirstIter.h
|
-rw-r--r-- | 2344 | root |
root |
/usr/include/polybori/CCuddGetNode.h
|
-rw-r--r-- | 11711 | root |
root |
/usr/include/polybori/CCuddInterface.h
|
-rw-r--r-- | 2540 | root |
root |
/usr/include/polybori/CCuddLastIter.h
|
-rw-r--r-- | 8607 | root |
root |
/usr/include/polybori/CCuddNavigator.h
|
-rw-r--r-- | 10531 | root |
root |
/usr/include/polybori/CCuddZDD.h
|
-rw-r--r-- | 26817 | root |
root |
/usr/include/polybori/CDDInterface.h
|
-rw-r--r-- | 11327 | root |
root |
/usr/include/polybori/CDDManager.h
|
-rw-r--r-- | 2445 | root |
root |
/usr/include/polybori/CDDOperations.h
|
-rw-r--r-- | 3871 | root |
root |
/usr/include/polybori/CDegLexIter.h
|
-rw-r--r-- | 9774 | root |
root |
/usr/include/polybori/CDegreeCache.h
|
-rw-r--r-- | 2507 | root |
root |
/usr/include/polybori/CDelayedTermIter.h
|
-rw-r--r-- | 1606 | root |
root |
/usr/include/polybori/CErrorInfo.h
|
-rw-r--r-- | 3793 | root |
root |
/usr/include/polybori/CExpIter.h
|
-rw-r--r-- | 4082 | root |
root |
/usr/include/polybori/CGenericIter.h
|
-rw-r--r-- | 3421 | root |
root |
/usr/include/polybori/CIdxPath.h
|
-rw-r--r-- | 2713 | root |
root |
/usr/include/polybori/CIdxVariable.h
|
-rw-r--r-- | 1592 | root |
root |
/usr/include/polybori/CLiteralCodes.h
|
-rw-r--r-- | 6012 | root |
root |
/usr/include/polybori/COrderBase.h
|
-rw-r--r-- | 4464 | root |
root |
/usr/include/polybori/COrderProperties.h
|
-rw-r--r-- | 9861 | root |
root |
/usr/include/polybori/COrderedIter.h
|
-rw-r--r-- | 1840 | root |
root |
/usr/include/polybori/CPrintOperation.h
|
-rw-r--r-- | 2529 | root |
root |
/usr/include/polybori/CRestrictedIter.h
|
-rw-r--r-- | 2617 | root |
root |
/usr/include/polybori/CStackSelector.h
|
-rw-r--r-- | 2395 | root |
root |
/usr/include/polybori/CStringLiteral.h
|
-rw-r--r-- | 6924 | root |
root |
/usr/include/polybori/CTermGenerator.h
|
-rw-r--r-- | 6846 | root |
root |
/usr/include/polybori/CTermIter.h
|
-rw-r--r-- | 24549 | root |
root |
/usr/include/polybori/CTermStack.h
|
-rw-r--r-- | 2652 | root |
root |
/usr/include/polybori/CVariableIter.h
|
-rw-r--r-- | 3324 | root |
root |
/usr/include/polybori/CVariableNames.h
|
-rw-r--r-- | 2208 | root |
root |
/usr/include/polybori/CacheManager.h
|
-rw-r--r-- | 4179 | root |
root |
/usr/include/polybori/DegLexOrder.h
|
-rw-r--r-- | 2791 | root |
root |
/usr/include/polybori/DegRevLexAscOrder.h
|
-rw-r--r-- | 4604 | root |
root |
/usr/include/polybori/LexOrder.h
|
-rw-r--r-- | 15922 | root |
root |
/usr/include/polybori/OrderedManager.h
|
-rw-r--r-- | 1829 | root |
root |
/usr/include/polybori/PBoRiError.h
|
-rw-r--r-- | 1760 | root |
root |
/usr/include/polybori/PBoRiGenericError.h
|
-rw-r--r-- | 2764 | root |
root |
/usr/include/polybori/PBoRiOutIter.h
|
-rw-r--r-- | 0 | root |
root |
/usr/include/polybori/cacheopts.h
|
-rw-r--r-- | 11529 | root |
root |
/usr/include/polybori/extrafwd.h
|
-rw-r--r-- | 7133 | root |
root |
/usr/include/polybori/generic_hash.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/groebner
|
-rw-r--r-- | 1927 | root |
root |
/usr/include/polybori/order_tags.h
|
-rw-r--r-- | 1377 | root |
root |
/usr/include/polybori/order_traits.h
|
-rw-r--r-- | 23781 | root |
root |
/usr/include/polybori/pbori_algo.h
|
-rw-r--r-- | 20973 | root |
root |
/usr/include/polybori/pbori_algo_int.h
|
-rw-r--r-- | 11022 | root |
root |
/usr/include/polybori/pbori_algorithms.h
|
-rw-r--r-- | 14658 | root |
root |
/usr/include/polybori/pbori_defs.h
|
-rw-r--r-- | 27240 | root |
root |
/usr/include/polybori/pbori_func.h
|
-rw-r--r-- | 3522 | root |
root |
/usr/include/polybori/pbori_order.h
|
-rw-r--r-- | 1863 | root |
root |
/usr/include/polybori/pbori_routines.h
|
-rw-r--r-- | 1406 | root |
root |
/usr/include/polybori/pbori_routines_cuddext.h
|
-rw-r--r-- | 2727 | root |
root |
/usr/include/polybori/pbori_routines_dd.h
|
-rw-r--r-- | 3381 | root |
root |
/usr/include/polybori/pbori_routines_hash.h
|
-rw-r--r-- | 30567 | root |
root |
/usr/include/polybori/pbori_routines_misc.h
|
-rw-r--r-- | 15050 | root |
root |
/usr/include/polybori/pbori_routines_order.h
|
-rw-r--r-- | 1634 | root |
root |
/usr/include/polybori/pbori_tags.h
|
-rw-r--r-- | 9223 | root |
root |
/usr/include/polybori/pbori_traits.h
|
-rw-r--r-- | 2377 | root |
root |
/usr/include/polybori/polybori.h
|
-rw-r--r-- | 3091 | root |
root |
/usr/include/polybori/groebner/cache_manager.h
|
-rw-r--r-- | 223 | root |
root |
/usr/include/polybori/groebner/dlex4data.h
|
-rw-r--r-- | 229 | root |
root |
/usr/include/polybori/groebner/dp_asc4data.h
|
-rw-r--r-- | 194 | root |
root |
/usr/include/polybori/groebner/groebner.h
|
-rw-r--r-- | 11145 | root |
root |
/usr/include/polybori/groebner/groebner_alg.h
|
-rw-r--r-- | 1113 | root |
root |
/usr/include/polybori/groebner/groebner_defs.h
|
-rw-r--r-- | 644 | root |
root |
/usr/include/polybori/groebner/interpolate.h
|
-rw-r--r-- | 1908 | root |
root |
/usr/include/polybori/groebner/lexbuckets.h
|
-rw-r--r-- | 1163 | root |
root |
/usr/include/polybori/groebner/literal_factorization.h
|
-rw-r--r-- | 217 | root |
root |
/usr/include/polybori/groebner/lp4data.h
|
-rw-r--r-- | 2947 | root |
root |
/usr/include/polybori/groebner/nf.h
|
-rw-r--r-- | 5102 | root |
root |
/usr/include/polybori/groebner/pairs.h
|
-rw-r--r-- | 282 | root |
root |
/usr/include/polybori/groebner/polynomial_properties.h
|
-rw-r--r-- | 632 | root |
root |
/usr/include/polybori/groebner/randomset.h
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib/libgroebner-0.5.0.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libgroebner.so
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib/libpolybori-0.5.0.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libpolybori.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/python-polybori-devel-0.5
|
-rw-r--r-- | 8788 | root |
root |
/usr/share/doc/python-polybori-devel-0.5/ChangeLog
|