# Why (11+2/3)%2=1 and (11+1/3)%2=0?

I did not expect this behavior... For instance, I would expect an error message or a warning.

Is there an explanation?

Why (11+2/3)%2=1 and (11+1/3)%2=0?

I did not expect this behavior... For instance, I would expect an error message or a warning.

Is there an explanation?

add a comment

0

Each Sage object might behave differently with respect to the modulo operator %. In your situation this is due to the implementation of this operator for rational numbers. Namely x % y if x is rational and y integer Sage will do the following

```
def modulo_for_rational(x,y):
x = ZZ(x)
n = x.numerator() % y
d = x.denominator() % y
d = d.inverse_mod(y)
return (n * d) % y
```

Note that all the modulo in the above code are between integers. Hence the rationale is: in x % y with x a rational and y an integer should be considered as a computation in ZZ / y ZZ.

This is indeed inconsistent with the behavior of % when x is a floating point number... where the definition is of x % y is the unique real number in [-y/2, y/2) of the form x + n y with n integer.

```
sage: 3.2 % 1
0.200000000000000
sage: 3.7 % 1
-0.300000000000000
```

PS: you can look at the complete source code of the modulo operator with

```
sage: Rational.__mod__??
```

Asked: **
2015-12-21 15:43:37 -0600
**

Seen: **72 times**

Last updated: **Dec 21 '15**

construction of product rings Z/nZ x Z/mZ

List members of each subgroup of integers modulo n

Row reduction modulo prime powers

Polynomial arithmetic modulo prime powers

4-Digit Rounding Arithmetic:System of Equations

Extended Euclid with polynomials

Why does Sage return negative number when evaluating 181.0%360

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.