discreteLogProblem
P174538
predicate
Indicates a relationship where one entity represents the discrete logarithm of another with respect to a given base in a finite group, expressing that the first is the exponent that produces the second under the group operation.