// attribute.
// ms <- rho * ms_{t-1} + (1-rho) * grad * grad
// mg = grad * (one - rho) + mg * rho;
// mom <- momentum * mom_{t-1} + lr * grad / sqrt(ms - mg * mg + epsilon)
//
def DecomposeResourceApplyCenteredRMSProp :
  Pattern<
    (TF_ResourceApplyCenteredRMSPropOp:$src_op
       $var_resource, $mg_resource, $ms_resource, $mom_resource, $lr, $rho, $momentum, $epsilon,
       $grad, $use_locking
    ),

    // CHECK: [[GRADSQ:%.*]] = "tf.Mul"([[GRAD]], [[GRAD]])
    // CHECK: [[SB:%.*]] = "tf.Sub"([[ONE]], [[RHO]])
    // CHECK: [[GRAD_SUB:%.*]] = "tf.Mul"([[GRADSQ]], [[SB]])
    // CHECK: [[MS:%.*]] = "tf.ReadVariableOp"([[MS_HANDLE]])
    // CHECK: [[MS_RHO:%.*]] = "tf.Mul"([[MS]], [[RHO]])
    // CHECK: [[MS_NEW:%.*]] = "tf.AddV2"([[GRAD_SUB]], [[MS_RHO]])
    // CHECK: "tf.AssignVariableOp"([[MS_HANDLE]], [[MS_NEW]])

        entities.put("Mu", "\u039c");
        entities.put("Nu", "\u039d");
        entities.put("Xi", "\u039e");
        entities.put("Omicron", "\u039f");
        entities.put("Pi", "\u03a0");
        entities.put("Rho", "\u03a1");
        entities.put("Sigma", "\u03a3");
        entities.put("Tau", "\u03a4");
        entities.put("Upsilon", "\u03a5");
        entities.put("Phi", "\u03a6");
        entities.put("Chi", "\u03a7");

	"∋":                  "\u220b",
	"⇋":              "\u21cb",
	"⥯":            "\u296f",
	"ℜ":                             "\u211c",
	"Ρ":                             "\u03a1",
	"⟩":               "\u27e9",
	"→":                      "\u2192",
	"⇥":                   "\u21e5",

        entities.put("Mu", "\u039c");
        entities.put("Nu", "\u039d");
        entities.put("Xi", "\u039e");
        entities.put("Omicron", "\u039f");
        entities.put("Pi", "\u03a0");
        entities.put("Rho", "\u03a1");
        entities.put("Sigma", "\u03a3");
        entities.put("Tau", "\u03a4");
        entities.put("Upsilon", "\u03a5");
        entities.put("Phi", "\u03a6");
        entities.put("Chi", "\u03a7");

// random bytes generated by the XOF function, according to FIPS 203 (DRAFT),
// Algorithm 6 and Definition 4.2.
func sampleNTT(rho []byte, ii, jj byte) nttElement {
	B := sha3.NewShake128()
	B.Write(rho)
	B.Write([]byte{ii, jj})

	// SampleNTT essentially draws 12 bits at a time from r, interprets them in
	// little-endian, and rejects values higher than q, until it drew 256

		"ReverseElement;":                  '\U0000220B',
		"ReverseEquilibrium;":              '\U000021CB',
		"ReverseUpEquilibrium;":            '\U0000296F',
		"Rfr;":                             '\U0000211C',
		"Rho;":                             '\U000003A1',
		"RightAngleBracket;":               '\U000027E9',
		"RightArrow;":                      '\U00002192',
		"RightArrowBar;":                   '\U000021E5',

03A0          ; mapped                 ; 03C0          # 1.1  GREEK CAPITAL LETTER PI
03A1          ; mapped                 ; 03C1          # 1.1  GREEK CAPITAL LETTER RHO
03A2          ; disallowed                             # NA   <reserved-03A2>
03A3          ; mapped                 ; 03C3          # 1.1  GREEK CAPITAL LETTER SIGMA

	"Iota":     "\u0399",
	"Kappa":    "\u039A",
	"Lambda":   "\u039B",
	"Mu":       "\u039C",
	"Nu":       "\u039D",
	"Xi":       "\u039E",
	"Omicron":  "\u039F",
	"Pi":       "\u03A0",
	"Rho":      "\u03A1",
	"Sigma":    "\u03A3",
	"Tau":      "\u03A4",
	"Upsilon":  "\u03A5",
	"Phi":      "\u03A6",
	"Chi":      "\u03A7",
	"Psi":      "\u03A8",
	"Omega":    "\u03A9",

  let summary = "Update '*var' according to the adadelta scheme.";

  let description = [{
accum = rho() * accum + (1 - rho()) * grad.square();
update = (update_accum + epsilon).sqrt() * (accum + epsilon()).rsqrt() * grad;
update_accum = rho() * update_accum + (1 - rho()) * update.square();
var -= update;
  }];

  let arguments = (ins