# Homework 22.  15-April-2012.  Pat Devlin #
# I don't care about keeping my work private #



Help:=proc():
  print(`split(w1, w2), SplitUp(L)`):
end:


#############
# Problem 1 #
#############

# Cancelled



#############
# Problem 2 #
#############

SplitUp:=proc(L) option remember: local i:
  for i from 1 to (nops(L)-1) do
    if(split(L[1..i], L[(i+1)..nops(L)])) then
      return [op(SplitUp(L[1..i])), op(SplitUp(L[(i+1)..nops(L)]))]:
    fi:
  od:
  return L:
end proc:


######


#
# split(w1,w2) as from the webpage
#

split:=proc(L,R) local n,m:
if nops(L)=0 or nops(R)=0 then
 RETURN(1):
fi:
 
n:=op(nops(L),L):
m:=op(1,R):
 
if n=m then
 RETURN(false):
fi:
 
if n>=4 and m<=3 then
RETURN(true):
fi:
 
if n=2 then
 if m=1 and nops(R)>2 and op(2,R)<>1 and op(3,R)<>op(2,R) then 
   RETURN(true):
 fi:
 if m=1 and nops(R)=2 and op(2,R)<>1 then 
   RETURN(true):
 fi:
 
 if m=1 and nops(R)>=3 and op(2,R)=1 and op(3,R)=1 then 
   RETURN(true):
 fi:
 
 if m=3 and nops(R)>=2 and op(2,R)<>3
and not(nops(R)>=4 and op(2,R)=op(3,R) and op(3,R)=op(4,R))
 then
        RETURN(true):
 fi:
 
 if m=3 and nops(R)=1 
 then
        RETURN(true):
 fi:
 
 if m>=4 then
  RETURN(true):
 fi:
fi:
 
if n<>2 then
  if nops(R)>=5 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)<>1
     and op(5,R)<>op(4,R)  then
      RETURN(true):
  fi:
 
  if nops(R)=4 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)<>1 then
      RETURN(true):
  fi:
 
 if nops(R)>=5 and op(1,R)=2 and op(2,R)=2 and op(3,R)=1 and op(4,R)=1
              and op(5,R)=1 then
    RETURN(true):
 fi:
 
 if nops(true)>=4 and op(1,R)=2 and op(2,R)=2 and op(3,R)=3 and
op(4,R)<>op(3,R)
              and not(nops(R)>=6 and op(4,R)=op(5,R) and op(5,R)=op(6,R))
                 then
    RETURN(true):
 fi:
 
 if nops(R)=2 and op(1,R)=2 and op(2,R)=2 then
  RETURN(true):
 fi:
 
 if nops(R)=3 and op(1,R)=2 and op(2,R)=2 and op(3,R)>=4 then
  RETURN(true):
 fi:
 
 if nops(R)>=3 and op(1,R)=2 and op(2,R)=2 and op(3,R)>=4 and
                     op(4,R)<>op(3,R)    then
                   
  RETURN(true):
 fi:
fi:
false:
end: