Courses/CS 460/Fall 2005/Homework/Sean Tseng/Nov 12

From CSWiki

%  AB
%  CD
%+ EF
%----
%  GH
%+  I
%----
% 100

local
   proc {Math006 Solution}
      A B C D E F G H I
      Vars = [A B C D E F G H I ]
   in
      Solution = [A B]#[C D]#[E F]#[G H]#[I]
      Vars ::: 1#9                                      
      {FD.distinct Vars}                                
      G =: 9
      10*A + B +
      10*C + D +
      10*E + F=: 10*G + H
      10*G + H + I =: 100
      {FD.distribute ff Vars}
   end
in
   {Browse {SearchAll Math006}}
end

%A^2 + B^2 + C^2 = D^2 + E^2 

local
   proc {Math004 Solution}
      A B C D E
   in
      Solution = [A B C D E]
      Solution ::: 1#10
      {FD.distinct Solution}
      A * A + B * B + C * C =: D * D + E * E
      {FD.distribute ff Solution}
   end
in
   {Browse {SearchAll Math004}}
end