module Domain.Math.Fraction.Strategies
    (expandAndAdd) where

import Domain.Math.Expr
import Domain.Math.Fraction.Rules
import Ideas.Common.Library

expandAndAdd :: LabeledStrategy (Context Expr)
expandAndAdd = label "expandAndAdd" $
               try findLCM
               <*> repeatS ( somewhere (expandToLCM ))
               <*>  addLikeFractions