SAT-Pol-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

F2

Contents

Synopsis

Documentation

data VarF2 Source #

The data type VarF2 is the set of polynomial variables of PolF2.

Instances

Eq VarF2 Source # 

Methods

(==) :: VarF2 -> VarF2 -> Bool #

(/=) :: VarF2 -> VarF2 -> Bool #

Ord VarF2 Source # 

Methods

compare :: VarF2 -> VarF2 -> Ordering #

(<) :: VarF2 -> VarF2 -> Bool #

(<=) :: VarF2 -> VarF2 -> Bool #

(>) :: VarF2 -> VarF2 -> Bool #

(>=) :: VarF2 -> VarF2 -> Bool #

max :: VarF2 -> VarF2 -> VarF2 #

min :: VarF2 -> VarF2 -> VarF2 #

Show VarF2 Source # 

Methods

showsPrec :: Int -> VarF2 -> ShowS #

show :: VarF2 -> String #

showList :: [VarF2] -> ShowS #

Arbitrary VarF2 Source # 

Methods

arbitrary :: Gen VarF2

shrink :: VarF2 -> [VarF2]

type PolF2 = Vect F2 (Lex String) Source #

The data type PolF2 is the field of polynomial with coefficients in the finite field F2.

unbox :: VarF2 -> PolF2 Source #

Orphan instances

Arbitrary PolF2 Source # 

Methods

arbitrary :: Gen PolF2

shrink :: PolF2 -> [PolF2]