Next: , Previous: Modular Arithmetic, Up: Mathematical Packages

### 5.3 Irrational Integer Functions

`(require 'math-integer)`

— Function: integer-expt n1 n2

Returns n1 raised to the power n2 if that result is an exact integer; otherwise signals an error.

`(integer-expt 0 `n2`)`

returns 1 for n2 equal to 0; returns 0 for positive integer n2; signals an error otherwise.

— Function: integer-log base k

Returns the largest exact integer whose power of base is less than or equal to k. If base or k is not a positive exact integer, then `integer-log` signals an error.

— Function: integer-sqrt k

For non-negative integer k returns the largest integer whose square is less than or equal to k; otherwise signals an error.

— Function: quotient n1 n2
— Function: remainder n1 n2
— Function: modulo n1 n2

are redefined so that they accept only exact-integer arguments.

— Function: round-quotient n1 n2

Returns the quotient of n1 and n2 rounded toward even.

```          (quotient 3 2)        ⇒ 1
(round-quotient 3 2)  ⇒ 2
```