id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
21981 Assuming a variable is prime pelegm Can we somehow assume an integer variable is prime? Something like `assume(p, 'prime')` and then `bool(p>1)` will return True? enhancement new major sage-7.5 symbolics prime,assume N/A