ag-gipp/GoUldI

View on GitHub
data/mathematical/66.mml

Summary

Maintainability
Test Coverage
<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow><msub><mi>P</mi> <mi>i</mi></msub><mo>=</mo><mtext><mrow><mi>h</mi><mi>e</mi><mi>a</mi><mi>d</mi></mrow></mtext><mo stretchy="false">(</mo><msub><mi>E</mi> <mi>K</mi></msub><mo stretchy="false">(</mo><msub><mi>S</mi> <mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo stretchy="false">)</mo><mo>,</mo><mi>x</mi><mo stretchy="false">)</mo><mo>⊕</mo><msub><mi>C</mi> <mi>i</mi></msub></mrow><annotation encoding='application/x-tex'>P_i = \mbox{head}(E_K (S_{i-1}), x) \oplus C_i</annotation></semantics></math>