law sgd_negative_rate_refused

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

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

160# The learning rate is refused exactly when it is below zero, IEEE `lr < 0`
161# on the bits (`below_zero`, stated by below_zero_words): PyTorch's
162# `lr < 0.0`.
163law sgd_negative_rate_refused:
164  for +lr: F32
165  for below: {Elementwise.below_zero(lr) == True{} : Bool}
166  {Sgd.rate_refusal(lr) == Some{Sgd.InvalidLearningRate{}} : Maybe<&2, Sgd.Error>}