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.