Noun | 1. | sum - a quantity of money; "he borrowed a large sum"; "the amount he had in cash was insufficient" |
2. | sum - a quantity obtained by addition | |
3. | sum - the final aggregate; "the sum of all our troubles did not equal the misery they suffered" | |
4. | sum - the choicest or most essential or most vital part of some idea or experience; "the gist of the prosecutor's argument"; "the heart and soul of the Republican Party"; "the nub of the story" Synonyms: essence, heart and soul, inwardness, nitty-gritty, pith, gist, kernel, substance, nub, meat, core, center, heart, marrow | |
5. | sum - the whole amount | |
6. | sum - the basic unit of money in Uzbekistan | |
7. | sum - a set containing all and only the members of two or more given sets; "let C be the union of the sets A and B" | |
Verb | 1. | sum - be a summary of; "The abstract summarizes the main ideas in the paper" |
2. | sum - determine the sum of; "Add all the people in this town to those of the neighboring town" |
1. | (theory) | sum - 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 This can be generalised to arbitrary numbers of domains. See also smash sum, disjoint union. | |
2. | (tool) | sum - 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). |