Home
comb
/
exp
/
Divide
The
/
function returns the quotient of two objects, as follows:
a b
->
c
#a #b
->
#c
[a] b
->
[c]
[a] (b)
->
[c]
[a] [[b]]
->
[c]
[[a]] b
->
[[c]]
[[a]] (b)
->
[[c]]
[[a]] [[b]]
->
[[c]]
a_u
1
b_u
2
->
c_u
3
a_u b
->
c_u
a b_u
1
->
c_u
2
(a) (b)
->
(c)