1. <theory> In domain theory, the sum A + B of two domains contains all elements of both domains, modified to indicate which part of the union they come from, plus a new bottom element. There are two constructor functions associated with the sum:

inA : A -> A+B inB : B -> A+B inA(a) = (0,a) inB(b) = (1,b)

and a disassembly operation:

case d of isA(x) -> E1; isB(x) -> E2

This can be generalised to arbitrary numbers of domains.

See also: smash sum, disjoint union.

2. <tool> A Unix utility to calculate a 16-bit checksum of the data in a file. It also displays the size of the file, either in kilobytes or in 512-byte blocks. The checksum may differ on machines with 16-bit and 32-bit ints.

Unix manual page: sum(1).

(01 Mar 1995)

Sulzberger-Garbe disease, Sulzberger-Garbe syndrome, Sulzberger, Marion < Prev | Next > sum, sumach, sumatriptan, sumbul

Bookmark with: | word visualiser | Go and visit our forums |

1. The aggregate of two or more numbers, magnitudes, quantities, or particulars; the amount or whole of any number of individuals or particulars added together; as, the sum of 5 and 7 is 12. "Take ye the sum of all the congregation." (Num. I. 2)

Sum is now commonly applied to an aggregate of numbers, and number to an aggregate of persons or things.

2. A quantity of money or currency; any amount, indefinitely; as, a sum of money; a small sum, or a large sum. "The sum of forty pound." "With a great sum obtained I this freedom." (Acts xxii. 28)

3. The principal points or thoughts when viewed together; the amount; the substance; compendium; as, this is the sum of all the evidence in the case; this is the sum and substance of his objections.

4. Height; completion; utmost degree. "Thus have I told thee all my state, and brought My story to the sum of earthly bliss." (Milton)

5. <mathematics> A problem to be solved, or an example to be wrought out. "A sum in arithmetic wherein a flaw discovered at a particular point is ipso facto fatal to the whole." (Gladstone) "A large sheet of paper . . . Covered with long sums." (Dickens) Algebraic sum, as distinguished from arithmetical sum, the aggregate of two or more numbers or quantities taken with regard to their signs, as + or -, according to the rules of addition in algebra; thus, the algebraic sum of -2, 8, and -1 is 5. In sum, in short; in brief. "In sum, the gospel . . . Prescribes every virtue to our conduct, and forbids every sin."

Origin: OE. Summe, somme, OF. Sume, some, F. Somme, L. Summa, fr. Summus highest, a superlative from sub under. See Sub-, and cf. Supreme.

1. To bring together into one whole; to collect into one amount; to cast up, as a column of figures; to ascertain the totality of; usually with up. "The mind doth value every moment, and then the hour doth rather sum up the moments, than divide the day." (Bacon)

2. To bring or collect into a small compass; to comprise in a few words; to condense; usually with up. ""Go to the ant, thou sluggard," in few words sums up the moral of this fable." (L'Estrange) "He sums their virtues in himself alone." (Dryden)

3. <veterinary> To have (the feathers) full grown; to furnish with complete, or full-grown, plumage. "But feathered soon and fledge They summed their pens [wings]" (Milton) Summing up, a compendium or abridgment; a recapitulation; a resume; a summary.

Synonyms: To cast up, collect, comprise, condense, comprehend, compute.

Origin: Cf. F. Sommer, LL. Summare.

(01 Mar 1998)

Sulzberger-Garbe syndrome, Sulzberger, Marion, sum < Prev | Next > sumach, sumatriptan, sumbul, summary

Bookmark with: | word visualiser | Go and visit our forums |