law sgd_rate_accepted

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

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

168law sgd_rate_accepted:
169  for +lr: F32
170  for above: {Elementwise.below_zero(lr) == False{} : Bool}
171  {Sgd.rate_refusal(lr) == None{} : Maybe<&2, Sgd.Error>}