propagate integer variable domain to Pynac

[rwst]

sage: _ = var('n', domain='integer')
sage: n.is_integer()
False

All sorts of logic within Pynac depends on this.

See also pynac/pynac#11

Depends on #18695

Component: symbolics

Author: Ralf Stephan

Branch: fcb445d

Reviewer: Vincent Delecroix

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

[rwst]

Branch: u/rws/propagate_integer_variable_domain_to_pynac

[rwst]

Author: Ralf Stephan

[rwst]

New commits:

4130107

18921: propagate integer variable domain to Pynac

[rwst]

Commit: 4130107

[rwst]

Dependencies: #18695

[sagetrac-git]

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

fcb445d

Merge branch 'develop' into t/18921/propagate_integer_variable_domain_to_pynac

[sagetrac-git]

Changed commit from 4130107 to fcb445d

[videlec]

comment:5

Good to go.

[videlec]

Reviewer: Vincent Delecroix