HGeometry.Sign

Description

Signs of expressions

Synopsis

Documentation

The sign of an expression

Constructors

Negative
Positive

Instances details

Bounded Sign Source #
Instance details Defined in HGeometry.Sign Methods minBound :: Sign Source # maxBound :: Sign Source #
Enum Sign Source #
Instance details Defined in HGeometry.Sign Methods succ :: Sign -> Sign Source # pred :: Sign -> Sign Source # toEnum :: Int -> Sign Source # fromEnum :: Sign -> Int Source # enumFrom :: Sign -> [Sign] Source # enumFromThen :: Sign -> Sign -> [Sign] Source # enumFromTo :: Sign -> Sign -> [Sign] Source # enumFromThenTo :: Sign -> Sign -> Sign -> [Sign] Source #
Show Sign Source #
Instance details Defined in HGeometry.Sign Methods showsPrec :: Int -> Sign -> ShowS Source # show :: Sign -> String Source # showList :: [Sign] -> ShowS Source #
Eq Sign Source #
Instance details Defined in HGeometry.Sign Methods (==) :: Sign -> Sign -> Bool Source # (/=) :: Sign -> Sign -> Bool Source #
Ord Sign Source #
Instance details Defined in HGeometry.Sign Methods compare :: Sign -> Sign -> Ordering Source # (<) :: Sign -> Sign -> Bool Source # (<=) :: Sign -> Sign -> Bool Source # (>) :: Sign -> Sign -> Bool Source # (>=) :: Sign -> Sign -> Bool Source # max :: Sign -> Sign -> Sign Source # min :: Sign -> Sign -> Sign Source #

Flip Positive = Negative.

Given the terms, in decreasing order of significance, computes the sign

i.e. expects a list of terms, we base the sign on the sign of the first non-zero term.