Math.FiniteField.Sign

Signs

Documentation

data Sign

Constructors

Plus

Minus

Instances

Eq Sign

Defined in Math.FiniteField.Sign

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Read Sign

Defined in Math.FiniteField.Sign

Methods

readsPrec :: Int -> ReadS Sign

readList :: ReadS [Sign]

readPrec :: ReadPrec Sign

readListPrec :: ReadPrec [Sign]

Show Sign

Defined in Math.FiniteField.Sign

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Semigroup Sign

Defined in Math.FiniteField.Sign

Methods

(<>) :: Sign -> Sign -> Sign

sconcat :: NonEmpty Sign -> Sign

stimes :: Integral b => b -> Sign -> Sign

Monoid Sign

Defined in Math.FiniteField.Sign

Methods

mempty :: Sign

mappend :: Sign -> Sign -> Sign

mconcat :: [Sign] -> Sign

isPlus :: Sign -> Bool

isMinus :: Sign -> Bool

signValue :: Num a => Sign -> a

+1 or -1

signed :: Num a => Sign -> a -> a

Negate the second argument if the first is Minus

paritySign :: Integral a => a -> Sign

Plus if even, Minus if odd

paritySignValue :: Integral a => a -> Integer

(-1)^k

negateIfOdd :: (Integral a, Num b) => a -> b -> b

Negate the second argument if the first is odd

oppositeSign :: Sign -> Sign

mulSign :: Sign -> Sign -> Sign

productOfSigns :: [Sign] -> Sign