{- | given an axiom in the module M, the function computes the
axioms obtained for the homomorphisms -}
quotient_ax :: Named CASLFORMULA -> Named CASLFORMULA
quotient_ax nsen = nsen'
      where sen = sentence nsen
            sen' = homomorphy_form sen
            nsen' = nsen { sentence = sen' }

-- | applies the homomorphism operator to the terms of the given formula
quotient_ax :: Named CASLFORMULA -> Named CASLFORMULA
quotient_ax nsen = nsen'
      where sen = sentence nsen
            sen' = homomorphy_form sen
            nsen' = nsen { sentence = sen' }

-- | applies the homomorphism operator to the terms of the given formula
quotient_ax nsen = nsen'
      where sen = sentence nsen
            sen' = homomorphy_form sen
            nsen' = nsen { sentence = sen' }

-- | applies the homomorphism operator to the terms of the given formula