Nonnumeric integer expressions not handled by floor/ceil

[rwst]

In #22079 floor/ceil gets a new implementation. Symbolic arguments are not checked with is_integer however so we get

sage: var('x',domain='integer')
x
sage: floor(x)
floor(x)
sage: ceil(x)
ceil(x)

Inserting that check (if not is_numeric) would immediately simplify a class of expressions.

Component: symbolics

Author: Ralf Stephan

Branch/Commit: fcd36b8

Reviewer: Bryan Gin-ge Chen

Issue created by migration from https://trac.sagemath.org/ticket/24365

[rwst]

Branch: u/rws/nonnumeric_integer_expressions_not_handled_by_floor_ceil

[rwst]

Author: Ralf Stephan

[rwst]

New commits:

fcd36b8

24365: handle nonnumeric integer expressions in floor/ceil

[rwst]

Commit: fcd36b8

[rwst]

comment:3

Lots of doctest fails.

[rwst]

comment:4

Patchbot fails are all unrelated.