8000 Assuming a variable is prime · Issue #21981 · sagemath/sage · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Assuming a variable is prime #21981
New issue
New issue
Open
Open
Assuming a variable is prime#21981
Labels
c: symbolicsp: major / 3t: enhancement
@pelegm

Description

@pelegm
pelegm
opened on Nov 27, 2016

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

Component: symbolics

Keywords: prime, assume

Issue created by migration from https://trac.sagemath.org/ticket/21981

Metadata

Metadata

Assignees

No one assigned

    Labels

    c: symbolicsp: major / 3t: enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0