Skip to main content
added 12 characters in body
Source Link
user58988
user58988

Axiom, 9090 92 bytes

f(a,k)==(for i in 1..#a-1 repeat for j in i+1..#a repeat(q:=a.i+a.j;q=k=>return true);false) 

test

(42) -> f([3,4,5],6) (42) false Type: Boolean (43) -> f([1,2,3,4,5,6],11) (43) true Type: Boolean (44) -> f([4,23,8174,42,-1],11) (44) false Type: Boolean (45) -> f([4,23,8174,42,-1],41) (45) true Type: Boolean (46) -> f([2,23,8174,42,2],2) (46) false 

Axiom, 90 bytes

f(a,k)==(for i in 1..#a repeat for j in i+1..#a repeat(q:=a.i+a.j;q=k=>return true);false) 

test

(42) -> f([3,4,5],6) (42) false Type: Boolean (43) -> f([1,2,3,4,5,6],11) (43) true Type: Boolean (44) -> f([4,23,8174,42,-1],11) (44) false Type: Boolean (45) -> f([4,23,8174,42,-1],41) (45) true Type: Boolean (46) -> f([2,23,8174,42,2],2) (46) false 

Axiom, 90 92 bytes

f(a,k)==(for i in 1..#a-1 repeat for j in i+1..#a repeat(q:=a.i+a.j;q=k=>return true);false) 

test

(42) -> f([3,4,5],6) (42) false Type: Boolean (43) -> f([1,2,3,4,5,6],11) (43) true Type: Boolean (44) -> f([4,23,8174,42,-1],11) (44) false Type: Boolean (45) -> f([4,23,8174,42,-1],41) (45) true Type: Boolean (46) -> f([2,23,8174,42,2],2) (46) false 
Source Link
user58988
user58988

Axiom, 90 bytes

f(a,k)==(for i in 1..#a repeat for j in i+1..#a repeat(q:=a.i+a.j;q=k=>return true);false) 

test

(42) -> f([3,4,5],6) (42) false Type: Boolean (43) -> f([1,2,3,4,5,6],11) (43) true Type: Boolean (44) -> f([4,23,8174,42,-1],11) (44) false Type: Boolean (45) -> f([4,23,8174,42,-1],41) (45) true Type: Boolean (46) -> f([2,23,8174,42,2],2) (46) false