Fungrim entry: a9847a

Symbol: DiscreteLog —

\log_{b}\!\left(x\right) \bmod q

— Discrete logarithm

\log_{b}\!\left(x\right) \bmod q

represents the smallest positive integer

y

such that

{b}^{y} \equiv x \pmod {q}

Definitions:

Fungrim symbol	Notation	Short description
`DiscreteLog`	$\log_{b}\!\left(x\right) \bmod q$	Discrete logarithm
`Pow`	${a}^{b}$	Power

Source code for this entry:

Entry(ID("a9847a"),
    SymbolDefinition(DiscreteLog, DiscreteLog(x, b, q), "Discrete logarithm"),
    Description(DiscreteLog(x, b, q), "represents the smallest positive integer", y, "such that", CongruentMod(Pow(b, y), x, q)))

Topics using this entry

Dirichlet characters

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC