205 
4977d 17h 
rubey 
/branches/multisortexperiment/combinat/ 
modified the representation of multiset and multisubset, using ideas from the
objectexample 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/multisortexperiment/ 
Merged from trunk revision 200. 

198 
5053d 20h 
hemmecke 
/branches/multisortexperiment/combinat/ 
Add more documentation to describe the more requirements for the
design of multisort species. 

197 
5055d 01h 
hemmecke 
/branches/multisortexperiment/combinat/ 
First attempt to design multisorted species. 

196 
5055d 02h 
hemmecke 
/branches/multisortexperiment/ 
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 isotypes 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) 
