Eq-1.0: EqManips/Polynome.hs-boot
module EqManips.Polynome where
import {-# SOURCE #-} EqManips.Types
convertToPolynome :: Formula ListForm -> Maybe Polynome
convertToFormula :: Polynome -> Formula ListForm
polyMap :: ((PolyCoeff, Polynome) -> (PolyCoeff, Polynome)) -> Polynome -> Polynome