| 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. |
|