++add
Add
Produces the sum of a and b.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ add
~/ %add
|= [a=@ b=@]
^- @
?: =(0 a) b
$(a (dec a), b +(b))
Examples
> (add 2 2)
4> (add 1 1.000.000)
1.000.001> (add 1.333 (mul 2 2))
1.337> (add 'a' 4)
101> (add 'a' 'b')
195> (add 0xc 0xf)
27> `@ux`(add 0xc 0xf)
0x1b++dec
Decrement
Decrements a by 1.
Accepts
a is an atom.
Produces
An atom.
Source
++ dec
~/ %dec
|= a=@
~_ leaf+"decrement-underflow"
?< =(0 a)
=+ b=0
|- ^- @
?: =(a +(b)) b
$(b +(b))
Examples
> (dec 7)
6> (dec 0)
! decrement-underflow
! exit> (dec 'b')
97
> `@t`(dec 'b')
'a'> (dec 0xc)
11
> `@ux`(dec 0xc)
0xb++div
Divide
Computes a divided by b without remainder.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ div
~/ %div
|: [a=`@`1 b=`@`1]
^- @
~_ leaf+"divide-by-zero"
?< =(0 b)
=+ c=0
|-
?: (lth a b) c
$(a (sub a b), c +(c))
Examples
> (div 4 2)
2> (div 17 8)
2> (div 20 30)
0> (div 'ab' 'a')
259
> `@`'ab'
25.185
> `@`a
97> (div 0x9f 0x29)
6++dvr
Divide with remainder
Computes a divided by b, producing the quotient and the remainder.
Accepts
a is an atom.
b is an atom.
Produces
A cell of atoms.
Source
++ dvr
~/ %dvr
|= [a=@ b=@]
^- [p=@ q=@]
[(div a b) (mod a b)]
Examples
> (dvr 17 8)
[p=2 q=1]> (dvr 17 6)
[p=2 q=5]> (dvr 18 6)
[p=3 q=0]> (dvr 4 2)
[p=2 q=0]> (dvr 'ab 'a')
[p=259 q=62]
> `@`'a'
97
> `@`'ab'
25.185++gte
Greater-than/equal
Tests whether a is greater than or equal to b.
Accepts
a is an atom.
b is an atom.
Produces
A flag.
Source
++ gte
~/ %gte
|= [a=@ b=@]
^- ?
!(lth a b)
Examples
> (gte 100 10)
%.y> (gte 4 4)
%.y> (gte 3 4)
%.n++gth
Greater-than
Tests whether a is greater than b.
Accepts
a is an atom.
b is an atom.
Produces
A flag.
Source
++ gth
~/ %gth
|= [a=@ b=@]
^- ?
!(lte a b)
Examples
> (gth 'd' 'c')
%.y> (gth ~h1 ~m61)
%.n> (gth 'steak' 'brisket')
%.n++lte
Less-than/equal
Tests whether a is less than or equal to b.
Accepts
a is an atom.
b is an atom.
Produces
A flag.
Source
++ lte
~/ %lte
|= [a=@ b=@]
|(=(a b) (lth a b))
Examples
> (lte 4 5)
%.y> (lte 5 4)
%.n> (lte 5 5)
%.y> (lte 0 0)
%.y> (lte 'a' 'b')
%.y
> `@`'a'
97
> `@`'b'
98> (lte 'abraham' 'bob')
%.n> (lte ~m61 ~h1)
%.n++lth
Less-than
Tests whether a is less than b.
Accepts
a is an atom.
b is an atom.
Produces
A flag.
Source
++ lth
~/ %lth
|= [a=@ b=@]
^- ?
?& !=(a b)
|-
?| =(0 a)
?& !=(0 b)
$(a (dec a), b (dec b))
== == ==
Examples
> (lth 4 5)
%.y> (lth 5 4)
%.n> (lth 5 5)
%.n> (lth 5 0)
%.n> (lth 'a' 'b')
%.y
> `@`'a'
97
> `@`'b'
98> (lth 'abraham' 'bob')
%.n++max
Maximum
Computes the greater of a and b.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ max
~/ %max
|= [a=@ b=@]
^- @
?: (gth a b) a
b
Examples
> (max 10 100)
100> (max 10.443 9)
10.443> (max 1 1)
1> (max 'abraham' 'bob')
30.787.873.400.840.801> `@t`(max 'abraham' 'bob')
'abraham'> `@t`(max 'abraham' 'benjamin')
'benjamin'> `@dr`(max ~m6 ~h1)
~h1>`@ux`(max 0xe1 0x1e)
0xe1++min
Minimum
Computes the lesser of a and b.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ min
~/ %min
|= [a=@ b=@]
^- @
?: (lth a b) a
b
Examples
> (min 10 100)
10> (min 10.443 9)
9> (min 1 1)
1> (min 'abraham' 'bob')
6.451.042> `@t`(min 'abraham' 'bob')
'bob'> `@t`(min 'abraham' 'benjamin')
'abraham'> `@dr`(min ~m6 ~h1)
~m6++mod
Modulus
Computes the remainder of dividing a by b.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ mod
~/ %mod
|: [a=`@`1 b=`@`1]
^- @
?< =(0 b)
(sub a (mul b (div a b)))
Examples
> (mod 5 2)
1> (mod 5 5)
0> (mod 2 5)
2> (mod 40 20)
0> `@`'c'
99
>`@`'a'
97
> (mod 'c' 'a')
2++mul
Multiply
Multiplies a by b.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ mul
~/ %mul
|: [a=`@`1 b=`@`1]
^- @
=+ c=0
|-
?: =(0 a) c
$(a (dec a), c (add b c))
Examples
> (mul 3 4)
12> (mul 0 1)
0> `@`'a'
97
> `@`'b'
98
> (mul 'a' 'b')
9.506>`@ux`(mul 0x1f 0xe)
0x1b2++sub
Subtract
Subtracts b from a.
Accepts
a is an atom.
b is an atom.
Produces
An atom.
Source
++ sub
~/ %sub
|= [a=@ b=@]
~_ leaf+"subtract-underflow"
^- @
?: =(0 b) a
$(a (dec a), b (dec b))
Examples
> (sub 10 5)
5> (sub 243 44)
199> (sub 5 0)
5> (sub 0 5)
! subtract-underflow
! exit> (sub 'c' 'a')
2
> `@`'c'
99
> `@`'a'
97> (sub 0x1f 0xe)
17
> `@ux`(sub 0x1f 0xe)
0x11