[Aldor-l] L: LabelType -> CombinatorialSpecies L / Plus, Times

[Martin Rubey]

Dear Christian, 

"Christian Aistleitner" <tmgisi at gmx.at> writes:

> Hello Martin,
> 
> I CC’d to aldor-l as this might be a common pitfall.

[...]

> Of course, it's a pain to wrap and unwrap things, but you can at least get
> your code to run that way.

This is very helpful indeed. Thank you!

Ralf, since (L: LabelType) -> CombinatorialSpecies L occurs so often, I think
it would be good anyway to give it a name. I have no good idea. How about

LabelSpecies

?

Concerning Plus l and Times l, I did not intend to introduce a new rep. I'd
just use Plus(a,b) and Times(a,b) recursively.

Concerning the representation troubles in Times(a,b), I have to think about
this a little. To me, it is not clear mathematically yet.


Martin