SAT-Pol-0.1.0.0

Safe Haskell	Safe
Language	Haskell2010

Polynomials

Documentation

type Variable = String Source #

data MonF2 Source #

Constructors

M (Set Variable)

Instances

Eq MonF2 Source #
Methods (==) :: MonF2 -> MonF2 -> Bool # (/=) :: MonF2 -> MonF2 -> Bool #
Ord MonF2 Source #
Methods compare :: MonF2 -> MonF2 -> Ordering # (<) :: MonF2 -> MonF2 -> Bool # (<=) :: MonF2 -> MonF2 -> Bool # (>) :: MonF2 -> MonF2 -> Bool # (>=) :: MonF2 -> MonF2 -> Bool # max :: MonF2 -> MonF2 -> MonF2 # min :: MonF2 -> MonF2 -> MonF2 #
Show MonF2 Source #
Methods showsPrec :: Int -> MonF2 -> ShowS # show :: MonF2 -> String # showList :: [MonF2] -> ShowS #

data PolF2 Source #

Constructors

Instances

Eq PolF2 Source #
Methods (==) :: PolF2 -> PolF2 -> Bool # (/=) :: PolF2 -> PolF2 -> Bool #
Num PolF2 Source #
Methods (+) :: PolF2 -> PolF2 -> PolF2 # (-) :: PolF2 -> PolF2 -> PolF2 # (*) :: PolF2 -> PolF2 -> PolF2 # negate :: PolF2 -> PolF2 # abs :: PolF2 -> PolF2 # signum :: PolF2 -> PolF2 # fromInteger :: Integer -> PolF2 #
Ord PolF2 Source #
Methods compare :: PolF2 -> PolF2 -> Ordering # (<) :: PolF2 -> PolF2 -> Bool # (<=) :: PolF2 -> PolF2 -> Bool # (>) :: PolF2 -> PolF2 -> Bool # (>=) :: PolF2 -> PolF2 -> Bool # max :: PolF2 -> PolF2 -> PolF2 # min :: PolF2 -> PolF2 -> PolF2 #
Show PolF2 Source #
Methods showsPrec :: Int -> PolF2 -> ShowS # show :: PolF2 -> String # showList :: [PolF2] -> ShowS #

showAux :: Show a => Set a -> [Char] Source #

suma :: PolF2 -> PolF2 -> PolF2 Source #

producto :: PolF2 -> PolF2 -> PolF2 Source #

vars :: PolF2 -> [Variable] Source #

varsKB :: Set PolF2 -> [Variable] Source #

zero :: PolF2 Source #

one :: PolF2 Source #

var :: Variable -> PolF2 Source #