Subversion Repositories aldor-combinat

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
219 4138d 12h hemmecke /trunk/allprose/ Update to latest Makefiles (allprose 0.2.5)  
217 4448d 07h hemmecke /trunk/combinat/ Fixed the testFibonacci2 bug and adjusted documentation.  
211 4481d 04h hemmecke /trunk/combinat/test/ Added testFibonacci2 (species+series version).
These tests uncovers a bug.
 
210 4481d 07h hemmecke /trunk/combinat/test/ Added testFibonacci (series version).  
208 4494d 04h hemmecke /trunk/combinat/ Added "-I $(AXIOM)/algebra" to the VARIANTFLAGSaxiom variable.
We expect axiom.as to live there.
 
207 4546d 00h hemmecke /trunk/combinat/ Bugfix of LinearOrder and added some unit tests.  
206 4899d 05h hemmecke /trunk/combinat/ The MuPAD-Combinat page is http://mupad-combinat.sourceforge.net.  
200 4957d 14h hemmecke /trunk/combinat/ Added \section commands, because ALLPROSE 0.2.5 no longer does that
automatically per file.
 
199 4957d 14h hemmecke /trunk/allprose/ Updated to ALLPROSE 0.2.5.  
195 4996d 01h hemmecke /trunk/combinat/ - Added more species: LinearOrder, Cycle (cyclic permutations),
Permutation.
- Inside Axiom the species Permutation is available under
ACPermutation since there is already Permutation in libaxiom.
- Implemented first attempt for the isomorphismTypes of Compose.
The implementation is nearly correct, but must eventyally take
a multiset incredient into account.
- Old iso-types for Partition replaced by a version that
produces representatives.
 
194 4996d 03h hemmecke /trunk/combinat/ Docfix and little improvements.  
193 4997d 00h hemmecke /trunk/combinat/ Made test of Subset work.  
192 4998d 02h hemmecke /trunk/combinat/ Added Euler totient function.  
189 5003d 02h hemmecke /trunk/combinat/ - Implemented the Subset species and adapted the Times
constructor to use that species.
- isomorphismTypes$Times now produce representatives of
isomorphism types, i.e. the labels are all different.
- Added test for Subset.
- Test for functorial compose now uses Subset instead of
Times(SetSpecies, NonEmpty SetSpecies).

4 tests in TestCombinatorialSpecies
testBinaryForests
testBinaryTreesOfSets
testPartitionsViaCompose
testFunctorialCompose
fail because of missing implementation of isomorphismTypes.
 
187 5003d 03h hemmecke /trunk/combinat/ The function "isomorphismTypes$Partition" now returns
representatives of isomorphism types, i.e. the labels are all
different. Updated the tests accordingly.
 
186 5003d 03h hemmecke /trunk/combinat/ Recorded an attempt to use a recursion formula of Stanley EC2 for
the exponentiation of power series. The code is unused because it
is slower than the current one.
 
185 5006d 06h rubey /trunk/combinat/ Modify compiler settings of the "ordinary" variant, to make clear which
optimisation settings cause trouble. Curiously, tests comparing values of cycle
index series fail additionally
 
184 5006d 14h hemmecke /trunk/combinat/src/ Docfix  
183 5006d 14h hemmecke /trunk/combinat/ Refactored so that cycleTypePower is not computed if the
corresponding moebiusMu factor is zero.
 
181 5008d 09h hemmecke /trunk/combinat/test/ Corrected typo in cycle index series of functorial compose (simple graph).  

Show All