Subversion Repositories aldor-combinat

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
216 4537d 20h rubey /branches/iso-experiment/combinat/ really remove DropEmpty  
215 4537d 21h rubey /branches/iso-experiment/combinat/ make FunctorialCompose work at least rudimentarily in Axiom, cleanup output of Subset  
214 4539d 03h rubey /branches/iso-experiment/combinat/ replace never by error message, when string is not a known species  
209 4552d 01h rubey /branches/iso-experiment/combinat/ add FunctorialCompose to parser  
204 4977d 23h rubey /branches/iso-experiment/combinat/ correct definition of generatingSeries$Subset
real coercion from Generator to Stream for Axiom
 
203 5003d 23h rubey /branches/iso-experiment/combinat/src/ coercion Generator to Stream  
202 5004d 05h rubey /branches/iso-experiment/combinat/src/ add extremely stupid algorithm for structures$Combinations

extend SetSpecies and Combination such that it's usable from Axiom
 
191 5058d 19h rubey /branches/iso-experiment/combinat/ work on documentation for compose  
190 5063d 00h rubey /branches/iso-experiment/combinat/ slight doc improvements  
188 5063d 12h rubey /branches/iso-experiment/combinat/ * combinat.tex.nw, include/combinat.as.nw, src/examples.as.nw,
src/species.as.nw:

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

* src/interp.as.nw:

add Derivative

* src/axiom-compatibility/axcompat.as.nw

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

and dummy definition of isomorphismtypes for functorial composition
 
178 5068d 23h rubey /branches/iso-experiment/combinat/ svn merge -r 159:177 ~/combinat/trunk/combinat

and dummy definition of isomorphismtypes for functorial composition
 
166 5072d 20h rubey /branches/iso-experiment/combinat/ added cycleindexseries for Subset and Combination as suggested by Ralf. There
is no testcase yet!


removed debugging messages in test/species.as.nw
 
165 5072d 20h rubey /branches/iso-experiment/combinat/ Merged trunk revision 110:159 into iso-experiment. Very few, mostly trivial
changes to make things compile.

All tests pass now.
 
164 5072d 20h rubey /branches/iso-experiment/combinat/ Merged trunk revision 110:159 into iso-experiment. Very few, mostly trivial
changes to make things compile.

All tests pass now.
 
160 5073d 21h rubey /branches/iso-experiment/combinat/ Add a few lines of documentation to subset.  
114 5122d 15h rubey /branches/iso-experiment/combinat/ Added rudimentary support for the derivative of a species.  
113 5122d 17h rubey /branches/iso-experiment/combinat/ Reactivated testcases for isomorphismtypes and added some negligible
functionality to Multiple and MultiSet, useful for the testcases.
 
112 5123d 14h rubey /branches/iso-experiment/combinat/ Here is a new branch (from trunk 110) to integrate the generation
of isomorphismtypes of compositions. Rough tests indicate that it
works, although, so far no test cases have been written.

There is a major problem unfortunately for Axiom: stepping the
generator produced by isomorphismTypes makes Axiom crash in many
cases. For example:

F ==> Interpret([parse "Compose(SetSpecies,
Plus(SingletonSpecies, SingletonSpecies))"], ACINT)

IF ==> ACIsomorphismType(ACINT, F)

l := [coerce(1::ACINT,3)]::List Multiple ACINT::MultiSet ACINT

g := isomorphismTypes(l)$IF

next! g

does not return. Curiously, replacing the first macro with

F ==> Interpret([parse "Compose(SetSpecies,
DropEmpty(Plus(SingletonSpecies, SingletonSpecies)))"], ACINT)

does work correctly.
 

Show All