Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z

# Coalesced sum

theory
(Or “smash sum”) In domain theory, the coalesced sum of domains A and B, A (+) B, contains all the non-bottom elements of both domains, tagged to show which part of the sum they come from, and a new bottom element.
D (+) E = bottom(D(+)E) U (0,d) | d in D, d /= bottom(D) U (1,e) | e in E, e /= bottom(E)
The bottoms of the constituent domains are coalesced into a single bottom in the sum. This may be generalised to any number of domains.
The ordering is
bottom(D(+)E) (i,v1) “LaTeX \sqsubseteq and “(+)” as LaTeX \oplus – a “+” in a circle.
(1994-12-22)

Tagged:

• Coalescence

[koh-uh-les] /ˌkoʊ əˈlɛs/ verb (used without object), coalesced, coalescing. 1. to grow together or into one body: The two lakes coalesced into one. 2. to unite so as to form one mass, community, etc.: The various groups coalesced into a crowd. 3. to blend or come together: Their ideas coalesced into one theory. verb (used […]

• Coalescent

[koh-uh-les] /ˌkoʊ əˈlɛs/ verb (used without object), coalesced, coalescing. 1. to grow together or into one body: The two lakes coalesced into one. 2. to unite so as to form one mass, community, etc.: The various groups coalesced into a crowd. 3. to blend or come together: Their ideas coalesced into one theory. verb (used […]

• Coalface

/ˈkəʊlˌfeɪs/ noun 1. the exposed seam of coal in a mine

• Coalfield

/ˈkəʊlˌfiːld/ noun 1. an area rich in deposits of coal

Disclaimer: Coalesced sum definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.