Shr

Name

Shr — bitwise shift right

Syntax

Shr( expression , expression )

Domain

Shr : Z x Z -> Z

Example

Shr( 2 , 1 ) = 1

Description

Shr shifts right the leftmost expression by rightmost expression positions. This is equivalent to dividing the leftmost expression by 2 ^ rightmost expression.
Shr( x , y ) = x / 2 ^ y