Math.NumberTheory.Moduli.Jacobi

Deprecated: Use Math.NumberTheory.Moduli.Sqrt instead

Description: Deprecated

Jacobi symbol is a generalization of the Legendre symbol, useful for primality testing and integer factorization.

Documentation

data JacobiSymbol

Represents three possible values of Jacobi symbol.

Constructors

MinusOne

Zero

One

Instances

Eq JacobiSymbol

Defined in Math.NumberTheory.Moduli.JacobiSymbol

Methods

(==) :: JacobiSymbol -> JacobiSymbol -> Bool

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

Ord JacobiSymbol

Defined in Math.NumberTheory.Moduli.JacobiSymbol

Methods

compare :: JacobiSymbol -> JacobiSymbol -> Ordering

(<) :: JacobiSymbol -> JacobiSymbol -> Bool

(<=) :: JacobiSymbol -> JacobiSymbol -> Bool

(>) :: JacobiSymbol -> JacobiSymbol -> Bool

(>=) :: JacobiSymbol -> JacobiSymbol -> Bool

max :: JacobiSymbol -> JacobiSymbol -> JacobiSymbol

min :: JacobiSymbol -> JacobiSymbol -> JacobiSymbol

Show JacobiSymbol

Defined in Math.NumberTheory.Moduli.JacobiSymbol

Methods

showsPrec :: Int -> JacobiSymbol -> ShowS

show :: JacobiSymbol -> String

showList :: [JacobiSymbol] -> ShowS

Semigroup JacobiSymbol

Defined in Math.NumberTheory.Moduli.JacobiSymbol

Methods

(<>) :: JacobiSymbol -> JacobiSymbol -> JacobiSymbol

sconcat :: NonEmpty JacobiSymbol -> JacobiSymbol

stimes :: Integral b => b -> JacobiSymbol -> JacobiSymbol

jacobi :: (Integral a, Bits a) => a -> a -> JacobiSymbol

Jacobi symbol of two arguments. The lower argument ("denominator") must be odd and positive, this condition is checked.

If arguments have a common factor, the result is Zero, otherwise it is MinusOne or One.

>>> jacobi 1001 9911
Zero -- arguments have a common factor 11
>>> jacobi 1001 9907
MinusOne

symbolToNum :: Num a => JacobiSymbol -> a

Convenience function to convert out of a Jacobi symbol