Subversion Repositories aldor-combinat


Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
218 4448d 02h hemmecke /branches/labelless-experiment/combinat/ Smart-Merged from svn-trunk -r217.  
216 4481d 10h rubey /branches/iso-experiment/combinat/ really remove DropEmpty  
215 4481d 10h rubey /branches/iso-experiment/combinat/ make FunctorialCompose work at least rudimentarily in Axiom, cleanup output of Subset  
214 4482d 16h rubey /branches/iso-experiment/combinat/ replace never by error message, when string is not a known species  
213 4484d 18h hemmecke /branches/labelless-experiment/combinat/ Converted to Species that don't take a LabelType parameter.
This version compiles with 5 failing tests.
212 4484d 18h hemmecke /branches/labelless-experiment/ A branch for experimenting with combinatorial species
that don't have the extra LabelType parameter.
209 4495d 14h rubey /branches/iso-experiment/combinat/ add FunctorialCompose to parser  
205 4921d 07h 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.
204 4921d 13h rubey /branches/iso-experiment/combinat/ correct definition of generatingSeries$Subset
real coercion from Generator to Stream for Axiom
203 4947d 12h rubey /branches/iso-experiment/combinat/src/ coercion Generator to Stream  
202 4947d 18h rubey /branches/iso-experiment/combinat/src/ add extremely stupid algorithm for structures$Combinations

extend SetSpecies and Combination such that it's usable from Axiom
201 4961d 12h hemmecke /branches/multisort-experiment/ Merged from trunk revision 200.  
198 4997d 10h hemmecke /branches/multisort-experiment/combinat/ Add more documentation to describe the more requirements for the
design of multisort species.
197 4998d 15h hemmecke /branches/multisort-experiment/combinat/ First attempt to design multisorted species.  
196 4998d 15h hemmecke /branches/multisort-experiment/ Branch for a good design of multisort species.  
191 5002d 08h rubey /branches/iso-experiment/combinat/ work on documentation for compose  
190 5006d 13h rubey /branches/iso-experiment/combinat/ slight doc improvements  
188 5007d 01h rubey /branches/iso-experiment/combinat/ * combinat.tex.nw, include/, src/,

add proof of concept file to show a possibility of "using" the generated

* src/

add Derivative

* src/axiom-compatibility/

modification to make things compile. This went wrong during the last merge, it
182 5010d 14h hemmecke /branches/iso-experiment/allprose/ Syncronized with latest ALLPROSE fix.
Merged in the latest ALLPROSE changes.
179 5012d 12h rubey /branches/iso-experiment/combinat/ svn merge -r 159:177 ~/combinat/trunk/combinat

and dummy definition of isomorphismtypes for functorial composition

Show All