Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Check & document is_polar assumption helpers #332

Closed
skirpichev opened this issue Sep 4, 2016 · 0 comments
Closed

Check & document is_polar assumption helpers #332

skirpichev opened this issue Sep 4, 2016 · 0 comments
Labels
assumptions core documentation
Milestone
0.9

Comments

@skirpichev
Copy link
Collaborator

skirpichev commented Sep 4, 2016 •
edited

This was introduced in 152fc0c.
@skirpichev skirpichev modified the milestone: 0.9.0 Nov 3, 2016
skirpichev added a commit to skirpichev/diofant that referenced this issue Nov 1, 2017
@skirpichev
Validate is_polar assumption helpers
94659a8 
Now we have more conservative Mul/Pow helpers.  Still, positive
does not imply polar.

Closes diofant#332

N.B. this pr finalizes diofant#316
skirpichev added a commit to skirpichev/diofant that referenced this issue Nov 1, 2017
@skirpichev
Validate is_polar assumption helpers
7381b7c 
Now we have more conservative Mul/Pow helpers.  Still, positive
does not imply polar.

Closes diofant#332

N.B. This pr finalizes diofant#316.  Assumption itself
was added in sympy/sympy#504, see 152fc0c.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assumptions core documentation
Projects
None yet
Milestone
0.9
Development

No branches or pull requests
1 participant
@skirpichev