Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,507,692,770 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

sum
(redirected from summate)

   Also found in: Dictionary/thesaurus, Wikipedia, Hutchinson 0.07 sec.
sum1
1. 
a. the result of the addition of numbers, quantities, objects, etc.
b. the cardinality of the union of disjoint sets whose cardinalities are the given numbers
2. one or more columns or rows of numbers to be added, subtracted, multiplied, or divided
3. Maths the limit of a series of sums of the first n terms of a converging infinite series as n tends to infinity
4. another name for number work

sum2
the standard monetary unit of Uzbekistan, divided into 100 tiyin

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).


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information 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. Terms of Use.