整数の割り算 - UEFN研究会

整数の割り算

Quotient

# Returns the quotient X/Y as defined by Euclidean division, i.e.:

# * Quotient[X/Y] = Floor[X/Y] when Y > 0

# * Quotient[X/Y] = Ceil[X/Y] when Y < 0

# * Quotient[X/Y] * Y + Mod[X,Y] = X

# Fails if Y = 0.

Quotient<native><public>(X:int, Y:int)<computes><decides>:int

Mod

# Returns the remainder of X/Y as defined by Euclidean division, i.e.:

# * Mod[X,Y] = X - Quotient(X/Y)*Y

# * 0 <= Mod[X,Y] < Abs(Y)

# Fails if Y=0.

Mod<native><public>(X:int, Y:int)<computes><decides>:int