ideas-math-1.0: src/Domain/Math/Fraction/Strategies.hs

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