1

Why is $(k L - y) \mod L = (L - y) \mod L$? What's the rule that allows the constant $k$ to be ignored?

QC_QAOA
  • 11,796
Paul
  • 113

1 Answers1

0

In your notation $a\pmod b = c\pmod b$ means that $a-c \pmod p =0 \pmod p$ this is just a consequence of the division algorithm. By doing that, notice that the $-y$ cancel and you end up having a $(k-1)\cdot L \pmod L,$ what is the remainder by dividing a number by itself? hint: $L = 1\cdot L +0.$

Phicar
  • 14,722
  • It doesn't "mean that". Rather, it can be proved to be equivalent to that - see my comment on the question. – Bill Dubuque Nov 09 '20 at 22:15
  • @BillDubuque I know, but throwing equivalences to a coder was an overkill from my perspective. – Phicar Nov 09 '20 at 22:25
  • But "means" is so imprecise that it often leads to errors, e.g. its denotation could be "by definition" or it could denote a (uni or bi)directional implication, etc. Here it is easy to be precise so there is no reason not to be. – Bill Dubuque Nov 09 '20 at 22:38
  • @BillDubuque I agree with that. I will try to improve. Thanks! – Phicar Nov 09 '20 at 22:55