Subversion Repositories aldor-combinat

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
205 4977d 17h rubey /branches/multisort-experiment/combinat/ modified the representation of multiset and multisubset, using ideas from the
object-example in the Aldor User Guide.

add a test for multiset and multisubset. generation and structures work.
Isomorphismtypes work too, but I didn't write a test yet.
 
201 5017d 23h hemmecke /branches/multisort-experiment/ Merged from trunk revision 200.  
198 5053d 20h hemmecke /branches/multisort-experiment/combinat/ Add more documentation to describe the more requirements for the
design of multisort species.
 
197 5055d 01h hemmecke /branches/multisort-experiment/combinat/ First attempt to design multisorted species.  
196 5055d 02h hemmecke /branches/multisort-experiment/ Branch for a good design of multisort species.  
195 5056d 10h 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 5056d 12h hemmecke /trunk/combinat/ Docfix and little improvements.  
193 5057d 09h hemmecke /trunk/combinat/ Made test of Subset work.  
192 5058d 11h hemmecke /trunk/combinat/ Added Euler totient function.  
189 5063d 11h 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 5063d 12h 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 5063d 12h 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 5066d 15h 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 5066d 23h hemmecke /trunk/combinat/src/ Docfix  
183 5066d 23h hemmecke /trunk/combinat/ Refactored so that cycleTypePower is not computed if the
corresponding moebiusMu factor is zero.
 
181 5068d 18h hemmecke /trunk/combinat/test/ Corrected typo in cycle index series of functorial compose (simple graph).  
180 5068d 21h hemmecke /trunk/combinat/ Extended cycle index series of simple graphs up to degree 6.  
177 5068d 23h rubey /trunk/combinat/ restrict type generating series in testFunctorialCompose to the first eight
entries, since it is too slow otherwise.

fix test for cycleindexseries...
 
176 5069d 00h rubey /trunk/combinat/ fixed bug in functorialCompose, p was initialised in wrong loop.  
175 5069d 01h rubey /trunk/combinat/ fill in (hopefully) correct values for graphs obtained via functorial
composition.

Fixed doc typo (specialisation of cyleindex to type generating function)
 

Show All