algebra-4.3: Constructive abstract algebra

Numeric.Decidable.Associates

# Documentation

class Unital r => DecidableAssociates r where Source #

Minimal complete definition

isAssociate

Methods

isAssociate :: r -> r -> Bool Source #

b is an associate of a if there exists a unit u such that b = a*u

This relationship is symmetric because if u is a unit, u^-1 exists and is a unit, so

b*u^-1 = a*u*u^-1 = a

Instances

 Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # Methods Source # MethodsisAssociate :: () -> () -> Bool Source # Source # Methods Source # MethodsisAssociate :: Fraction d -> Fraction d -> Bool Source # Source # Methods Source # MethodsisAssociate :: Opposite r -> Opposite r -> Bool Source # Source # MethodsisAssociate :: (a, b) -> (a, b) -> Bool Source # (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c) => DecidableAssociates (a, b, c) Source # MethodsisAssociate :: (a, b, c) -> (a, b, c) -> Bool Source # (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c, DecidableAssociates d) => DecidableAssociates (a, b, c, d) Source # MethodsisAssociate :: (a, b, c, d) -> (a, b, c, d) -> Bool Source # (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c, DecidableAssociates d, DecidableAssociates e) => DecidableAssociates (a, b, c, d, e) Source # MethodsisAssociate :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source #

isAssociateIntegral :: (Eq n, Num n) => n -> n -> Bool Source #

isAssociateWhole :: Eq n => n -> n -> Bool Source #