###Code by Kellen Myers

#adding two positive integers in unary where one is [1], two is [1,1] etc.
unaryadd:=proc(x,y):[op(x),op(y)]:end:

#multiplying two positive integers in unary
unarymult:=proc(x,y) local i,p:
  p:=[]:
  i:=[]:
  while i<>y do
   p:=unaryadd(p,x):
   i:=[op(i),1]:
  od:
  p:
end: