Glossary: J

Definitions in this project whose names start with J. The whole glossary has the other sections.

A · B · C · D · E · F · G · H · I · J · K · L · M · N · O · P · Q · R · S · T · U · V · W · X · Y · Z · Other

Jacobian def

The Jacobian of a vector valued polynomial function, viewed as a polynomial. · MvPolynomial.RegularFunction.Jacobian

JacobianConjectureProp def

The predicate that the Jacobian conjecture holds for a given field and variable index type (i.e. number of variables). · JacobianConjecture.JacobianConjectureProp

JacobsonConjectureFor def

The Jacobson conjecture for a ring $R$: the infimum of the powers of the Jacobson radical $J$ is the zero ideal. · Jacobson.JacobsonConjectureFor

jacobsthalFunction def

Jacobsthal's function, uniformly parametrized by the maximum number of distinct prime factors. · Erdos970.jacobsthalFunction

johnson def

The Johnson graph $J(n, k)$ has as vertices the $k$-subsets of an $n$-set. Two vertices are adjacent if their intersection has size $k - 1$. · SimpleGraph.johnson

johnsonBound def

Johnson's upper bound on the maximum size A(n, d, w) of a n-dimensional binary code of distance d and weight w is as follows: * If d > 2 * w, then A(n, d, w) = 1. * If d ≤ 2 * w, then `A(n, d, w) ≤ ⌊n / w * A(n - 1, d, w - … · Erdos835.johnsonBound

JoinedToTwo def

JoinedToTwo G T Y holds when every vertex of Y is joined to at least two (distinct) vertices of T. · Erdos1034.JoinedToTwo

jugglerStep def

Consider the following operation on the natural numbers: If the number is even, take the floor of the square root. If the number is odd, take the floor of n raised to the 3/2 power. · JugglerConjecture.jugglerStep