Improve assumption documentation and doctest recent improvements

[rwst]

With pynac-0.5 this will no longer give wrong results:

sage: assume(x,'integer')
sage: x.is_integer()
False

sage: assume(x>0)
sage: x.is_positive()
False

sage: f=function('f')(x)
sage: assume(f>0)
sage: f.is_positive()
False

Depends on #19312

Component: symbolics

Author: Ralf Stephan

Branch/Commit: 3f00cf9

Reviewer: Vincent Delecroix

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

[rwst]

Branch: u/rws/sync_elementary_assumptions_on_symbols_functions_with_pynac

[rwst]

comment:2

Example working with current Pynac master:

sage: assume(x>0)
sage: x.is_real()
True
sage: x.is_positive()
True
sage: forget(x>0)
sage: x.is_positive()
False
sage: x.is_real()
False
sage: assume(x,"real")
sage: x.is_real()
True
sage: x.is_positive()
False

---

New commits:

ee70688

19035: sync elementary assumptions on symbols/functions with Pynac

[rwst]

Commit: ee70688

[rwst]

Dependencies: pynac-0.4.4

[rwst]

Changed commit from ee70688 to none

[rwst]

Changed dependencies from pynac-0.4.4 to #19312

[rwst]

Changed branch from u/rws/sync_elementary_assumptions_on_symbols_functions_with_pynac to none

[rwst]

Branch: u/rws/doctest_syncing_of_elementary_assumptions_on_symbols_functions_with_pynac

[rwst]

New commits:

b198a3f

19035: document syncing of generic assumptions on symbols/functions with Pynac

[rwst]

Commit: b198a3f

[videlec]

Reviewer: Vincent Delecroix

[videlec]

comment:6

I guess :meth:`assume` should be :func:`assume`. And similarly :meth:`forget()`.

In the complex plain do you mean the complex plane?

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3f00cf9

fix typos

[sagetrac-git]

Changed commit from b198a3f to 3f00cf9

[rwst]

comment:8

Valid complaint.

[vbraun]

Changed branch from u/rws/doctest_syncing_of_elementary_assumptions_on_symbols_functions_with_pynac to 3f00cf9