SymPy's ceiling() is not translated to Sage

[pelegm]

sage: ceil(x)
ceil(x)
sage: _._sympy_()
ceiling(x)
sage: _._sage_()
---------------------------------------------------------------------------
AttributeError                            Traceback (most recent call last)
<ipython-input-9-7149a2430cab> in <module>()
----> 1 _._sage_()

/home/ralf/sage/local/lib/python2.7/site-packages/sympy/core/function.py in _sage_(self)
    705         import sage.all as sage
    706         fname = self.func.__name__
--> 707         func = getattr(sage, fname)
    708         args = [arg._sage_() for arg in self.args]
    709         return func(*args)

AttributeError: 'module' object has no attribute 'ceiling'
sage: 

Previous description was:

sage: integrate(ceil(x), x, 0, infinity, algorithm='sympy')

leads to

Traceback (most recent call last):
  File "<ipython-input-3-257ec54e6dd3>", line 1, in <module>
    integrate(ceil(x), x, Integer(0), infinity, algorithm='sympy')
  File "/home/peleg/sage/local/lib/python2.7/site-packages/sage/misc/functional.py", line 664, in integral
    return x.integral(*args, **kwds)
  File "sage/symbolic/expression.pyx", line 11766, in sage.symbolic.expression.Expression.integral (build/cythonized/sage/symbolic/expression.cpp:65026)
    return integral(self, *args, **kwds)
  File "/home/peleg/sage/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py", line 773, in integrate
    return integrator(expression, v, a, b)
  File "/home/peleg/sage/local/lib/python2.7/site-packages/sage/symbolic/integration/external.py", line 42, in sympy_integrator
    return result._sage_()
  File "/home/peleg/sage/local/lib/python2.7/site-packages/sympy/integrals/integrals.py", line 1100, in _sage_
    f, limits = self.function._sage_(), list(self.limits)
  File "/home/peleg/sage/local/lib/python2.7/site-packages/sympy/core/function.py", line 707, in _sage_
    func = getattr(sage, fname)
AttributeError: 'module' object has no attribute 'ceiling'

Depends on #23923

Component: calculus

Keywords: ceil, integrate, sympy

Author: Ralf Stephan

Branch/Commit: 319c8b9

Reviewer: Marcelo Forets

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

[rwst]

Upstream: Not yet reported upstream; Will do shortly.

[rwst]

comment:1

This has to be fixed in SymPy. This ticket should monitor progress and commit a doctest.

[rwst]

Description changed:

--- 
+++ 
@@ -1,3 +1,27 @@
+
+```
+sage: ceil(x)
+ceil(x)
+sage: _._sympy_()
+ceiling(x)
+sage: _._sage_()
+---------------------------------------------------------------------------
+AttributeError                            Traceback (most recent call last)
+<ipython-input-9-7149a2430cab> in <module>()
+----> 1 _._sage_()
+
+/home/ralf/sage/local/lib/python2.7/site-packages/sympy/core/function.py in _sage_(self)
+    705         import sage.all as sage
+    706         fname = self.func.__name__
+--> 707         func = getattr(sage, fname)
+    708         args = [arg._sage_() for arg in self.args]
+    709         return func(*args)
+
+AttributeError: 'module' object has no attribute 'ceiling'
+sage: 
+```
+
+Previous description was:
 
 ```python
 sage: integrate(ceil(x), x, 0, infinity, algorithm='sympy')

[rwst]

Branch: u/rws/22566

[rwst]

Author: Ralf Stephan

[rwst]

Last 10 new commits:

07f4744	23990: handle unequality
0ed659f	23990: do not evaluate
5f023ea	23990: convert relations from SymPy to Sage, with test
0f596bb	23990: fix patch
479e206	23990: sympy patchlevel bump
3e362ee	24006: SymPy --> Sage conversion completely inside Sage
8dd5f88	24006: add missing file, fixes
a68d57f	23923: Interface cases function with SymPy's piecewise
b80d98c	23923: fix typo
2afa0ee	22566: interface SymPy's ceiling()

[rwst]

Changed upstream from Not yet reported upstream; Will do shortly. to none

[rwst]

Dependencies: #23923

[rwst]

Commit: 2afa0ee