Opened 3 years ago

Last modified 21 months ago

#20132 new enhancement

add symbolic domains posint, cinteger, crational

Reported by: rws Owned by:
Priority: major Milestone: sage-7.1
Component: symbolics Keywords: assumptions, domain
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

While Maxima does not know about these domains in its assumption framework they can be emulated by giving the combined assumptions ("integer", ...>0), ("complex", "rational"). This ticket should then also check with is_abc...() that Pynac understands them as well.

Change History (2)

comment:1 Changed 3 years ago by rws

The posint Pynac logic is in pynac-0.6.4, it needs to be complemented with recognition of the keyword in SR.var and assume.

comment:2 Changed 21 months ago by rws

  • Summary changed from add symbolic domains posint, crational to add symbolic domains posint, cinteger, crational
Note: See TracTickets for help on using tickets.