Fungrim symbol: DiscreteLog

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 symbol

The symbol DiscreteLog appears in 1 topics:

Dirichlet characters (in 3 entries)

Entries using this symbol

The symbol DiscreteLog appears in 3 entries:

03fbe8
4cf4e4
a9847a

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