[Aldor-l] LabelSpecies for L: LabelType -> CombinatorialSpecies L

[root]

There are several notions of "equality" I'm aware of.

There is "eq", meaning that both items have the same physical address.

There is "eql", meaning they are eq or they are numbers of the same
type and value.

There is "equal", meaning they are structurally isomorphic. Numbers
and characters are compared for "eql", symbols for "eq", arrays are
"eq" except for bit-vectors and strings. paths are eqaul if all
the components are eq.

There is "char=", is the same character including bit attributes, font,
and case.

There is "char-equal", is the same character ignoring bit attributes,
and case. font might matter.

There is "equalp", if they are equal; if they are characters and
satisfy char-equal, if they are numbers and have the same numerical
value (regardless of type), or if they have components that are all
equalp.


Which one are you trying for?

t