Sage: Ticket #18999: basic assumptions on symbolic functions
https://trac.sagemath.org/ticket/18999
<p>
At the moment only symbols allow basic assumptions (i.e. generic declarations). Newly defined functions are ignored in <code>GDecl</code> and then bail out (because <code>Expression.assume</code> only can work with relations). Preinstalled functions will have statements about them in the assumption database, as well, and maybe it's useful for the user to be able to make assertions, but <code>Function</code> is ignored as well and bails out for the same reason as above.
</p>
<p>
The Pynac side will have a first implementation in 0.4.3.
</p>
en-usSagehttps://trac.sagemath.org/chrome/site/logo_sagemath_trac.png
https://trac.sagemath.org/ticket/18999
Trac 1.1.6