Wolfram Cloud Document

In[]:=

postulate:=

p

∑

i=1

Abs[x[[i]]-y[[i]]]

p

∑

i=1

Max[x[[i]],y[[i]]]

1-

p

∑

i=1

Min[x[[i]],y[[i]]]

p

∑

i=1

x[[i]]+

p

∑

i=1

y[[i]]-

p

∑

i=1

Min[x[[i]],y[[i]]]

;assumptions:=(p∈)∧(0<p)∧(i∈)∧(1≤i≤p)∧(x∈Arrays[p,



>0

])∧(y∈Arrays[p,



>0

]);result1=FullSimplify[postulate,assumptions];

Part

:The expression i cannot be used as a part specification.

Part

:The expression i cannot be used as a part specification.

Out[]=

$Aborted