Integer functions

Adds support (freezing, typing, printing) for the following integer functions from sympyextensions.integer_functions:

• bit_shift_left
• bit_shift_right
• bitwise_and
• bitwise_or
• bitwise_xor
• int_div
• int_power_of_2
• modulo_floor

The following are left for future work because they can be conveniently implemented with an if expression (the ternary if operator ?: in C) which is currently not available.

• modulo_ceil
• div_ceil

div_floor is also not implemented because to me the semantics of this function are unclear. Is it supposed to compute

$\lfloor \frac ab \rfloor$

(as the name suggests) or the C-like round-to-zero integer division (as the documentation suggests)?

The typifier tries to infer the integer type of the arguments/result and always raises if the type is non-integer. Note that this can lead to cases in which an exception is raised because the inference fails. For example int_div(2, 3) where both arguments are untyped constants. This could be improved in the typifier, e.g. by adding type constraints to deferred constants (also left for future work).

added ongoing label

assigned to @he66coqe

added 1 commit

• 7c3a2e6c - add integer division

Compare with previous version

added 1 commit

• a3ab67b0 - add integer functions div_floor, int_power_of_2, modulo_floor

Compare with previous version

changed the description

added 1 commit

• 56677823 - add missing imports

Compare with previous version

removed ongoing label

marked this merge request as ready

requested review from @da15siwa

added 2 commits

• 10bc7bac - clarify semantics of PsIntDiv and remove support for div_floor
• df9b0a8e - add integer function printing test

Compare with previous version

changed the description

added 1 commit

• ebc36d2d - temporarily remove modulo_floor

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for ebc36d2d succeeds

canceled the automatic merge

mentioned in commit 075ae357

merged

mentioned in issue #88 (closed)