[Home]
[
prev
] [
up
] [
next
] ((src/species.as))
8.14
Some Further Ideas
194
⟨
NOTYET dom: CombinatorialSpeciesAlgebra
194
⟩
≡
CS
==
(L:
LabelType
)
->
CombinatorialSpecies
L;
CombinatorialSpeciesAlgebra
:
with
{
1:
%;
X:
%;
+:
(%,
%)
->
%;
coerce:
CS
->
%;
coerce:
%
->
CS;
}
==
add
{
Rep
==
CS;
coerce(cs:
CS):
%
==
per
cs;
coerce(x:
%):
CS
==
rep
x;
1:
%
==
per
EmptySetSpecies
;
X:
%
==
per
SingletonSpecies
;
(x:
%)
+
(y:
%):
%
==
per
Plus
(rep
x,
rep
y);
}
Defines:
CombinatorialSpeciesAlgebra
, never used.
Uses
CombinatorialSpecies
71
,
EmptySetSpecies
83
,
LabelType
62
,
Plus
166a
,
and
SingletonSpecies
84
.
[Home]
[
prev
] [
up
] [
next
] ((src/species.as))