[SCM] polybori: Polynomials over Boolean Rings annotated tag, upstream/0.8.2, created. upstream/0.8.2
Alexander Dreyer
adreyer at gmx.de
Sun Dec 16 22:48:35 UTC 2012
The annotated tag, upstream/0.8.2 has been created
at aa5a92ac6b67ad3827ee05927945698c9f63905a (tag)
tagging ed3a77299aca3df6ac849982bfdebbf934c47039 (commit)
tagged by Alexander Dreyer
on Sun Dec 16 23:24:51 2012 +0100
- Shortlog ------------------------------------------------------------
Upstream version 0.8.2
Alexander Dreyer (865):
Removed unuser Id marker
ADD: treatment SHCFLAGS, SHCCFLAGS, and SHCXXFLAGS
ADD: more customizable flags and variables
CHA: darwin more generic
fine tuning
Added tag sunCompilesNotRuns for changeset 1cd95bc552de
FIX hpux needs pwd.h
FIX From Debian 0.5~rc1-2.1
Changes
merged from dev repo
nonlining on sun only
merged
change added
CHA Changelog updated
FIX typoe
CHA recommendation
CHA moved polybori/aux to polybori/auxiliary (avoid problems in FAT)
CHA changes updated
CHA changes updated
Added tag v0.6.4 for changeset 287816d49ba3
ADD: Simplified ring declaration in ipbori
ADD: simple_nf
ADD: Changes
Merged
ADD: Toy Gauss
ADD: rpath possible
ADD: rpath possible
FIX: strict check whether boost/python is there
CHA: PBoRiError is now also std::exception
experimenting with polybori interface
FIX: ABS wrapped by #ifndef
CHA: minimal interface for working
CHA: experimetnal Singular-Interface
ADD: BoolePolynomial::compare
FIX: force to use corresponding PolyBoRi installation
merged
experimenting with objects
CHA psico running in priciple
ADD pscio operations
ADD operations to psico
ADD psico ( psico
ADD () more generic
ADD psico()
ADD declare_ring
FIX declare_ring in Singular-Interface
FIX forgotten refcounting
FIX: refcounts on lists; fallback of add to radd, mul to rmul
Changelog update
Added tag v0.6.5 for changeset 5d23f2000f87
ADD: psico interface automatically maps context-changed of declare_ring to SIngular
ADD psico import
ADD minimal C++ example
simplified
some clean up changes
FIX typo
CHA: substitute_variables needs explicit ring to be given
CHA: moving ordering to CCuddCore
fix fglm
FIX: more sophisticated fglm fix
FIX: more sophisticated fglm fix
FIX: use of rings for fglm in other_ordering_pre
CHA: Cleanup removing unused OrderedManager.h
CHA: Cleanup removing unused OrderedManager.h
CHA: Cleanup removing unused OrderedManager.h more
CHA: Cleanup removing unused OrderedManager.h more
CHA: simplified ordering
CHA: merging C*OrderBase into COrderingBase
CHA: compiles and runs again
Merged changes
Merged changes
reverted wrong merge
FIX: missing comment closing
CHA: simplified RIng/Manager i nteraction
CHA: removed unused Cudd relicts: prettyPrint, extra
CHA: removed unused relict: manager()
rebased
rebased
FIX: code now complining (unused relicts removed)
CHA: removed relicts from Cudd's original c++ interface
more clean-up
FIX: using Singleton-like construct for global ring
ADD tests
CHA: simplified diagram interface (removed *Assign() variants)
CHA changelog
ADD: CExtrusivePtr
CHA move CExtrusivePtr to different file
minor changes
Fix: assigments
redesigning more
CHA: new skeleton
ADD: CDDFacade
FIX refactored DD corrected
CHA CDDFacade working
another simplification
CHA: removed unused relict file
DEL relicts
CHA moved stuff to facades
CHA: moved file
minor changes
FIX better defautl value?
FIX: BoolePolyRing() ist active ring again
CHA: BooleRin merged into BoolePolyRing
CHA: BooleRin merged into BoolePolyRing
CHA: BooleRing finally merged into BoolePolyRing
CHA: ring() return const ref now
CHA: ring() return const ref now
reverted
CHA: CCuddInterface can convert itselt to DdManager*,(but only privately!)
ADD: wrapper for .* (callback) operation
CHA: CMemberFunctionTraits gets own header
ADD: boost/test-based unittests
merged
FIX: %= again
Another test for %=
ADD unittest for polynomias
FIX: better sun-linker detection
ADD tests, CHA poly.reducibleBy-> firstReducibleBy
ADD: allow more files for unittest
FIX: multiple tests
FIX: unittests now all together again
ADD: simplified testing of multiple classes
FIX merge
FIX: memory access violations
CHA: idx_type unsigned
FIX:merged
more merging
FIX: clarify tests
FIX clarify mroe
merged
DEL CCuddDDFacade.ite() (unused but buggy)
merge
merge
merged
FIX removed obsolete test fpr ite
merged
merged
reverted
reverted
FIX: corrected merge
merged with repo
merged newest
CHA: better default for declare_ring's context
FIX: block orderings do not pollute cache of likewise block orderings (with different bounds)
merged
FIX: block and bounded lead issues
FIX bounded lead
merged
close badbranch, this approach never worked
back to right branch
Added tag polybori for changeset af8e1f410531
next try
merged
merged
merged
CHA: leadExp not throwing anymore (again)
CHA: Mor4e generic orderings
FIX: problems discovered during unittesting
FIX (temp) issue
trying to fix more
merged
FIX: sign-issue (at least on gcc 4.1.2 -O3)
CHA: idx_type now (signed) int again
CHA: cached lex lead
branches together
cloning old branch
together
FIX: test compiles again
FIX: tests
FIX: better coverage
ADD: changelog entree
ADD: more coverage, fixed checking
CHA: UNLIKELY marker back
FIX: make PolyGUI installable
FIX: install PolyGUI
ADD Singular/README
ADD: tutorial for new features
FIX: typo
ADD: References to tutorial
CHA: better names for unit tests
CHA: recommend boost 1.36 for unittesitng
Added tag v0.7.0rc0 for changeset b5f3aae35ff7
FIX: ChangeLog war out-of-date
FIX: missing files on distribution
FIX: tutorial issues
CHA: tutorial/ChangeLog declare_ring does not need explicit gloabls() anymore
Added tag v0.7.0rc1 for changeset 47994f33c3e6
FIX: corrected Cudd routine for ...nNodes()
Added tag v0.7.0rc2 for changeset 3dd47a0bc571
FIX: updated install information in README, picture path in gui
FIX: hint to tutorial
CHA: clearified tutorial
FIX: another routine more global_ring-independent
FIX: ChangeLog updated
Added tag v0.7.0rc3 for changeset 2ba6d0c0c82a
Added tag v0.7.0 for changeset 794ca6829af3
CHA: new developing
ADD: generic versionnumber
FIX: making versionnumber file reading foulproof
CHA: renaming subdir polybori libpolybori
CHA: directory structure in libpolybori/include more standard-conforming
CHA: adjusted distribute and devel-install target
CHA: better library header
DEL: unused header
FIX: Sage bug #10797
another function more independend from gloabl ring
FIX: broken simplifikation in aes.py
merge
merge
CHA: removed unused stuff, change directory stucture
CHA: introducing include-subdir common
FIX: avoid global ring in block stack
ADD: testing term_accumulate for all orderings
CHA: deactivating unused Cudd fucntionality
FIX: flags for sun, Sage Trac #11083
FIX: zero elements sf tracker id3250426, Sage Trac #11019
FIX: Workaround for possible compiler-bug. Example HeuristicCryptoTestCase.test_ctc_3_7_20joined_la_dp_asc segfaulted when compiled with -O0
CHA: simplified ll_red_nf_generic
FIX: rpm generation
CHA: Changelog completed
FIX: removed manual dependences, which can be triggered automatically better
FIX: avoid absolute paths in pyc files
CHA: simplified
FIX: removing absolute path from installed ipythonrc-polybori
FIX: more standard-conforming spec file for rpm
FIX: more standard-conforming rpm/spec
FIX: soem more spec stuff
FIX: more standard conforming rpm/spec
FIX: more standard conforming rpm/spec
FIX: merge
ADD: manpage for PolyGUI
FIX: Fedora compatible python_sitedir
Added tag 0.7.1 for changeset 794b7af1cdc6
FIX: merged from 0.7-1, renamed restruroing branch 0.7.2
Removed tag 0.7.1
FIX spec group
Added tag v0.7.1 for changeset 7c44ac2b2b29
FIX: tutorial building in rpm
Added tag v0.7.1 for changeset 8e21e52e002b
Added tag v0.7.1 for changeset 52a374b561d3
FIX: removed erroreous spaces
FIX: build needs latex
FIX: distributing versionnumber
Added tag v0.7.1 for changeset f63f545f6c4d
FIX: more platform independent dependency
Added tag v0.7.1 for changeset 1fd41f7ae137
merged from 0.7.1
HIgher version number for restructuring branch
ADD: prepare-rpm target generates spec-file and source-tarball
CHA: stripped more from Cudd
CHA: cropping CUDD even more
CHA: reverting unused Cudd file
CHA: reverting unused Cudd file
ADD: CNodeCounter
merged
CHA reverted ununsed CUDD source
CHA: SConstruct clean up
FIX: be compatible with upcoming m4ri
FIX: do not recompile all of site-packages!
FIX: namespace issue with operator<<, std:: and polybori:: (gcc >4.5)
ADD: unittest checked on rpm generation
FIX: 32-bit clean tests
FIX: more compatible with old scons/gcc
CHA: improved workaround for old scons
FIX: better 64bit test
FIX: This should be the 64bit test
FIX: misleading message
CHA: more generic 64bit detction
CHA: libpboriCudd removed, libgroebner renamed libpolybori_groebner
DEL: unused file
CHA: more standard-conforming header location
CHA: more standard conforming header locations
FIX: suitable default release number
CHA: simplified devel-install header search
ADD: finally we have a config.h
CHA: cleanup
CHA: we do not need a throw-away builder here
CHA: correct machtype for rpm and deb
CHA: more code independent of active_ring
FIX: broken config.h generation
updated doxygen.py
FIX: broken doxygen directory settign
FIX: unittests
simplified testcases
simplified testcases
FIX: let's support python 2.4 (in build system only)
FIX: let's support python 2.4 (in build system only, ignoring 2.5+ features)
FIX: rpmbuild for odler suse
FIX: re-inforce more python 2.4 and scons 0.96 compatibility
FIX: updated Skeleton
CHA: constructing BooleVariable needs ring
ADD: CFactoryBase (Currying approach)
ADD: MonomialFactory
ADD: PolynomialFactory
ADD: VariableFactory
FIX: explicte rings added
merged
FIX: broken merge
FIX: API-changes -> lib->changes
FIX: explicitely state ring
CHA: module aes not distributed any more
CHA: nicer text on config.h building
ADD: SetFactory
CHA: BoolePolyRing::variable(idx) return BooleVariable
CHA: remove unnecessary routine
FIX: compatible to older SCons
merge
CHA: VariableBlock uses VariableFactory
CHA: moved VariableBlock to factories
FIX: Variable access
CHA: using VariableFactory
FIX: newer m4ri has non-selfcontaning headers (Sage Trac #11261)
FIX: tags
merge
FIX: building on ppc Mac OS X 10.4 (Sage Trac #11331)
FIX: always return in non-void function
FIX: unstack nested includes (where possible)
CHA: removed cross-dependency ring/BooleSet in headers
CHA: default constructor BooleMonomial() removed
CHA: removing some more dependencies on active ring
CHA: removing some more dependencies on active ring
CHA: removing some more dependencies on active ring
FIX: wrong syntax
FIX: fglm caught wrong ring
CHA: removed BooleEnv::ring() from fglm
CHA: removed (ring-dependent) comparision operations from BooleExponent
CHA: REducing the use of BooleEnv,, in part. gloabl have_degree_order()-> ring.has_degree_order()
CHA: global have_degree_order() -> ring.has_degree_order()
CHA: remvoed global change_ordering
CHA: removed global change_ordering, get_order_code, append_ring_blocks
CHA: removed another global_ring
FIX: caught wrong to-ring after fglm
CHA: more standard conforming pickling and multiprocessing
CHA: removed more calls of global_ring()
CHA: experimenting with RingContext
CHA: removed unused code
CHA: removed plain Monomial()
CHA: Removed Polynomial([01]*)
CHA/FIX: BooleConstant got dummy polynomial interface
ADD: parallel improved: ring pickling, ring.id()
removed more Polynomial(0|1)
FIX: also transfering variable names
CHA: compress variable names when transfered
FIX: added explicit ring
FIX: interpolation points given as BooleSet
CHA: Polynomial needs explict ring now
FIX: partially removebringing
FIX: alternating block variabels
CHA: removed default constructor from BooleSet
CHA: removed access to global ring and default constructor BoolePolyRing
FIX: moved example to doctest
CHA: deactivated BooleEnv
CHA: get backtrace from parallel
FIX: better ring identifier in multiprocessing
FIX: ring pickling optimized
CHA: more lightweight pickling
CHA: Use copy_reg for pickling
CHA: ipbori does not overwrite Variable anymore
FIX: removed monkey patch for deprecated Ring.var, blocks for some reason
CHA: monkey patch back
FIX: better hack
CHA: consequent nomenclature
next gtry
merge
FIX: broken term-stack
merge
FIX: we don't need a ring context here (doesn't work on test system)
CHA: using ring.variable
ADD: debug code, CHA: deactivated cache in count()
CHA: stack types have explicit copy constructors now
FIX: broke copy constructor
FIX: Workaround remove parallel ring cache after use
CHA: result vector as argument
merged
CHA: more assertions
CHA: even more assertions
CHA: even more assertions
CHA: more, assertions
CHA: more, assertions
CHA: more, assertions
CHA: more assertions
typos
typo
CHA: explicit ring given
ADD: copy construtor for PairE
FIX: workaround: soem polynomials are made for wrong ordering, using cheap coercion here
FIX: FGLMStrategy takes care for rings of trivial elements
FIX: removed workaround
ADD: initial version weak pointer supoort
FIX: assertion only valid for lex ordering
FIX: broken navigation
CHA: re-activated cache for count()
FIX: tests were not up-to-date
merged
ADD: weak ring pointers
ADD: python interface now has WeakRingRef
FIX: CAuxTypes inaccesible (issue 2 at bitbucket)
CHA: parallel cache uses WeakRingRef
FIX: pickling taked care of garbage collection for cached rings
FIX: forgotten header subdirs
ADD: unittest may be compiled with custom inclusion path
CHA: tests use official head
CHA: RingContext improved
CHA: RingContext improved more, exported all factories
ADD: also pickle other PolyBoRi types
CHA: simplified pickling
CHA: changelog updated
FIX: broken but unused command in SConstruct
FIX: broken TEST_CPPPATH
FIX: highlevel model checking routines
CHA: allow long lengths
FIX: use jinja2 if available
merged
CHA: extracting classes from groebner_alg.h
CHA: harvesting groebner_alg.cc and pairs.h
CHA: groebner tables get tier own header
CHA: minor code cleaning
CHA: bringing member components together and harvesting nf.cc
CHA: moved member functions to classes
CHA: consistent naming scheme
CHA: LiteralFactorizationIterator got its own file
CHA: extracting ExpLexLess from randomset.cc
ADD: inSingleBlock/in_single_block to polynomials
CHA: extracting linear algebra und linear lex lead methods
CHA: using established function names for header file names
CHA: renames and moved drawmatrix to header
Added tag v0.8.0alpha0 for changeset b3c563bdb86a
ADD: alpha0 to versionnumber
FIX: python 2.5+ features handled more accurately
Added tag v0.8.0alpha0 for changeset ca457a305e67
FIX: Avoiding SConstruct patch for Sage
FIX: strategy initialization needs ring
FIX: reverting variety_size_from_gb to older version (recent one was broken, see doctest for counter example)
FIX: enforce SIZEOF_* for Cudd
CHA: Cudd headers install into polybori include (avoid clash with other Cudd versions)
CHA: remove workaround for unconfigured Cudd (since we patched this now)
FIX: removed absolete ring.set() commands
FIX: incomment line, which incompatible to std::map
FIXreturn in used_vars
FIX: patches found in Sage-interface rewriting
FIX: patches found in Sage-interface rewriting (up to now: valid foe Sage only)
merge
CHA: deprecated ring-changing stuff, ring.set()/activate removed
FIX: syntax python 2.4 compatible now
FIX: recover docstrings of monkey-patched routines
FIX: adding libpolybori (instead of polybori) to LIBPATH, removing scons-cache on 'scons -c .'
FIX: libpolybori is indeed a dependency of libpolybori_groebner
FIX: adding dynamic lookup for darwin platform
FIX: using shared library instead of loadable modules for plain shared library (possible fix)
FIX: just append flags (instead of setting)
FIX: removed experiment from testsuite
FIX: additional shared compile flags for darwin
FIX: prepending source include path
FIX: visibility hidden only for dynmaic modules (on darwin)
CHA: releasing next alpha
FIX: prepeding local path
CHA: scons variable FRAMEWORKS customizable
ADD: monomial division my be interpreted as division with remainder
FIX: simplified ipython config, supported ipython 0.11 or later
ADD: updated change log
CHA version number
Added tag v0.8.0rc0 for changeset f45be030b217
CHA: ring default constructible (but that's a new ring in one variable)
ADD: FGLMStrategyTest
FIX: explicit copy constructor for FGLMStrategy
FIX: FGLMStrategy may be copied now
FIX: removed useless default cosntructor
FIX: forgotten return
FIX: changelog updated (forgotten feature)
FIX: explicit copy constructor for FGLMStrategy
FIX: FGLMStrategy noncopyable
FIX: reformated GroebnerStrategy.h
FIX: permissions in tarball fixed (scons distribute)
FIX: tutorial updated
FIX: ChangeLog updated
CHA: set version number to 0.8-0
Added tag v0.8.0rc1 for changeset 09ca6b79ac98
FIX: also add directories expliction on distributen tarball (for setting permissions)
CHA: simplified tarball generation
FIX: do not bundle *.bin
FIX: using GB_LIBS only where necessary
FIX: using c++ command in c++ (instead of C)
FIX: lessons lerned from cygwin, don't use snprintf in C++, boost's libs may be suffixed
ADD: example custom.py for cygwin
FIX: resovle dependency cycle, source tarball vs. (s)rpm
CHA: new release script
FIX: ensure non-empty matrices for mzd_transpose
FIX: changelog updated
FIX: finalizing new release.sh
Added tag v0.8.0rc2 for changeset 6fc8ffea243a
FIX: release.sh more generic
FIX: release.sh shows finalparent
FIX: typoe in release.sh
Added tag v0.8.0rc2 for changeset f7e18021ab78
FIX: typo in dir in release.sh
Added tag v0.8.0rc2 for changeset 0f488bc7126e
CHA: STRIPLINKFLAGS=[] per default
FIX: spec file (for rpm) updated and improved
FIX: libpolybori is a LIBS dependency of libpolybori_groebner (not a source)
CHA: update spec file for rpm gneeration
Added tag v0.8.0 for changeset ec191e5da895
Added tag v0.8.0rc3 for changeset 8f03001aa143
CHA: release.sh safer
FIX: linking via library name, not full filename
Removed tag v0.8.0
ADD: CUSTOM_LINKFLAGS (replaces STRIPLINKFLAGS), treating of install_name on darwin
FIX: static lib renamed (make clear what to link), added explicit interdependence of polybori libs
FIX: possible race condition directory generation
FIX: relative symlinks in current dir, shared libs in main directory
FIX: platform independent globbing
Added tag v0.8.0rc4 for changeset 6837fcf81fa1
FIX: bundle extension
FIX: gentoo-prefix on darwin: link issues
FIX: install libPyPolyBoRi (darwin only)
CHA: debian support updated
CHA: experimenting with loaderpath
preparing install_name correction
FIX: issues on gentoo-prefix (on darwin) resolved
FIX: screwed up dependencies
FIX: install_name always given (darwin)
FIX: better install_name call
FIX: generic module file suffix
ADD: absolute install_name may be used on darwin
CHA: debug output
FIX: wrong dependency
FIX: do not try to install_name_tool a static lib
FIX: Need explicite path here
FIX: guess m4ri compile-flags (See Sage's Trac #11574)
fix: only check config.header
FIX: really activate flag
FIX: append flags also needed here
upstream version for debian
upstream version for debian
FIX: release script
FIX release script
FIX: install instead of recursive copy (not so process-safe)
Added tag v0.8.0rc5 for changeset cb36ff4f88a8
FIX: Install python extension only if built
Added tag v.0.8.0rc5 for changeset 09c49e374043
Removed tag v.0.8.0rc5
Added tag v0.8.0rc5 for changeset 423f905ec2f9
Backporting build improvements to 0.7.1
forgotten file
FIX: wrong names on backport
FIX: also install dylibs
FIX: libs should work withpur python extension
FIX: libs should work withpur python extension
libm4ri compatibility (TWO_POW deprecated)
FIX: more compatible m4ri includes
CHA: introducoing 0.7.2
FIX: snprintf may not be available on c++98
Added tag v0.7.2 for changeset c24e572e84a2
Closing 0.7.2 branch
FIX: removing duplicated sub-version on distribute
CHA: using PBORI_ASSERT and PBORI_NDEBUG instead of assert and NDEBUG
CHA: better empty command
Added tag v0.8.0 for changeset 260716c2c188
CHA: ipbori is now an all-python script
CHA: PyPolyBoRi now uses shared libs
FIX: polybori/dynamic/__init__.py now generated
FIX: PyPolyBoRi.so needs LIBPATH
FIX: libpolybori_python also need LIBPATH
FIX: allow int argument for Ring
FIX: minimal import, fixed doctest
CHA: even less imports
FIX dependence on rpm generation
#11574: add -msse2 only of __M4RI_HAVE_SSE2 is defined *and* nonzero
CHA: also test for oldstyle m4ri macros
ADD: use __M if available
FIX: split LINKFLAGS
FIX: Darwin compatibility partially reestablished
FIX: broken install target and restablushed darwin compatibility
CHA: using lib targets (not names), removed Singular interface (use Singular's python extension)
FIX: typo
FIX: simplified lib generation
FIX: pyroot/polybori/dynamic/__init__.py generated when build is built
FIX: be more verbose
FIX: copy locals() dict before iterating
FIX: import whole os.environ into build environment to support envornment-based compiler setups
FIX: relative paths substitutest wrt. env
CHA: simplified relative rpath
FIX: typo, help text generated last
FIX: simplified flags options
CHA: consistent flag handling
CHA: Warn for inconsistent fglm arguments
FIX: ring.clone(ordering=lp) always effective
CHA: improved default flags handling (for LINKFLAGS)
CHA: comment to README
FIX: using weakref.proxy for handling cross-ref
CHA: more user of consistent flags
FIX: python 2.4 compatible build
FIX permissions
FIX: Monkey patch env.Install/As to fix permissions after install
FIX permissions on install
FIX: wrong argument order
CHA: started to implement ipbori's doctest runs
CHA: ipbori -t runs PolyBoRi's doctests
FIX: installed ipbori shows versionnumber
CHA: Get version number, if not installed
minimal example
FIX: ipbori -t file.py
ADD: doctest for frontned
FIX: unique module names for file arguments to ipbori -t
FIX: some polybori modules have optional dependencies
FIX: more generic skipping of optional components
FIX: reestablished python 2.4 compatibility
FIX: better prereq-test
FIX: prereq for context
FIX: python version check while doctesting
FIX: using real file name (not link)
FIX: erroreous check-in
CHA: More generic check for prerequisites of optional modules
CHA: clean-up
FIX: alpha versionnumber which is not misinterpreted as suffix of tar-files
ADD: ipbori -t to rpm'n %check
FIX: forgotten endif
CHA: renamed _prereq -> _exists (hopefully more speaking)
FIX: broken warning
CHA: Check whether gdImagePng is linking on configuring
CHA: better warning of gd-based png-generation fails
CHA: code clean-up in Reduction strategy
CHA: code clean-up in red_tail
CHA: added comment, removed unused member function
FIX: recovering erroreously removed optimization
CHA: introducing subprocedures for ReductionStrategy::setupSetsForElement
CHA: refactorizing ReductionStrategy more
CHA: updateLLReductor simplified
ADD: starting proper class PolyEntryVector
CHA: making PolyEntryVector saver
CHA: some more code clean-up
CHA: more clean-up
CHA: add consistent PolyEntry=poly
ADD: PolyEntryIndices (extracted from PolyEntryVector, CHA: llReductors from ReductionStrategy updates more smoothly
FIX: fallback return value PolyEntryIndices
ADD: ReductionOptions
CHA: PolyEntryVector now consistent
CHA: moved more functionality to ReductionTerms
ADD: class LLReductor
ADD: TermsFacade and MinimalLeadingTerms
CHA: consistent names
FIX: minimal leading terms cleanup
FIX: removed broken copy constructor of LLReductor
FIX removed unnecessary check
FIX: MonomialTerms need mass update here
FIX: partially reverting previous patch, more sophisticated fix found
FIX: to avoid bugs like the previous one make PolyEntry's constructor explicit
FIX: hopefully finally fixed PolyEntryVector::push_back issue
CHA: hopefully better fix
CHA: removed unused code
CHA: removed debug code
FIX workaround for mult6x6mit_lp
CHA: useful comment
CHA: minaor cleanup in GroebnerStrategy
ADD: BooleSet::rExpBegin, rExpEnd
CHA: simplified tail reductions in GroebnerStrategy
CHA: simplified tail reductions in GroebnerStrategy more
ADD you may consistently assign to a PolyEntryReference now
CHA PolyEntryReference onyl gets what it needs
CHA: removing redundant code
CHA minor clean up in GroebnerStrategy
CHA simplified code more
CHA: more cleanup in GroebnerStrategy
CHA: moved llReduceAll to ReductionStrategy
FIX: GroebnerStrategy::propagate_step ore stable without recursion
CHA: rewriteen propagation
CHA: propagate more simplified
CHA propagate more readable
PolyEntryIndices::insert back inline again
FIX: saver improvement check
CHA: simplified GroebnerStrategy
ADD: simplified GroebnerStrategy::addGenerator!
CHA: nonrecursive and simplified GroebnerStrategy::addGEnerator
CHA: GroebnerStrategy::addGenerator simplified
CHA: simplified more
CHA: simplified Singletn criterion
FIX: poly-> PolyEntry implicitly convertible
CHA: removed useless explicit
CHA: ReductionStrategy::setupSetsForLastElement removed (saver now)
CHA: simplified addGenerator again
CHA: better naming
ADD class NormalPairsTreatment for treatNormalPairs
FIX: PolyEntryVector::append now virtual (avoid incosistencies when casting)
CHA: using NormalPairsTreatment in ReductionTerms
CHA: some formating
FIX: forbit TermsFacade::= to avoid inconsistence
FIX: forbit some more assignments
CHA: simplified line
ADD: Monomial variant of minimal_elements_divided
FIX minimal_elements_multiplied usable again (though not used)
CHA: simplied arguments to NormalPairsTreatment
CHA some formatting
CHA: explicitely set empty NormalPairTreatment
CHA: using poly's nice division for BooleSet also
ADD: helper for generating NormalPairsTreatment
CHA: improved and better documented normal pairs' relevant terms
ADD: doctests
ADD: binary member_function_operator fir unary member functions
ADD: class RelatedTerms as helper for pair treatment
FIX: forgotten new file
ADD: BooleSetSequence
FIX: making operator more stable
ADD: Using more general TransformedSequence to transform on the fly
CHA: Simplified handling of normal pairs
FIX: forgotten file
CHA: simplified addHigherImplDelayedUsing4
CHA: simplified addHigherImplDelayedUsing4 more
CHA: member function is actually const
CHA: simplified GroebnerStrategy's addHigherImplDelayedUsing4 and add4ImplDelayed
CHA: extracting newly introduced classes from other classes sources
CHA: more new classes got their files
FIX: corrected creatorship
ADD: GroebnerOptions outsourced
FIX: same_rings is generally available now
ADD: strategy refactoring -> ChangeLog
CHA: move TransformedSequence to a suitable location
CHA: move WekRingPtr to a suitable location
CHA: simplified GroebnerStrategy::addAsYouWish
CHA: simplified PairManager
CHA: more simplification
ADD PairManagement
CHA simplified PairManagement
CHA: clean up in PairManagement
CHA: consistent naming
ADD: RingMap for convenient ring changing
ADD NextSpoly, CheckChainCriterion, reactivated PairManager
CHA: PairManger back in action
CHA renamed PairManagement -> PairManagerFacade
FIX: typo (in nonactive code)
FIX: lessons learned from rpmlint
FIX: saver docstring concatenation
FIX: rpm-ownership of directories
CHA: merged with cudd 2.5.0
CHA: prefixing out forked Cudd functions to avoid nameclash with original Cudd
FIX: also prefixing DdManager to pbori_DdManager (maybe incompatible with original Cudd)
FIX prefixed Cudd's internal MM*
FIX: consistently using macro PBORI_FORCE_ORIGINAL_CUDD
CHA: updating libM4RI to 20111203
FIX: fallback m4ri is configured during configuring only, cleanup added
Added tag cudd2.5.0 for changeset e4ee8f86d47a
Added tag m4ri20111203 for changeset 39c6970ad082
FIX: ChangeLog updated
CHA: preparing v0.8.1rc0
Added tag v0.8.1rc0 for changeset dc9f22f27b70
FIX: version numbers for deb
FIX: m4ri called exit in library code
CHA: prefixing LIKELY and UNLIKELY
FIX: removed duplicated stuff in Cudd's docu
FIX: parenthesis for saver '
FIX: rpm generation improved
FIX: All PolyBoRi-related macros prefixed PBORI_ (but SIZEOF_*)
FIX: unecessary builds in rpm generation skipped
ADD: optional use od m4ri rpm
ADD comment in spec
FIX: better scons macro in spec
FIX -Wall checked
FIX skipping C++-incompatible code from M4RI's headers (C++98 vs. C99)
FIX: checking for long long in C++ 98
CHA: avoid long long
FIX: nonlonlong check
CHA: simplified use of pseudo-long-longs
CHA: moved classes to own files
ADD DelayedLongProductTest
CHA: improved long-long-less check for 64bitted longs
ADD: explaining comments
FIX: more portable test
FIX: removed erroreous check-in of leadingTerms.h
FIX: undefined statics avoided
FIX: inherit from python's object
FIX: don't check random part of random doctest
CHA: using static function here
FIX: better product range check
CHA: using enums instead of static constants
CHA: delayed comparison optimizes
CHA: removed unused delayed product comparison
ADD test for Long64From32BitsPair
FIX: filter opt_,use_,... from groebner_basis options and give to implementation
FIX: better delayed product
Added tag v0.8.1rc1 for changeset ce71a9837085
FIX: 32 Bits compatible test
CHA: Use software product
CHA: Use test more platform independent
CHA: more eloquent debian generation
CHA: broken rules
CHA: broken rules
CHA: simplify control
CHA: verbosify rules
FIX: correct boost_python name for debian
FIX: debian rules
do not distribute generated stuff from M4RI
FIX Hopefully found correct rules
FIX improved rules even more
FIX more generic rules
FIX more generic rules
FIX: minimal boost versionnumber back
FIX exclude pattern for distribution
CHA renamed DelayedLongProduct to PseudoLongProduct
FIX: undef macro before changing
Added tag v0.8.1rc2 for changeset 84573c44dafb
FIX: build works without python extension
FIX: more idependence from actual interface implementation
Added tag v0.8.1rc3 for changeset 47664b4d034c
FIX PolyGUI relocatable
Added tag v0.8.1rc4 for changeset df3622b879a7
FIX: import with_statement for doctests for python 2.5
FIX: install dlls on cygwin executable
CHA: PyPolyBoRi.py is smart: select Sage's interface if available
FIX: alternative interface import
Added tag v0.8.1rc5 for changeset 660a603e0ce1
FIX: cygwin support reestablished
FIX: dot is a prerequsite for doctesting polybori.plot
Added tag v0.8.1rc6 for changeset b3a12752980c
Added tag v0.8.1 for changeset e67f89018001
corrected qt requirements of the gui package
CHA incremented version number
FIX removing locales pkgs/rpm/PolyBoRi.spec.in
FIX: prerequisites check for testing plot.py
FIX dependency m4ri
CHA: pushing verison number again
FIX preprocessor misconception.
FIX explict name lookups (in template base)
FIX typo in function call
CHA support not to prefix Cudd stuff (#define PBORI_USE_ORIGINAL_CUDD to do so)
FIX: list access to ideal, which might be represented as a set here
FIX: doxygen comment
FIX use as few libs as possible
CHA: changelog updated
FIX: not assuming ideal is list in gbcore
FIX: work around wrong tool chain on sun
FIX: reverting previous check-in: custom.py unusable on sunos
FIX gcc components on sun
FIX compatbile with IPython 0.12+ (and 0.11 and older)
FIX: wrong variable name
FIX: replaceing deprecated os.popen with subprocess.Popen
CHA: only utilizing __M4RI_SIMD_CFLAGS (instead of full __M4RI_CFLAGS)
FIX: using subprocess.Popen's communicate() to avoid deadlocks in SConstruct
FIX: doxygen can be switched on again
FIX: detect_compiler|detect_linker compatible with multi-word CC
FIX: ring.clone() was not active partially
FIX: draw_matrices given to groebner implementation
ADD: Use m4ri for png generation (oinstead of gd), if possible
FIX: profiled uses new-style ordering changing
FIX: avoid to sort on translate_back
CHA preparing rc for 0.8.2
CHA: postponing work on conversion branch
CHA: ChangeLog updated
FIX: profiled uses new-style ordering changing
ADD: Use m4ri for png generation (instead of gd), if possible
Added tag 0.8.2rc0 for changeset 13ebe584c0ac
FIX: debian changelog
Modern c++ patch from http://trac.sagemath.org/sage_trac/ticket/12818
Added tag release-0.8.2rc1 for changeset 8aed782d9baf
Added tag 0.8.2rc1 for changeset 30d6854b9e1a
FIX: not using x(i) in doctest
Added tag 0.8.2rc2 for changeset 08f2b8063e5e
FIX: BooleMonomial(ring).index() fixed (Sage's Trac #13133)
Removed tag release-0.8.2rc1
FIX unusual tag convention
Added tag v0.8.2rc3 for changeset 0ab276947c2c
FIX: broken sunos setup (see Sage's Trac #13124)
ADD: new option groebner_basis(..., fglm_bound=40000): avoids fglm if variety size exceeds
ADD: groebner_basis(..., fglm_bound=40000) to ChangeLog
Backed out changeset eb20d3d5c759
Backed out changeset 2e381089bfa8
Imported Upstream version 0.8.2
Imported Upstream version 0.8.2
Imported Upstream version 0.8.2
Dominik Stahl (3):
ADD initial GUI version
auto fields introduced
merged
Florian Heiderich (18):
CHA: clarify docstring
CHA: New release in Changelog added
FIX: Added __hash__ to BooleRing
Added description of value() in CCuddNavigator
FIX: Corrected typo
CHA: Replaced "value" by "index"
CHA: Replaced "knot" by "node"
CHA: Code formating
FIX: Corrected tutorial (example adapted to specialsets.py)
FIX: Adapted example to new name of res.cartesian_product()
ADD: Added description for HigherOrderBlocks
ADD: Docstrings
ADD: Docstring
ADD: Comment
ADD: Class to handle Boolean polynomials over finite direct products of F_2
Merged
FIX: Necessary changed due to internal changed of other polybori classes
FIX: type conversion
Jerry James (2):
Import of order codes fixed
Missing "case" keywords in cuddObj.cc and CCuddInterface.h; typo in main_wrapper.cc; fixes doxygen code
Ket Kalda (95):
first commit
ADD: BooleMonomial tests for LCM and GCD
ADD: BooleMonomial tests for logical operators and small methods
ADD: BooleVariable tests started
ADD: BooleVariable tests continued
ADD: BooleVariable tests comment added
ADD: BooleVariableTest comments added for all nonworking lines
ADD: BooleSetTest started
ADD: BooleSetTest continued
ADD: BooleSetTest continued
ADD: BooleSetTest continued
ADD: BooleSetTest continued
ADD: BooleSetTest continued
ADD: BooleSetTest finished
ADD: BooleExponentTest empty file
ADD: BooleExponentTest divide, multiply. BooleMonomialTest and BooleVariableTest expanded.
ADD: BooleExponentTest multiply expanded.
ADD: BooleExponentTest multiplyFirst.
ADD: BooleExponentTest LCM and GCD.
ADD: BooleExponentTest add_remove, BooleMonomialTest constructor.
ADD: BooleExponentTest continued.
ADD: BooleExponentTest done. BooleMonomialTest small addition.
ADD: Merged after update. Tests changed appropriately.
FIX: BooleExponent::popFirst assert replaced with if condition
FIX merged
ADD: BooleExponent constructor from BooleMonomial, appropriate tests
ADD: BoolePolyRingTest
ADD: BoolePolyRingTest::test_variables
ADD: BoolePolyRingTest tests continued
ADD: BoolePolyRingTest::test_ordering and test_dd_type
ADD: BoolePolyRingTest::test_coerce
ADD: BoolePolyRingTest::test_constructor and test_hash
ADD: BooleConstantTest
ADD: BooleEnvTest
ADD: BooleEnvTest
ADD: BooleEnvTest::test_dd_type, test_variables, test_ordering
ADD: CCuddDDFacadeTest started
ADD: CCuddDDFacadeTest and BooleEnvTest continued
ADD: CCuddDDFacadeTest and BooleEnvTest continued
ADD: CCuddDDFacadeTest and BooleEnvTest continued
ADD: CCuddDDFacadeTest::divideFirst
ADD: CCuddDDFacadeTest::test_divide, test_multiples
merged
ADD: CCuddDDFacadeTest::test_multiples more bugs, comments
ADD: CCuddDDFacadeTest::tests
ADD: CCuddDDFacadeTest::tests continued
ADD: CCuddDDFacadeTest implies and refCount
ADD: CCuddDDFacadeTest ring and constructors
ADD: CCuddDDFacadeTest ite constructor
ADD: CCuddDDFacadeTest nNodes
ADD: CCuddDDFacadeTest == and !=
ADD: empty LexOrderTest.cc
ADD: unittests_facades
ADD: LexOrderTests::testproperties, test_getters
ADD: LexOrderTests::test_compare
ADD: LexOrderTests::test_lead
ADD: LexOrderTests::test_blocks
ADD: DegLexOrderTest
ADD: DegLexOrderTest buggy example
ADD: DegRevLexAscOrderTest
ADD: BlockDegLexOrderTest
ADD: BlockDegRevLexAscOrderTest
ADD: test_compare_blocks
ADD: test_lead_blocks
ADD: todo added
ADD: todo added
ADD: todos added for tests
FIX: lieInSameBlock endless loop
FIX: rename isDegreeReverseLexicograpical
ADD: CBlockOrderingFacade started
ADD: CBlockOrderingFacade continued
ADD: appendBlock checks
ADD: BlockDegRevLexAscOrder inherits from CBlockOrderingFacade
ADD: leadIterator fcts moved to COrderingFacade FIX:remove m_indices from BlockDegRevLexAscOrder
FIX: leadIterator fcts cleaned from orderings
changed BOOST_CHECK to .._EQUAL or ..._NE wherever applicable in the block tests
changed BOOST_CHECK to .._EQUAL or ..._NE wherever applicable in the ordering tests
changed BOOST_CHECK to .._EQUAL or ..._NE wherever applicable in the booles, facades tests
cvs relicts removed(@internal blocks)
ordering tests expanded for lead(poly=1), lead fixing started for poly=0
lead fixing finished for poly=0 for orderings
poly=0 checks commented out from BoolePolynomial
lead test slightly extended for degree orderings
merged
merged
putting branches together
finally bringing together
finally bringing together
ADD: small additions to tests to increase code coverage
ADD: small additions to tests to increase code coverage
ADD: small additions to tests to increase code coverage
ADD: more complex tests for BooleMonomial
ADD: more complex tests added for coverage
ADD: PBoRiErrorTest.cc
ADD: more tests added for coverage
Ket Shcherbakova (32):
CHANGE: orderings folder in include
CHANGE: iterators folder in include
CHANGE: errors folder in include
CHANGE: routines folder in include
CHANGE: literals folder in include
CHANGE: cache folder in include
CHANGE: pbori_func.h moved to routines
CHANGE: stack related headers moved to iterators
CHANGE: ring folder in include
CHANGE: diagram folder in include
CHANGE: added to ring and diagram
Superseded tests removed
Unused tests removed
CStringLiteralTest added
FIX: all tests added to unittests
ADD: term_accumulateTest
ADD: term_accumulateTest test converted to new format
ADD: spolyTest
ADD: GroebnerStrategyTest started
ADD: GroebnerStrategyTest added to
CHANGE: define guard namings for subfoldered includes
CHANGE: remove newly superseded tests and prepare for cudd ripping
CHANGE: define guard namings for polybori includes
FIX: docs generated now for libpolybori again, scons excludes unnecessary cudd files
CHANGE: more cudd files to remove: cuddObj
CHANGE: some doxygen warnings fixed, some cudd files removed from scons
CHANGE: chopping cudd started
CHANGE: more chopping
FIX: CCuddInterface chopping
CHANGE: Reordering algorithm chopping
CHANGE: zdd reordering algorithm chopping
FIX: typo in scons exclusion
Michael Brickenstein (67):
+ added .hgignore
+ removed testsuite from SConstruct
reformatted nf.cc, second sort crit for ll.py
much better counting generation of standard monomials
added missing iter in ll.py/convert to polynomial in cnf.py
merge
moved here from testsuite
Backed out changeset ed983adb60ca
added missing iter
moved parsegat to this repository
ups, found the real horrible parsegat version, which was not in our version system yet
pass more options in llfirst_post
disabled keyboard interrupt handling
moved easy linear factors
Added tag Abgabe Dissertation for changeset 5f3bd08f0eba
landscape for plotting/Alexanders idea of ll_constants
merged
easy linear polynomials
patch for substitute_variables
replaced ring
really set ring
hopefully fixed problem with comparison
hopefully solution for Martins bug report
made some tiny steps improving LA code
implemented new delay heuristics
la changes
merged
removed max_nodes
merged
always inherit from object, new style classes
added normal_form
use reduce option
use reduce option
ll, handle len==0 ll system
merged
new criterion
high probability idea
avoid some overhead
warning for ring.var
consider linear factors for new trick
merged
tweaked it a little bit
new trick: avoid extrem cases
merged
fglm patch
merged
libs hack
merged
merged
removed hardcoding I entered
added cluster.py
merged
debugged a little bit cluster.py
mentioned cluster.py in ChangeLog
minimal imports
commented trick
more evil conversion stuff
more evil conversion stuff
add break to option filtering
finish for today, at least some things compile, need to extract real polys from nodes, and testing, bugfixing, cursing...
now begin debugging...
HeuristicQuickTestCase passes for new conversion
Merged in brickenstein/polybori-conversion-branch (pull request #1)
avoided double action, crashes
merged
monomials in conversion instead of exponents
reduced overhead by using navigators
Singular (1):
Initial revision
bricken (949):
*bricken: initial version
*bricken: works for me
*bricken: hope that's better
*bricken: standard/copy constructor
initial version
*bricken: made destructor safer, clean current_ring
*bricken: wrap also ZDD from Cudd
initial version
*bricken: two poly additions
+ builds python extension
+SHLIBPREFIX for linux
*bricken: some linux fixes
*bricken: USER_CPPPATH
*bricken: undo last checkin
*bricken: undo last checkin
*bricken: colon sperated args
*bricken: integrated BooleVariable, BoolePolynomial
*bricken: more functionality
*bricken: custom.py
*bricken: poss. of skip boost check
initial version
*bricken: following Alexanders C++ developments
+ treated special cases
2.3 compatible
*bricken: compile team reduction
+ hash function
+ reducibleBy
+ copyDiagram
+ functions for lmDivisor manipulation
*bricken: navigator
*bricken: generator for paths
+ __len__
+ __len__
*bricken: initial dijkstra
*bricken: more functions
more wrapped, parser: allow one
+ worked on pair handling
*bricken: elimination length
+ gb algs
+ removed semicolons
+ compile fixes after creation of BooleMonomial
initial version
*bricken: added groebner library
initial version
+ adjusted
+ typedefs
+ work on pair status
*bricken: subtile improvements
+ groebner_alg.cc
+ pair constructors
+ further steps for pair management
+ lm caching
*bricken: improved readibility
+ groebner lib for python, clarified code
+ beginning to introduce groebner
initial version
groebner for PyPolyBoRi
+ small fixes
+ introduced GroebnerStrategy
*bricken: pairs.cc is no longer source for PyPB
initial version
+ monomial integration
*bricken: libpath
*bricken: newline
+ hopefully fixed problem
+ cut and paste bug fixed
+ name rhs of parameter was missing
+ wrapper for set
+ monomial integration
initial version
+ inverted comparison operator
+ compile fixes
+nf
+nf in groebner
+ python testcases works again
*bricken: new variants
+ hash_map
initial version
+ better timings, profile support
+ newline at end of file
+ intersecting terms before adding to leading_terms
+ intersect lt before add
*bricken: better pair sorting
+ newline
+ first semi GB alg
+ more statistics for semi C++ buchberger
+ chain criterion
+ better chain crit
+ myriads of normal forms
+ work on verification of correctness of gb algs
+ testsuite no longer default
+ work on pseudo parallel reductions
*bricken: improving crit, new examples
+ newline
*bricken: pair handling
+ can read Singular syntax inside python interpreter, except powers
+ less gb prot, better input parsing
+ tail reductions
+ corrected type for usedVariables
+ speedup by better reduction by monomial
+ made destructor virtual
+ added a missing return statement
+ bug with %
+ better docu for bug
+ try always to reduce against strat
+ optimized reduction by binom
+ lazy
+ small optimizations on reduction
+ corrected assertion
+ newline
+ corrected assertion
+ static profiling version
+ optimization remark
+ literal factorization
+ speed enhancements
*bricken: better detection of 1
+ example for append for profile
+ default value for USERLIBS
*bricken: initial support for IQ-Crit, still long way
+ 64BIT workaround
+ implemented iq criterion
+ bug fix for extended pc
+ enhancements
+ better lazy
+ work on GPS
+ propagating engine
*bricken: optimized pair handling
+ very much optimized pair handling
*bricken: other pair selection
+ more delays
+ factorization optimizations by length considerations
tuning/optimization
initial version
+ work on delaying
+ worked on step_T_complex
+ prefere nNodes against length
+ minor tuning
+ work on redTail
+ removed protocol for unittests
+better common_literal_gcd_deg
*bricken: improved implication detection
+ Monomial(Variable(int))->Variable(int)
+ easyProductCrit initialized
*bricken: new pairs/new heuristic for implications on exchange, propagation
+ additional marking for minimal lm
*bricken: improved minimization
*bricken: improved minimization
+ reuse calculated factorizations
+ only do some things at minimal lt
+ modified selection strategy
+ pair management optimized
+ use divisorsOf
+ reverted back because of hang
*bricken: weakDivide removed from pair routines
*bricken: initial version
+ implicit conversion/ __str__ __repr__
+ trivial optimization
+ minimization
+ minimalizAndRedTail
*bricken: + optRedTail
+ minimal_elements_multiplied
+ improved pair minimization
+ minus one outdated assertion
+ redTail optimization
+ previous checkin fixed
+ divide_out_divisors
+ const stuff
+ __getitem__, __constains...
+ reference type is now equal to value type, as references would lie in the iterator and not in the polynomial
+ other minimal elements solution
+ __iter__
+ more operations
+ bugfixed cut and paste vnb->second in implications
+ bugfixed cut and paste vnb->second in implications
+ removed typo
+ renamed redTail, some const, improved redTail, unite_polynomials, min_el_int2 calls itself
+ main_wrapper: path
+ integrated exponent
+ used now Exponents for some things
+ fixed bug in marking in the pair table
+ minimal_elements_internal3
+integrated extra
*bricken: integrated extra functions
+ extra xor for addition
initial version
+ case file name sensitivity , defs
+ dotProduct->unateProduct
initial version
+ EXTRACT_ALL
+ define HAVE_HASH_MAP
initial version
+ lp data
+ pairs now with Exponent
+ removed implicit casts exp to mon, used leadExp()
+ removed implicit casts exp to mon
+ length calc optimization
+ use existAbstract
+ some refactorizations/some tiny optimizations in pair handling
+ use lp4 table also for higher implications
+ optimized implications lp4
+ impl only for minimal
+ small implementation optimizations
+ subSet, supSet from extra
+ variant using subset for divisorsOf
+ minimalLeadingTerms were not so minimal, fixed, use supSet instead of multiples
+ crash fixed
+ avoid bad templates
+ polynomial multiplication
+ CNF builder
+ bugfixed hard coding
+flat files
+ reorganized tests
+ as you wish
+ as you wish
+ exclude lp4data.cc
+ simpler
+ assertion
+ integrated more examples
+ more examples
+multiplesOf, tailVariables to Exponent
+ fixed copy constructor for strategy, optimized computing of PolyEntry
+ subtile tuning by using exponents
+ select1 uses now exponent for iteration
+ tail reduction optimized
+ adjustments to deg order
+ some minor general and deg order optimizations
+ better use sugar value
+ minor optimizations
+ usedVariableExp instead of usedVariables
+ red_tail now in addAsYouWish
+ red_tail_generic
+ a minus sign
+ removed minus sign again
+ ordering support
+ corrected assertion
+ new tables
+ uncommented duplicate typedef
+ fixed bug affecting the correctness of the result
+ removed assertion
+ add some implications directly
+ add some implications directly
+ groebner implication strategy changed
+ C implementation
+ C implementation
+ partially reverted changes until monday
+ hopefully now correct table
+ hopefully now correct table
+ optLazy
+ bug from friday fixed
+ sugar tuning/generalization of polynomial code calculation
+ non minimal polynomials get malus
+ fast multiplication
+ try this deg function
+ optExchange
+ recursion
+ recursion
+ fixed two bugs from weekend tests
initial version
+ new map type
+ support for general python version
+ further rule for recursion
+ suggestPluginV
+ improved GPS
+ restricted lazy to sugar consideration
+ optRedTail in Split
+ optStepBounded
+ brutal reductions
+ test for zero
+ bug now hopefully fixed and not only workarounded
+ set variable name
+ minimalize without tail reduce
+ replacePair
+ consider ecart at replace
+ test for already trep
+ test for index equality
+ fixed replace
+ corrected pair marking
+ better bundle_loader
+ further optimized translate_indices
+ getOrderCode
+ cudd friendlier multiplication
+ no recursion
+ switched multiplication
+ optDelayNonMiminmals
+ monomial comparison
+ same proc to compare lex. for monom/exponent, ignores easy equality
+ length estimations
+ exacter len estim
+ more profiler friendly
+ adjusted to new scheme
+ some tuning in multiplication
+ new minimal elements, fails tests
+ new minimal elements, fails tests
+ new assertion/optimizations
+ used new constructor
+ fixedpath divisors
varied calls to minimal_elements
+ new minimal elements
one call to minimal elements less
+ use mod_var_set
+ mod out mod
+ tuned minimal elements
+ ite
+ optimized mod_var_set
+ mod_deg2
+ mod_deg2
+ optimized minimal elements
+ gcp_large
+ more efficient minimalize and tail reduce
+ initial version
initial version
initial version
initial version
+ the generated one
initial version
+ first working version
+ initial version
+ SINGULAR_EXTENSION
+ now hopefully really works
+ fixed mem. leak
+ improved build process for singular module
+ generate field equations
+ some optimizations, as I hope
+ avoid duplicate monomial instantiation
+ some options
+ some new procs
+ new implication scheme
+ improved implications
+ impl fixed
+ LEX_LEAD_RED_STRAT
+ some fixes for terminalValue
+ dangerous fixed path
+ orderBegin
+ block orderings
+ block orderings
+ changed red_tail for block order
+ terminalValue->isTerminated
+ constructor from nav
+ minor enhancements
+ ll_red_nf
+ virtual destructor
+ candidate for lead
initial version
+ test_util
+ test_util
+ ll
+ ll llReductor
initial version
+ ntl
+ optLL
+ new minimal elements
+ back to binary min elements until unary is fixed
+ back to binary min elements until unary is fixed
+ ll/mod_mon activated for red_tail
+ ll default off
+ noro/optLL
+ monomials
+ ll_redsb variants
+ ll variants
+ accumulate used
+ extrem cases for sum_range
+ call right ll_rednf in recursion
+ nav constructor
+ cleaned
+ reduced recursion branches for multiplication
+ more special cases
+ reverted last changes partially
+ from scons wiki
initial version modified from polybori
+ exclude data files
+ doxygen
initial version
+ command line parsing
+ gen python documentation
+ deps for doxy
+ pbori cache macros to cache opts file
+ removed extra deps/extra poly ops
+ treat userlibs
+ treat case ld_library_path not defined
+ faugere
+ optimize faugere
+ improved matrix generation for f4
+ improved matrix generation for f4
+ tuned F4
*bricken: removed some dead code
+ add_up_polynomials
initial version
+ M4RI
+ M4RI
+ some defines
+ ll for faugere
+ have_deg_order, M4RI init
+ four russians k=12
+ removed cpucycles, etc
+ monomials_plus_one
+ plug_1
partially removed changes
+ improved implicit conversions
+ proper inheritance
+ broke F4 code into pieces
+ some code cleanup
+ more pieces
+ improved variable class
+ var==var
+ work on modified linear algebra
+ continued work on new linear algebra
+ continued work on new linear algebra
+ continued la work
+ bugfixing linalg
+ new linalg working, but slower
+ init of M4RI improved
+ use normal transpose proc
+ optimal k
+ prot trigger for some routines
+ full rank functions
+ min for k to 1
+ vectorizing hack
+ deactived vectorizing hack
+ vector bug fix
+ activated vectorization
+ lastBlock LA
+ optLinearAlgebraInLastBlock
+ interpolate
- extra, +variable CXX
initial version
+ interpolate
+smallest lex
+ new tag
+ monomial ops
+ zeroes
+ countDouble
+ countDouble -> sizeDouble
+ methods
+ greedy
+ initial version
+ CTypes->GBTypes
+ minimal elements -> minimal_elements_cudd_style_unary
+ include_divsors
+ hash
+ include divisors
+ default ring
+ moved from root
+ min elements
+ nf
+ python into pyroot
initial version
initial version
+ coding aes
initial version
+ variable_block
+ templates
+ last block treatment
+ dry
+ adjustments
+ uuf100
+ uuf125
+ builds agains on mac
+ equality test const
+ more funs with cache
+ more funs with cache
+ used counters
+ new factorization/disabled at the moment
+ fixed subtil bug
+ fixed subtil bug
+ fixed subtil bug
+ activated alternative factorization
+ small optimization
+ used factor cache
+ reverted
+ changed implementation for opposite_logic
+ changed implementation for opposite_logic
+ branch predict
+ visibility option
+ use mod_mon_set
+ next try
+ another try
+ path fixes
+ appearently we need bundles here
+ fixed pair bug
+ compiles on Mac, but gb shared includes cudd, pb, pb shared includes cudd...
+ CPPDEFINES for profiled
+ import PyPolyBoRi
+ rewritten reduce_by_binom
+ use reduce_by_binom
+ changed nf3degree order using graded part
+ misc funs
+ replaced inversion
+ misc
+ corrected baseorder code
+ experimental version: tables for block orderings
+ treat base order safer
+ micro optimized mod_mon_set
+ don't eat me, I just refactored it
+ refactored
+ first heuristic
+ wrap doc string
+ first heuristic
+ gradedPart
+ heuristics module
+ alternative implementation
+ with bound
+ bounded version for heuristics
+ don't double call used_vars
+ absolute import
+ heuristic turn on/off
+ 2.5
+ removed dead code/no overloading
+ removed old code
+ handled inversion cleaner
+ cleaner post/preprocessing
+ 2*
+ kwds for heuristic option
+ kwds for heuristic option
+ kwds for heuristic option
+ kwds for heuristic option
+ kwds for heuristic option
+ hopefully working now
+ iteration over GBStrat might be the problem
+ iterator for strat
+ cleaned
+ index handling
+ state for filter
+ state for filter
+ default options
+ default options
+ moved ll to gbcore
+ more holes
+ count_double
+ removed pedantic option
initial version
+ Polynomial constructor
+ can now calculate pow(p,100000000000)
+ diagram as set
+switched defaults
+ gb conversion
+ patches from burcin
+ removed superfluos cast from booleset to booleset
+ set method
+ cartesian product
+ if_then_else
+ if_then_else
+ set
+ cleaned interface
+ cleaned pb
initial version
+ friendly solution
+ five graded part variants
+ convert result to list
+ feature complete, but not checked
+ feature complete, but not checked
+ some word for low level friendly
+ fixed some typos
+ macro functionname
+ removed abstract
+ first ll heuristics
+ moved ll up in heuristics tower
+ heuristic in several layers now
+ pass heuristic argument to lower level
+ corrections
+ __repr__
+ mod_mon_set as modulo operator between Boolean sets
+ zeroesIn
+ reworked Python interface
+ reworked python interface
+ avoid zeroes
+ removed workaround
+ fix zero polynomials
+ def of boolean polynomials
+ remove python 2.3 support
+ dlex -> dp_asc
+ deg check for other order result
+ prot
+ cascading ordering changes
+ environment with SAGE
+ slimgb -> symmgb
+ use max_element
+ load_file
+ std import
+ unique generator, delete zeroes before heuristic
+ raise NotImpl
+ at least no redsb more after deg_bound
+ deg bound fixed
+ allGenerators function
+ sizeDouble
+ fix visibility
+ .set
+ operator* for var, but doesn't solve probleme
+ > -> <
+ initial version
+ expose add_up_exponents
+ randomset
+ equality operator on sets
+ lex_variety_leading_terms
+ just import polybori
+ minor changes
+ replace some constructors
+ global_ring, ring::set
+ empty list bug fixed
+ work on GPS
initial version
+ reducibleBy
+ further eliminated factor three for full rank
+ destroyMatrix mat_step2_factor
+ removed clean_data
+ integrated interpolation in groebner_basis
+ fixed/optimized ordering of polys
+ removed unnecessary cast
+ removed many commented and empty lines of code
+ new section
+ coding conventions
+ coding conventions
+ export order codes
+ options documentation
+ options documentation
+ options documentation
+ fixed groebner_basis doc string
+ naive approach for first half of evaluation section
+ place holder for naive soluation
+ next naive solution
+ set operations
+ linear lead
- keyboard interrupt
+ variables now have proper comparisons
+ more on monomial orderings
+ more on monomial orderings
+ fixed unique ideal generator
+ more groebner_basis options
+ ring declarations, data files
+ ring declarations, data files
+ nVars -> number_of_variables
+ initialize generator only once
+ elimination orderings
+ some formulations
+ adjusted tutorial to new monomial iterator
+ implement postincrement correctly
+ new variable iterator/if then else
+ adjustements to new monomial iterator
+ removed unnecessary variable constructor
+ interpretation of BooleSet
+ use the same S
+ top_index
+ use top index
+ zero case
+ inheritance of Ring
+ rescued method from cut and paste hell
+ dealing with navigators
+ interpolation
+ interpolation
+ some degree estimations
+ reverted
+ reverted
+ some operators
+ fixed evil bug in comparison with constants
+ ll_constants
+ use ll constants post
+ again only integers for translation tables
+ strat->nf listens on optRedTail
+ fixed typo
initial version
+ add refence to global ring to GroebnerStrategy at creation
initial version
+ access strategy polynomials via lead
+ completely option
+ redTail method
initial version
- red_tail function
+ bitwise
+ GroebnerStrategy explained (a little bit)
+ less_than_n_solutions
+ polynomial properties
+ reducibility tests
+ mod_mon_set idea
+ old heuristic back
+ new four russians
+ renamed zeros
initial version
+ section on partial functions
+ removed inline
+ removed some c++ comments
+ removed c++ commments
+ renamed clone/some c++ comments
+ GPL2+
+ new pb release
+ active_ring moved to BooleEnv.cc
+ removed magic line
+ updated
+ optimized writing matrices
+ new upstream version of M4RI
+ new upstream version of M4RI
initial version
+ build strassen files
+ dyn module is no slib
+ duplicate declaration removed
+ unlikely
+ print matrices for deg orders
+ cleaned flags
+ not so much propagation any more
+ updated m4ri
+ fix noro/drawmatrix
+ noroStep activated for M4RI
+ noroStep activated for M4RI
+ noroStep activated for M4RI
+ fix copyright
+ fix copyright
+ fix copyright
+ fix copyright
+ fix copyright
+ vars -> varsAsMonomial p.__iter__ ->p.terms m.__iter__ ->m.variables
+ vars -> varsAsMonomial p.__iter__ ->p.terms m.__iter__ ->m.variables
+ fix iteration
+ soname on mac os X is dylib_install_name
+ usedVarsAsMonomial
+ again more propagation
+ number of variables bug
+ optHFE
+ updated M4RI
+ latest M4RI
+ reverted back
+ ll_red_nf -> ll_red_nf_redsb
+ ll_red_nf -> ll_red_nf_redsb
+ ll_red_nf -> ll_red_nf_redsb
+ ll_red_nf -> ll_red_nf_redsb
+ restart gb algorithm
+ correct print statement
+ small bug fix
+ clean and restart option
+ removed call of super/python 2.4 and 2.5 are incompatible here: Exception in 2.4 seems old style
+ switched restart option to False by default
+ use terms iterator
+ dummy implementation for max_generators
+ removed extra
+ eliminated *= operator
+ eliminated *=/+= operator
+ documented Python interface changes
+ remark on extra
+ remark on extra
+ prot for ll
+ prot for ll
+ translate_indices
+ optimized search for one
+ renamed macro
+ optimized ll_constants/eliminate for in reduced
+ fix heuristic bug
+ fix heuristic bug
+ handle duplicates in set construction
+ support external M4RI version
+ lmDeg of 0 -> -1
+ len(monomial)=1
!= bug
+ deg of 0 is -1
+ deg of 0 is -1
+ restructured gb strategy
initial version
+ first doctest
+ use unmodified linear algebra
+ switched back to modified LA step
+ moving towards PEP8
+ moving towards PEP8
+ moving towards PEP8
+ comments on ReductionStrategy
+ comments on ReductionStrategy
+ comments on ReductionStrategy
+ plotting
+ plotting
+ node ordering
+ more examples
+ some corrections
+ more pep8
+ more pep8
initial version
+ parallel groebner basis calculation
+ fixed first bug related to order of nodes
+ convert lists of polynomials now (witth shared references
+ added another doctest
+ cleaned code
+ cleaned code
+ copyright header
+ magic header
+ improved documentation
+ improved documentation
+ improved documentation
+ plot to file
initial version
+ fglm files
+ initial matrix setup code/to be tested
initial version
+ fglm wrapper
+ debug/disable some ring change
+ debug/disable some ring change
+ continue work on fglm
+ debugging on matrix setup
+ some utility
+ more stuff for FGLM
+ more stuff for FGLM
+ fglm seems to work
+ prepare optimization to leave off many traspositions
+ first performance optimization to fglm/factor 3
+ initial tranpose done earlier
+ optimized
+ fixed bug treating monomials by lex instead of monomial ordering
+ more pep8
+ optimization
+ further reduce number of allocations
+ new M4RI version
+ optimized fglm
+ optimized multiplication
+ removed some overhead
+ bugfixed/optimized
removed some prot
+ integrated FGLM
+ bugfixing
+ removed workaround/changed change order heuristic
+ fixed bug introduced with last check in, long live our testsuite
+ vars as monomial
√√+ generate all monomials of deg d without recursion
+ fix critical monomial construction bug
+ optimized all polynomials of degree d
+ more PEP8
+ fixed all_monomials_of_deg_d
initial work on exception, when matrix to big
+ highlight paths
+ label with highlighted path
+ simple wrapper
+ fixed declare_ring not working with atribrary iteratable blocks
+ use a cdot for plotting
+ two multiplication methods exposed
+ random seed
+ font sizes
updated M4RI
+ updated m4ri
+ incremental version
+ pep8 conversion
initial version
+ faster implementation of addition networks
+ word addition
+ multiplication
+ BooleSet from a list of lists
+ fixed addition
+ direct construction
+ replaced some old code
+ use lstlisting
+ some typesetting
+ shorter lines
+ nextSpoly -> next_spoly
+ shorted some lines/some PEP8
+ some PEP8
+ some PEP8
+ shorted some lines
+ some pep8
+ some pep8
+ some pep8
+ updated changelog
+ splitted tutorial in header and content
+ more pep8
+ more pep8
+ parallel
+ fixed typo
+ more on parallelization
+ more on parallelization
font selection
line breaks
+ some line breaks
fixed typos
+ again pep8
+ c++ style for c++/typos
+ move up gauss_on_linear
+ navigator for monomial/variable
+ eliminate_identical_variables
+ fixed bug for more than two elements with same tail
+ nav method fixed
special treatment for linear polys
eliminate identical variables: return proper state
lead -> lex_lead
inspect args
+ moved assertions up
+ disabled gauss
+ switched back ll heuristic
+ ll routines more flexible/+ gaus_on_polys
+ gauss_on_polys
+ use M4RI
+simplified
simplified/repaired
+ compatibility attribute access
initial version
+ modified ll_red_nf_noredsb
+ updated template
updated M4RI
+ compatibility mode
fix missing 'else'
+ fixed bug passing protocol
fglm only for small varieties
initial version
+ removed directory
+ s -> const int
+ copy constructor
+ single call variant
intial version
+ use single call variant for optimized ll reductions
+ single recursive call variant
+ corrected redByReduced to opt_red_by_reduced
+ more options
+ switch ll heuristic to on the fly
+ updated heuristic
+ added jinja format
+ copyright
+ fixed evil bug, don't use len(monomial) unless you want to get 1
+ added clone to python interface
+ activate variable renaming
+ clone
+ removed debug output
+ clone for BoolePolyRing specialization
draw matrices
initial version
+ draw matrix functionality
+ strateg -> strategy
lead -> lex_lead
update changelog
use variables
+ resolved merging
+ gd code
+ unmod linear algebra and plotting
restructured
+ opt_modified_linear_algebra
changed Changelog
+ many likelys/unlikelys
updated macros
+ low level optimization
+ asymptotical echelonization
+ keyboard interrupt patch
+ reformated
+ reformated
+ corrected typo
+ back to m4ri
+ lead/lex_lead/lead_deg/lex_lead_deg also for Variable/Monomial
+ has constant part for variable /monomial
minimalElements -> minimal_elements
+ fixed critical bug in head normal form/didn't do anything except wasting cpu cycles
+ experimental changes to random_poly
+ doctested random generation
+ guarantee solution
initial version
+ iterator for literal factorization
+ iterator for literal factorization
+ more polynomial analysis
+ easy linear factors
+ operator==/!=
+ removed print statement
+ sage compatible variable names
+ removed base_dir from load_file
convert-repo (1):
update tags
dreyer (686):
Initial revision
+ cudd's Makefile justified
Initial revision
+ Project started
+ changed CUDDDIR
+ File header revised
+ Initial Version
+ refined header style
ADD: Global bool_type added.
ADD: Added static access to current ring
+ Initial Version
CHANGE: consistent function names
ADD: added error codes and PBORI_DEVELOPER marker
ADD BoolePolynial functionality started
FIX: Non-inline member fnction was marked inline
ADD added nNodes(), operator*= to BoolePolynomial
CHANGE: BooleVariable uses composition; variable generated in BoolePolyRing
+ Initial Version
CHANGE: Revised *deg*() functions.
CHANGE: Use CDDInterface temple specializations instead of raw dd_type
ADD: Template specializations CDDInterface<ZDD>, CDDManager<Cudd>; ring uses shared_ptr now
DEL: File retired
ADD execsuite for running testsuite
CHANGE: More meaningful usage text
ADD Switch for using valgrind
ADD alternative to shared_ptr (if not available)
ADD: pbori_shared_ptr_postclean, used by ~BoolePolyRing() to clean
ADD: lead() and lmdeg() functionality to BoolePolynomial,
ADD: Reference to manager_type can also be used for CDDManager<> -nterface
CHANGE: (n)usedVariables() now uses Cudd-internal commands
ADD operator + and *, CHANGE BoolePolyRing::variable(i) generation
ADD: BoolePolynomial::operator/=(const self&) and spoly
+ Removed some debug code.
+ Initial Version
CHANGE: Information about differing files will be displayed
CHANGE: removed empty line in output
CHANGE: revised testsuite
ADD: Class CCuddFirstIter used for BoolePolynomial::lead()
ADD: execsuite may be called from othere directories
CHANGE: testsuite revised
FIX: CCuddFirstIter works for empty and zero polynomials now
CHANGE: Made use of 0/1 constants and the sets {}, {{}} consistent
CHANGE: revised testsuite
CHANGE: more consistency
ADD: custom python-seach prefix PYPREFIX
ADD: tests isZero(), isOne() and poly == bool, bool == poly
Fix Case of file names for case sensitive OSes
ADD lmDivisors() added
ADD BoolePolynomial::reducibleby(), and firstBegin(), firstEnd()
ADD: BoolePolynomial::navigator() and corresp. class CCuddNavigator
ADD prettyPrint functions for dot-output to stdout or file
CHANGE: File access of BoolePolynomial::prettyPrint moved to CDDInterface
CHANGE more suitable names for CCuddNavigator functions
ADD BoolePolynomial::length()
ADD hash_type and CCuddNavigator::hash()
CHANGE testsuite revised
ADD dd_transform and resp. examples
ADD pbori_func.h to carry PolyBoRi related functionals
FIX operator*= works for nontrivial lhs
ADD BoolePolyRing::printInfo();
ADD template class CIDXPath<>
CHANGE BoolePolynomial::print() and deg() produces more useful results
CHANGE change() used by BoolePolynomial backward (for efficiency)
FIX bug in CIdxPath using begin() and end() from inherited template
ADD BooleMonomial, BoolePolynomial::fetchTerms() and ::terms()
ADD newlines at end of files
ADD BooleMonomial::mulples(...)
routine
FIX removed casting operator, which caused ambigeous overloads
CHANGE Default constructor starts with empty set
ADD operator=
CHANGE reducing redundancy
FIX libpb to be built (not l)
ADD PBoRiOutITer for more generic manipulations
ADD template class CTermIter<>
FIX CTermIter<> treats o/1 Monomials correctly.
ADD BoolePolynomial::begin() and end()
FIX CTermIter::reference
FIX CTermIter::reference (back)
+ Initial Version
FIX only necessary types are traits
FIX CTermIter; ADD BoolePolynomial uses CTermIter
CHANGE BoolePolynomial::eliminationLength() uses lmDeg() now
FIX postfix++ of CCuddFirstIter
FIX end of CTermIterm for constants, CHANGE consistent functional names
FIX recovered template<> preceeding explicit template specialization
ADD different implementation of the addition
ADD operators - and -=
+ Initial Version
+ Initial Version
CHANGE BoolePolyRing can handle different orderings (only lex yet)
CHANGE order of arguments in constructor
FIX assertion
ADD operator % and %=
CHANGE alternative modulus operation
FIX usedVariables corrected
FIX assertion
CHANGE usedVariables() more efficient now.
ADD user-definable LIBS support
ADD CCuddLastIter and BooleSet::lastLexicographicalTerm()
ADD CCuddLastIter and BooleSet::lastLexicographicalTerm()
ADD variantes for usedVariables
FIX FREEs memory
ADD: Generic and handy treatment of string literals
CHANGE: Functionals ins pbori_func.h made more consistent
ADD: greater_variable()
ADD: BoolePolynomial::hasConstantPart, BooleMonomial::isOne, isZero
ADD isOrdered() and isLexicographical()
CHANGE: Made COrderProperties more generic
ADD: lowlevel implementation for multiples and lmDivisors
CHANGE: removed ';' at end of functions (pedantic)
CHANGE: Bug fixed, now Cudd's external ref/deref command (crashed on 64 bit)
CHANGE: Bug fixed, uninitialized *min_element() (valgrind)
CHANGE: test refined (would show nonzero reference-counts)
Quick fix for bug in Cudd_zddDiffConst's cache management
ADD: BooleSet::divisorsOf and BooleSet::hasCommonVariables
FIX: inlining of DD::getNode
ADD preparing order edpendent operations (leadfirst())
CHANGE/ADD: added lowlevel implementation of BooleSet::divisorsOf()
routine
FIX: Bug in dd_intersect_some_index (didn't check valid path)
ADD minimalElements(), hasTermOfVariables()
+ Initial Version
+ first lowlevel variant running
routine
ADD: extended and activated low-level version of dd_minimal_elements
change finished low-level variant of minimal_elements also for lnegth()==2
+ Added highlevel division
FIX: assertion now evaluable
ADD: BooleSet::usedVariables and infrastructure
ADD: initial version
ADD: BooleExponent integrated, FIX: multiples (for indices < first)
+ Initial Version
CHANGE: deactivated code really deleted
CHANGE: BooleExponent nomenclatur
CHANGE operator* to + etc.
FIX: using now correct const/nonconst iterators
ADD: BooleSet::expBegin() and expEnd()
FIX: compare(const exp_type&, const exp_type&) missing in OrderedManagerBase
ADD: leadExp()
ADD: reserve()
CHANGE: non-const version of diagram() now internalDiagram()
testsuite refs
using CDDOperations for generic dd functions
ADD: Functions from cudd/extra
CHANGE: moved functionality to CDDOperations
FIX: existAbstract() deactivated (temporarily?), (segfaults)
ADD: Multiplication poly * poly, poly * exponent
ADD: OrderedManager::isSymmetric()
CHANGE: lm*() use leadFirst()
ADD: DegLexOrder and preparations
ADD: BoolePolyRing::is(Total)DegreeOrder()
+ Initial Version
ADD: BoolePolyRing::Compare(...), fixed assertion in groebner
CHANGE: enum sp now called dp_asc, BoolePolynomial::reducbileBy() generic
CHANGE Code cleanup
ADD: CDegLexIter.h
FIX: Gcc 4 ist more pedantic
ADD: COrderedIter and infrastructure for order-dependent iterator
ADD: Added ordering-dependent term iteration
ADD Preparations for bidirectional iterator
+ Initial Version
ADD Preparations for bidirectional iterator
ADD bidirectional term iterator template
FIX: Stricter syntax of gcc 4
CHANGE: project_ith<0> corresponds to do-nothing (void return_type)
FIX: accidently untested project<0> caused error.
ADD: dp_asc/DegRevLexAscOrder
Fix: changed order of included files (boost first) in order to avoid warning: _POSIX_C_SOURCE redefined
ADD: lead(sugar) and infrastructure
CHANGE: Experimenting with hash()
+ Initial Version
ADD: generic hash
ADD: usedVariablesExp()
CHANGE: reverting to previous
CHANGE: reserve memory for usedIndices
CHANGE: testing more sophisticated hash fucntion for BooleExponent
CHANGE: binary_compose to binary_composition
ADD BoolePolynomial/CDDInterface::isConstant(), used it in deg()
+ added use of custom_profile.py
ADD: persistentVariable(idx)
+ Initial Version
ADD: caching mechanism for BoolePolynomial::deg()
CHANGE: deactivated the use of pointer in hash()
ADD: switch PBORI_HASH_TAG
ADD BoolePolyRing::changeOrdering and infrastructure
FIX: BooleExponent::push_back() (empty exponent)
FIX: monomial comparison broken on dp_asc
ADD: isDegreeReverseLexicograpical()
ADD: getOrderCode()
ADD: getOrderCode()
FIX: Persistent variables need reference of new manager wrapper
ADD: added compile-time optimied iterators and genericBegin/genericEnd
ADD: divisorsOf(exp_type), orderedExpBegin/End;
ADD: BoolePolynomial::genericExpBegin()/End()
CHANGE: Made lex-based comparisions more generic.
ADD easy_equility_property and used in lex_compare
ADD: idx_map_type to BoolePolynomial
ADD: BoolePolyRing::set/get(Ring)VariableName()
CHANGE: changed interface type
CHANGE: Added CVariableNames; variable names handled by OrderedManager
*** empty log message ***
CHANGE: patched Cudd, sth. libutila.a is renamed libcuddutil.a
ADD: variable_name functional
+ Initial Version
ADD: lowlevel routine for union-xor (easy cudd-style variant)
CHANGE: make low-level ariant of union-xor default
ADD: some maybe useful stuff
ADD: some maybe useful stuff
FIX: library compiles for PBORI_ADD_BY_* switches, not using *XOR
FIX: library compiles for PBORI_ADD_BY_* switches, not using *XOR
FIX: Bug (union-xor) on 64-bit systems should be fixed now
FIX: bug at comparison between monomials, extended workaround
+ more efficient operation order
+ added cachemanager to multiply_recursively2|3
ADD: Commutative caching
ADD: Arity may be changed/given explicitely as template argument
ADD: changed order of template arguments
FIX: Destructor now virtual
CHANGE CCacheType names, operator*=, CDDInterface node Constructor
FIX: headed included
FIX: Removed errously added sample code
ADD: BooleSet new node-constructor, also in dd_multiply_recursively
FIX: broken assertion
CHANGE: some simple functions in BoolePolynomial inlined
FIX: erreous check-in
CHANGE: added inlinable member functions
ADD: BooleSet::ownsOne, BooleSet(idx, navi, navi); divisorsof
ADD: Construct Booleset from navigator
CHANGE: inlining added
ADD: dd_first_divisors_of
ADD: CacheManager replacing CCacheManagement for external use
Fix: errors due to merging not tested
CHANGE: actually did the prepared inlining
CHANGE: divisorsOf (less recursions/cache-lookups)
CHANGE: fine-tuning multiplesOf
CHANGE: additional fine-tuning multiplesOf
CHANGE: CDegreeCache, now inherited from standard cache; dlex-lead cached
CHANGE: lead() (for dlex, dp_asc) is recursive and cached now
CHANGE: leadexp() made recursive and cached
CHANGE: updated testsuite
CHANGE: lead(bound) now uses cached and recursive variant
CHANGE: cached and recursive lead() and leadexp() refined, generalized
CHANGE: multiplication in new style
CHANGE: nicer source code
CHANGE: specialized multiplication with monomial
CHANGE: poly * exp now recursive
ADD/CHANGE: Lowlevel variant of existAbstract
ADD/CHANGE: Lowlevel variant of existAbstract
CHANGE: fine-tuning
CHANGE added and used recursively cache variant of /=
ADD: poly /= exp
FIX: Slowdown on sculptor, due to unnecessary return + copy
FIX: forgotten typename
ADD: BoolePolyRing::clear{Ring}Cache()
ADD: deg() and FirstIndex() for term iterators; deque instead of stack
FIX: bug in CTermIter::deg(), wrong degree for monomial 1.
+ Workaround for segfault after order change
Fix: prints now without spaced appended
ADD: toy sandbox for block orderings
FIX: deactivated workaround for old rings
CHANGE: routine
CHANGE: experimenting once more
ADD: assertion
FIX: wrong constant term
FIX: wrong constant term
CHANGE: finished prototype for block iterator
+ Routine check-in
CHANGE: routine check-in
CHANGE: routine check-in
CHANGE: now running prototype for dlex-block iteration
CHANGE: started to rewrite CGenericIter using boost:iterator_facade
CHANGE: ordered iterators made more generic
ADD: first version of block_dlex running
ADD: generic{Exp|}{Begin|End}(block_dlex_tag)
ADD: added testsuite testcases for blockordering; Fixed errors in block-order
FIX: ordered iterator does deep copies now
CHANGE: ordered iterator uses deep copy only if necessary
CHANGE: experimenting with shared pointers
ADD: initial version
FIX: 1-polynomial now handles corretly by block ordering
CHANGE: using CTermStack for implementing ordered_(exp_)iterator
CHANGE: fine tuning
FIX: ambigious overload in var * poly
ADD: dp_asc now active
ADD: block dp_asc
FIX: block dp_asc index comparison
CHANGE: code cleaned-up
FIX: cast navigator -> BoolePolynomial now corrent
CHANGE: added assertion to be save
CHANGE: Code cleaned-up
CHANGE: clean-up (reuse stuff from deg-orderings for block-orderings)
FIX: compilation error due to protection
FIX: compilation error due to protection (again)
FIX: Warning for ambigious overload on gcc 3.2
CHANGE: code clean up
FIX: uninitalized values
FIX: minor changes fixing -Wall warnings
CHANGE: testing exponent iterator
CHANGE: Switching from CTermIter to iterators based on CTermStack
FIX: typo in docu
CHANGE: new-style CTermIter integrated
ADD: file description
Fix: Slowdown removed (due to wrong variable order in CTermGeneratorBase
CHANGE: Optimized version for monomial term generation
CHANGE: temporarily deactivated get_tail_term
FIX: forgetten ()s
CHANGE: using optimized term generation in term-iterator's dereferencing
ADD: compile-time switch -D PBORI_NO_TERMS_BY_TAIL
CHANGE: removed unnecessary condition
CHANGE: space
ADD: started pbori_algorithms.h and term_accumulation()
ADD: added poly / poly and poly % poly
ADD: compiler-switches for overwriting cache defaults
ADD: isOne()/isZero() to term iterators
+ made consistent
Fix: removed infinite recursion in specialized case
+ Initial Version
Fix: broken equal()
+ Initial Version
ADD: sophisticated term_accumulate
CHANGE: some optimizations
CHANGE: term_accumulate optimized more
CHANGE: remove unnecessary casts
ADD: BooleSet(true/false)
CHANGE fine tuning
CHANGE: more fine tuning
CHANGE: temporarily deactivated some things with curious side-effects
FIX: ambigous overload
SConstruct
Fix: changed default
CHANGE: Recursive routine for usedVariables()
Fix: wrong computation (wrong cast sequence navigator->DdNode*->bool)
Fix: workaround to break unwanted cast sequence navigator -> .. -> bool
CHANGE: typo
ADD: cast int -> BoolePolynomial, which obeyes %2
ADD: BooleSet::owns(const exp_type&) const
ADD: BooleMonomial::popFirst()
ADD: BooleExponenet::popFirst()
ADD: firstTerm
Fix: Workaround for performance issue on gcc3.3 (function name)
ADD: lastBlockBegin
Fix: ambigious overload var*monom
ADD: newly written C++_interface for Cudd
ADD: New C++-Interface for Cudd added
Fix: disabled support()
ADD: rewritten C++-Interface for Cudd
Fix: dynamic extension of variable names
Fix: removed performance issue
CHANGE: clean-up
ADD: added absolute module path for PyPolyBoRi
CHANGE: cleanup using preprocessor meta-programming
CHANGE: cleaned up once more
Fix:performace issues, Change: more generic
ADD: header file for CCuddZDD; clean-up
CHANGE: some clean-ups
CHANGE: some clean-ups
CHANGE: simplified handle_error
CHANGE: added documentation
Fix: Another mysterious performance issue
CHANGE: clean-up
ADD: Cudd built by scons now
ADD: .os instead of .o files of polybori/groebner(no expl. -fPIC needed)
CHANGE: Addition internally inlined
CHANGE: using alternative for term_accumulate (uses add-cache)
Fix: Wrong defines
CHANGE: CCuddNavigator does not convert to DdNode* impicitely any more
Fix: dummy return statement, sth. -W-return-type doesn't complain
ADD: getBaseOrderCode(), lieInSameBlock(...), isSingleton(), isPair()...
CHANCE: BooleVariable, now uses persistent variables
+ Initial Version
CHANGE: added units
+ Initial Version
CHANGE: routine
Fix: unit corrected
+ Initial version
Fix: uuf100, uuf125 back
ADD: memory usage
CHANGE: digits
ADD: (alias-)target devel-install, test examples build if available
Fix: profiled running again
ADD: generic PyPolyBoRi.py also for static use
ADD: poly.gradedPart(deg); FIX: term_accumulate (constant term)
ADD: apply_mapping
ADD: mapping; CHANGE: shared python modules to pyroot
CHANGE/ADD: main Groebner functionality of rundata moved to gbcore
CHANGE: using groebner_basis for nightly tests
CHANGE: protocol off in groebner_basis off (on in rundata)
CHANGE switched to new GB function
Fix: Workaround function template pointer problem
Fix: codes and tags of block_dp_asc corrected
Fix: lgroebner_basis now recognizes linearAlgebraInLastBlock
Fix: name clash option/module aes
Fix: forgotten import; Add: alternative function
Fix: used_vars_set return monomial
ADD: ipython functionality and wrapper
ADD: evaluation of IPYTHONPREFIX, -ipythonprefix
ADD: lexLmDeg(), lexLead()
Fix: check for contains one in list
ADD: use of CCuddNavigator more secure
Fix: old import?
Fix: removed old imports
Add: stating install target to SConstruct file
CHANGE: More generic copyright
Fix: typo
Fix; added more to source distribution
Fix: used correct constructor
ADD: initial version
+ minor changes
CHANGE: refined
CHANGE: refined install target
Fix: cleaning doc/python
CHANGE: distribute and install refined
CHANGE: Using path.join, correct permissions on install
ADD: comment
+ Initial Version
ADD: Text
+ added License
CHANGE: Simplified SConstruct file
Fix: absolute installation path issue
Change: simplified generic path generation
Fix: Now pydocs are generated on install
Fix: Now c++ documentation is also build and copied on install
+ typo
Fix: builds without boost/python or doxygen; consistent paths
Fix: also install pyc-files
CHANGE: refined install target
CHANGE: removed dd_type from PyPolyBoRi => .diagram()->.set()
CHANGE: small things for better doxygen generation
Fix: binaries not errorously distributed any more
Fix: consistend naming of cartesianProduct
+ using \Groebner macro
ADD: Master docufile
Fix: added correct permissions
Fix: l2h detection
Fix: refined copyright and paths
Change: GPL3 'activated'
+ Fix: removed cacheopts.h from distribution
Fix: distribution target
Fix: MB/AD clean
CHANGE: copyright message
CHANGE: completer readme
ADD: more to master html
CHANGE: refs und links
ADD: reference
CHANGE: fine-tuning
Fix: Work around for python2.5 on SAGE
ADD: work arounds for sage
Fix: patches from Burcin Erocal's sage integration; custom settings
Fix: pydoc also generated for alternative python interface
Fix: deactivated workaround for sage
CHANGE: python moduls may be installed somewhere alse
Fix: ring.var, ring.one return correct data type
Fix: hashes obeye index 0 now, better hashtype used
ADD: preparation for installation of pythond modules in other directory
ADD: fast hash(), where applicable; + stableHashes() anywhere
Fix: stableHash() consistent for monomials and polynomials/sets
CHANGE: more dd-like stableHash()
Fix: #1841097 lexlead()
Fix: protected corrected
ADD: count_index
CHANGE: First try: ring and order separated
Fix: repeated variable expansion
ADD: symlinks are relative per default
Fix: BooleVariable()*BooleMonomial() now monomial
ADD: count terms containing given index
ADD: BooleOrdering started
CHANGE: Moved interpolate.py from testsuite/py to pyroot/polybori
CHANGE: Ordering in BoolePolyRing again; BooleEnv manages active ring
CHANGE: removed unnecessary friend declaration
Fix: merged from bugfix at sf.net
Fix: merged bug fixes from sf.net
Fix: merged bug fixes from sf.net
CHANGE: reviewed and optimized merge frim sf.net
CHANGE: minor changes
CHANGE CNamedManager removed, names are in core now
ADD: Preparations for 0.2 preview
Fix: ensure now default build on distribute
CHANGE: persistent variables computed on manaer initialization
CHANGE: make Cudd-related globals static
CHANGE: make Cudd-related globals initialization static
CHANGE: most options now handled using opts.Add, scons -h enabled
CHANGE: erreous cast int to Variable removed, info about scons -h added
CHANGE: option handling
CHANGE: Experimenting with iterators and correct rings
Fix: old scons doesn't like PathAccept option
CHANGE: term-iterators use correct manager now
CHANGE: removed several calls of BooleEnv::*
CHANGE: removed unused functionality
Fix: reverted previous version (performance problem)
CHANGE: Avoid cast from navigator to BooleSet
Fix: error: extra ';'
Fix: using correct manager
Fix: using correct manager
Fix: using correct manager
Fix: cast from navigator to BooleSet or BoolePolynomial made explicit
FIX: removed misunderstandable statement
ADD: suitable default values for CPPDEFINES and LINKFLAGS
FIX: make functions safety (using correct manager)
+ reviewed
Fix: InstDocPath added
+ reviewed new tutorial section
+ another typo
ADD: additional references
+ tutorial reviewed
Add: experimental rpm-generation
Fix: broken group id
Fix: IPython package name; better install target
Fix: rpm-installation issues (paths)
ADD: pkgs to distribute target
Fix: removed possibly duplicated sources from distribute
Fix: removed BUILD directory from distribute
Fix: provide pkgs/rpm/BUILD if necessary
CHANGE: rpm install python files to site
+ tutorial reviewed
Fix: wrong release number
ADD: docstrings for most PyPolyBoRi classes and functions
Fix: include path corrected (fixed undefined macros)
Fix: Use relative paths on installed pydoc documentation
ADD: experimental debian support
ADD: more preparation for debs
ADD: more preparation for debs
Fix: paths and dependencies for experimental deb support
ADD: Documentation header
ADD: Documentation header
Fix: pydoc dependencies; machtype for .deb generation
Fix: path on pydoc, when installed on webserver; spec uses __python
Fix: generate relative paths from absolute paths in pydoc installation
Fix: better doxygen-targets, debian build dependencies
CHANGE: first bugfix release of 0.2 prepared
Fix: build-deps in one line
Fix: more standard-conforming rpm
Fix: more conforming debian package
Fix: more conforming debian package
Fix: syntax errors
Fix: umlauts removed (supporting hevea)
Fix: move conforming packages
Add: ChangeLog
Fix: Polynomial(0|1) removed, where possible
Fix: treating constants (0, 1) accordingly
Fix: python site corrected
Fix/CHANGE: better python determination
Fix: take LIBS from python
Fix: working around bug in addition
CHANGE: ring elements like polynomials, monomials, and variables have ring()
CHANGED: added contructors for given ring
Change: More inlining, and safer constructors
Change: using more safe Variable(idx, ring)
Change: switched to new syntax
Change: some fine-tuning
Fix: wrong constant on fine-tuning
Fix: missing things in Python-interface
Fix: slowdown in Python-interface
Fix: Removed workaround for two-argument BooleSet constructor
CHANGE: BooleMonomial::variableBegin()|End(); monom/monom = 0 throws
Fix: c++ exception caught in python interface for monom1/monom2 = 0
CHANGE: Preparation for PolyBoRi 0.3
Fix: Broken removal of unused file fixed
Fix: removed erroreous adjustment
+ reviewed
Fix: EXTERNAL_PYTHON_EXTENSION used accordingly
Fix: exception for division by 0 and invalid monomial-zero
Fix: Exceptions: Division by zero, Polynomial(0).lead(), and ITE
Fix: old compiter issue (but better code anyway)
+ typos
CHANGE: updating changelogs
Fix: Some doxygen syntax errors
Fix: memory leak
+ reverted erreous check-in
+ CCuddCore even cleaner
+ typos etc
ADD: dlltool-like shared library versioning and sonames
ADD: Man page
Fix: typo
ADD: Tim Abbotts debianization.
Fix: versionated shared libs not distributed
fix: typo
ADD: man page to distribution and rpm
ADD: man page to deb
Fix: scons -c does not generate temporary data
Fix: typo
Fix: Delete .pyc files on clean
Fix: cleaner clean
Fix: more debianized
Fix: more conforming shared lib symlinks
Fix: removed umlauts
Fix: .so.0 excluded
fix: install issue
Fix: gpl2x
Fix: switched to -std=c99
Fix: standards are named differently for C/C++
Fix: name of distribute target
+ Inital Version
ADD: additional information
Fix: folder
+ minor change
Fix: more generic auxiliary script
Fix: cygwin support
ADD: isEnd() as end of iteration check, sing iterator_facade
CHANGE: release number
Fix: multiple-defined macros
ADD: Remark for work arounding scons 0.96's missing CFLAGS
Fix: removed unfree things from Cudd; .0 not distributed
Fix: Cudd/dddmp removed more cleanly
Fix; Cudd/dddmp removed
Change: Version number
Fix: Version 0.5
Fix: Doxygen clean-up
Fix: doxygen clean-up (removed inclusion loop)
Fix: Work around doxygen issue with syntax
ADD: Updated changelog
ADD: Updated prerequisites
Change: deg_type replaces size_type for deg(), etc.
CHANGE: starting officially 0.6 in developer repo
Fix: reactivating experimental Singular-interface
Fix: optimized routine for BooleSet.minimalElements
Fix: Do not distribute aux folders (resolving Windows issue)
ADD: BooleSet::containsDivisorsOfDecDeg and contains
ADD: BooleSet::rbegin(),end()
Fix: reversed iterator at begin issue
CHANGE: UNLIKELY constructs in CTermStack
Fix: man-page permissions
Fix: previous check-in commented out
Fix: Docu dependencies
FIX: fixing soname prefix
ADD: fast multiplication may be used explicitely
FIX: really using fast-multiplication, if desired
CHANGE: Optimzied multiplication
CHANGE: nicer syntax dd_multiply<bool>
CHANGE: nicer syntax dd_multiply<bool>
+ Minor optomization
Fix: missed PEP8 conversion
Fix: tex4ht support improved; other latex to html converters deprecated
Fix: changelog (tex4ht)
Fix: ipbori is executed in current path
Fix: removed minitoc from tutorial, as it confuses htlatex
Fix: using courier (has bold style!) for listings
Fix: commentstyle==stringstyle
ADD: IPython highlighting; Proofread: 1.6.1 Parallization
CHANGE: started consistent use of lead* instea of lm*
CHANGE: lm_* -> lead_*
Fix: deb and rpm adjusted
Fix: deb and rpm adjusted even mroe
Fix: deb and rpm adjusted even mroe
minor changes
Fix: hfe35_96 now running
Fix: wrong date in srpm-spec
Fix: tutorial_context.tex now distributed
Fix: tutorial in master document (install target)
Fix: python-docu's paths to python code corrected
Fix: Compatibility: gcc4.3, python 2.6, c++0x
Updated ChangeLog
CHANGE: Preparing next release (if any)
CHANGE: using #include <m4ri/m4ri.h> convention
Change: generate symlink only when necessary
Fix: m4ri headers at better location (devel-install)
CHANGE: Release 0.6
Change: Release 0.6.1
Fix: exception for matrix size exceeded
Fix: removed errously checked-in files
Fix: Removed obsolete
+ v0.6.1
Fix: Removing obsolete file (avaoid confusing distributions downstream)
Fix: hashing BooleVariable consistent with BoolePolynomial and BooleMonomial
Add: substitute_variables
Add: FORCE_HASH_MAP
CHANGE: preparing ring-cloning (deep copy)
CHANGE: preparing ring-cloning (deep copy) even more
ADD: cloning of rings
ADD: changelog
FIX: Missing quotes
Fix: dwrong def for varuiable
FIX: solaris soname
FIX: Sun Compiler/Flags consistent
FIX: Backward compatibility for old scons
Changelog
FIX: debug output removed
ADD: starting next release
FIX: Proper C-style inlining
ADD: BooleRing::hash
FIX: BoolePolyRing() without sideeffects
CHA: Changelog completed
Fix: pendantic
Added tag beforeSun for changeset 49441b7525c9
FIX compiles (not yet linking) on solaris
partially reverting changes
michael (3):
default parameters
default parameters
fixed a lot of rubbish
-----------------------------------------------------------------------
--
polybori: Polynomials over Boolean Rings
More information about the debian-science-commits
mailing list