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?
Note: See
TracTickets for help on using
tickets.
