Function sum of unsigned integers a and b

add unsigned integers a and b

Format:

sum of unsigned integers a and b

Input:

list a -

list b -

Output:

list - None

Properties that reference this function:

sum of unsigned integers [ 0, [ ] ] and [ 1, [ ] ] = [ 1, [ ] ] (Add 0 and 1)

sum of unsigned integers a and b = sum of a b and carry bit 0 (Add Unsigned Integer)

(list x and xs) multiplied by (list y and (list y2 and ys)) = sum of unsigned integers (list x and xs) and ((list x and xs) multiplied by (decrement (list y and (list y2 and ys)) by 1)) (Multiply Unsigned Integers)

Conditional properties that reference this function:

if are_not_equal_list(number, value): find_number_index([number, remain], value, index) == find_number_index(remain, value, add_uint(index, [1, []])) (link)

Comments

Please log in to add comments