law sgd_rate_edges

bendtorch-core@0.1.0.0 · src/autograd/sgd_LAWS.bend:184

import Base
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd

184# At the edge rates, as PyTorch 2.14.1 answers them: +0.0, -0.0, 0.01, the
185# quiet NaN, a NaN with the sign bit and +inf are accepted; the smallest
186# negative denormal, -0.25, the most negative finite word and -inf are
187# refused.
188law sgd_rate_edges:
189  {rate_refusals([0, 2147483648, 1008981770, 2143289344, 4290772992, 2139095040,
190      2147483649, 3196059648, 4286578687, 4286578688]) ==
191    [None{}, None{}, None{}, None{}, None{}, None{},
192      Some{Sgd.InvalidLearningRate{}}, Some{Sgd.InvalidLearningRate{}}, Some{Sgd.InvalidLearningRate{}},
193      Some{Sgd.InvalidLearningRate{}}] : List<&2, Maybe<&2, Sgd.Error>>}