Opened 3 years ago

#21981 new enhancement

Assuming a variable is prime

Reported by: pelegm Owned by:
Priority: major Milestone: sage-7.5
Component: symbolics Keywords: prime, assume
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

Can we somehow assume an integer variable is prime? Something like assume(p, 'prime') and then bool(p>1) will return True?

Change History (0)

Note: See TracTickets for help on using tickets.