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

Make positive -> finite with new facts like is_extended_positive #16666

Merged
merged 148 commits into from
May 28, 2019
Merged

Make positive -> finite with new facts like is_extended_positive #16666

merged 148 commits into from
May 28, 2019

Commits on Apr 27, 2019

  1. Add extended_real and Make real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4c5e54e View commit details
    Browse the repository at this point in the history

  2. Replace is_real -> is_extended_real in numbers.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f267682 View commit details
    Browse the repository at this point in the history

  3. Replace is_real -> is_extended_real in add.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4ff3610 View commit details
    Browse the repository at this point in the history

  4. Replace is_real -> is_extended_real in expr.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    11592d1 View commit details
    Browse the repository at this point in the history

  5. Replace is_real -> is_extended_real in basic.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    fe1c7c9 View commit details
    Browse the repository at this point in the history

  6. Replace is_real -> is_extended_real in mul.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d806cc3 View commit details
    Browse the repository at this point in the history

  7. Replace is_real -> is_extended_real in power.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c980ad0 View commit details
    Browse the repository at this point in the history

  8. Replace is_real -> is_extended_real in complexes.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    8736fe4 View commit details
    Browse the repository at this point in the history

  9. Replace is_real -> is_extended_real in trigonometric.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f407592 View commit details
    Browse the repository at this point in the history

  10. Fix tests after making real imply finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    742e3ea View commit details
    Browse the repository at this point in the history

  11. Add extended_real functions/elementary/miscellaneous.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    270d6ed View commit details
    Browse the repository at this point in the history

  12. Use extended real for AccumBounds in calculus/util.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b2494aa View commit details
    Browse the repository at this point in the history

  13. WIP - ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    431c8c0 View commit details
    Browse the repository at this point in the history

  14. WIP - ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    43a8857 View commit details
    Browse the repository at this point in the history

  15. WIP ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c36b1f9 View commit details
    Browse the repository at this point in the history

  16. WIP ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9a29b16 View commit details
    Browse the repository at this point in the history

  17. WIP ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b8dc535 View commit details
    Browse the repository at this point in the history

  18. WIP...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f5a87c7 View commit details
    Browse the repository at this point in the history

  19. is_real -> is_extended_real in functions/elementary.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    e003aa4 View commit details
    Browse the repository at this point in the history

  20. Fix tests for is_real in functions/elementary.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3b42b05 View commit details
    Browse the repository at this point in the history

  21. is_real -> is_extended_real in functions/special.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4dc11c8 View commit details
    Browse the repository at this point in the history

  22. Fix tests for is_real in function/special

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    227f52e View commit details
    Browse the repository at this point in the history

  23. is_real -> is_extended_real in simplify

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    eb3208b View commit details
    Browse the repository at this point in the history

  24. is_real -> is_extended_real in inequalities

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    28c7b25 View commit details
    Browse the repository at this point in the history

  25. is_real -> is_extended_real in solvers.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4b7fef0 View commit details
    Browse the repository at this point in the history

  26. extended_real should not imply complex

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    74075b4 View commit details
    Browse the repository at this point in the history

  27. WIP ...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    33380ae View commit details
    Browse the repository at this point in the history

  28. Make extended_real -> commutative

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d3559c7 View commit details
    Browse the repository at this point in the history

  29. Fix test real->extended_real

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    244317a View commit details
    Browse the repository at this point in the history

  30. Add _eval_is_complex to re/im

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b268c7d View commit details
    Browse the repository at this point in the history

  31. Make imaginary -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    87476e0 View commit details
    Browse the repository at this point in the history

  32. Fix tests for is_extended_real

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6ec64b5 View commit details
    Browse the repository at this point in the history

  33. is_real -> is_extended_real in exprtools.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c848875 View commit details
    Browse the repository at this point in the history

  34. is_real -> is_extended_real in exponential.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    fd706db View commit details
    Browse the repository at this point in the history

  35. Fix test for is_real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9c06aa6 View commit details
    Browse the repository at this point in the history

  36. Add is_finite to LambertW

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4c829e7 View commit details
    Browse the repository at this point in the history

  37. Use finite=True in LambertW test

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    523b9d0 View commit details
    Browse the repository at this point in the history

  38. Fix test fail for is_real -> finite in complexes

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5e57282 View commit details
    Browse the repository at this point in the history

  39. Fix test for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    77f66f8 View commit details
    Browse the repository at this point in the history

  40. Fix test for is_real -> finite in logic

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f60b4c1 View commit details
    Browse the repository at this point in the history

  41. Fix test for is_real -> is_finite in quantum

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9441aa3 View commit details
    Browse the repository at this point in the history

  42. Fix fail from is_real -> finite in series

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c7b2707 View commit details
    Browse the repository at this point in the history

  43. Fix test for is_extended_real in simplify

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    ae41f93 View commit details
    Browse the repository at this point in the history

  44. is_real -> is_extended_real in integrals

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3842794 View commit details
    Browse the repository at this point in the history

  45. Fix test in solveset for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    cbb85d8 View commit details
    Browse the repository at this point in the history

  46. Fix wester test for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    0c9b37b View commit details
    Browse the repository at this point in the history

  47. Fix stats and tests for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    50572bf View commit details
    Browse the repository at this point in the history

  48. Improve assumptions for Pow

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    a32a89c View commit details
    Browse the repository at this point in the history

  49. Fix transforms and tests for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    a7a61f0 View commit details
    Browse the repository at this point in the history

  50. Update test in solvers for extended_real assumption

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    1999402 View commit details
    Browse the repository at this point in the history

  51. Update tests in powsimp for new assumptions

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    a7276dc View commit details
    Browse the repository at this point in the history

  52. real->extended_real in sets tests

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    725a439 View commit details
    Browse the repository at this point in the history

  53. Make CRootOf finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6e07192 View commit details
    Browse the repository at this point in the history

  54. Fix assumptions in test_inequalities for real->finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    931541b View commit details
    Browse the repository at this point in the history

  55. Fix assumptions in test_rationaltools

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    bd2343c View commit details
    Browse the repository at this point in the history

  56. Fix assumption in test_manual for real->finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3052f80 View commit details
    Browse the repository at this point in the history

  57. Add _eval_is_real to error functions

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3003b67 View commit details
    Browse the repository at this point in the history

  58. Fix doctests for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    18593dd View commit details
    Browse the repository at this point in the history

  59. Use extended_real=True in solveset tests

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    7b0b3ab View commit details
    Browse the repository at this point in the history

  60. Use extended_real=True in test_integrals

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    e63ff4b View commit details
    Browse the repository at this point in the history

  61. Update homogeneous_order for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    7ff41e9 View commit details
    Browse the repository at this point in the history

  62. Restore Wester test test_Y2

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    72cd1fe View commit details
    Browse the repository at this point in the history

  63. Add erf._eval_is_finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    51508a4 View commit details
    Browse the repository at this point in the history

  64. Work around hang in Weibull using finite=True...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    e385e1e View commit details
    Browse the repository at this point in the history

  65. Fix tests in integrals for real -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d92db81 View commit details
    Browse the repository at this point in the history

  66. XFAILed two failing tests in series

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6494d94 View commit details
    Browse the repository at this point in the history

  67. Fix tests and comment hanging assert in meijerint

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b793d12 View commit details
    Browse the repository at this point in the history

  68. Update test for real->finite in test_ode.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d6e1756 View commit details
    Browse the repository at this point in the history

  69. XFAIL test_W23 in test_wester due to real->finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3022077 View commit details
    Browse the repository at this point in the history

  70. Fix AccumBounds.is_real and remove XFAIL

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    dd69d80 View commit details
    Browse the repository at this point in the history

  71. Fix and uncomment failing test

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    ae2262a View commit details
    Browse the repository at this point in the history

  72. Remove XFAIL from test_order.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4c4d7a7 View commit details
    Browse the repository at this point in the history

  73. Use is_extended_real in polyroots and remove XFAIL

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b865488 View commit details
    Browse the repository at this point in the history

  74. Remove redundant assumption rule in ask.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b0a9eaa View commit details
    Browse the repository at this point in the history

  75. Remove redundant infinity checks

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    a20ee9f View commit details
    Browse the repository at this point in the history

  76. Remove redundant finite checks

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4bcdc7f View commit details
    Browse the repository at this point in the history

  77. Add extended_real in output for test_tree

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    87cfec9 View commit details
    Browse the repository at this point in the history

  78. WIP

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4bd14a7 View commit details
    Browse the repository at this point in the history

  79. WIP making positive -> finite in core...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    24c55a0 View commit details
    Browse the repository at this point in the history

  80. positive -> extended_positive in Add

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    41fcd6b View commit details
    Browse the repository at this point in the history

  81. positive -> extended_positive in Expr

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5572021 View commit details
    Browse the repository at this point in the history

  82. Fix core tests for positive -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9d13d31 View commit details
    Browse the repository at this point in the history

  83. positive -> extended_positive in Abs

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5f93d18 View commit details
    Browse the repository at this point in the history

  84. positive -> extended_positive in Pow

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5b7f43d View commit details
    Browse the repository at this point in the history

  85. Add _eval_is handlers in trigonometric

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    49033b1 View commit details
    Browse the repository at this point in the history

  86. positive -> extended_positive in exponential

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    1d15f7c View commit details
    Browse the repository at this point in the history

  87. Fix tests for positive -> finite in exponential

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    8f9fc2a View commit details
    Browse the repository at this point in the history

  88. positive -> extended_positive in periodic_argument

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    ee95726 View commit details
    Browse the repository at this point in the history

  89. positive -> extended_positive in Pow.as_real_imag

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    1f25f80 View commit details
    Browse the repository at this point in the history

  90. Comment failing test in gamma_functions

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    2a00025 View commit details
    Browse the repository at this point in the history

  91. Update new assumptions tests for positive->finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d75a03e View commit details
    Browse the repository at this point in the history

  92. positive -> extended_positive in AccumBounds

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    af133d4 View commit details
    Browse the repository at this point in the history

  93. positive -> extended_positive in Infinity._eval_power

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d2d200f View commit details
    Browse the repository at this point in the history

  94. positive->extended_positive in SingularityFunction

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c014e0d View commit details
    Browse the repository at this point in the history

  95. Update tests assumptions tests for extended_positive etc

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    68c0d6a View commit details
    Browse the repository at this point in the history

  96. Update test for extended_positive etc assumptions

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    7a7b3e0 View commit details
    Browse the repository at this point in the history

  97. positive=False -> nonpositive=True in stats tests

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    130a7db View commit details
    Browse the repository at this point in the history

  98. positive -> extended_positive in sign

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5e937a3 View commit details
    Browse the repository at this point in the history

  99. positive -> extended_positive in _pt

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    bfe1fe7 View commit details
    Browse the repository at this point in the history

  100. XFAIL 3 tests failing due to positive -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5697ce0 View commit details
    Browse the repository at this point in the history

  101. positive -> extended_positive in function

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    0706d9d View commit details
    Browse the repository at this point in the history

  102. Fix doctests in basic/printing for positive -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    bb6e307 View commit details
    Browse the repository at this point in the history

  103. Comment out doctest...

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    53f4f90 View commit details
    Browse the repository at this point in the history

  104. Re-add _eval_is_positive to Expr

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f1fc9aa View commit details
    Browse the repository at this point in the history

  105. Remove redundant infinity check in AccumBounds

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    42664c7 View commit details
    Browse the repository at this point in the history

  106. Re-add Add._eval_is_real

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6bd10fc View commit details
    Browse the repository at this point in the history

  107. Re-add Pow._eval_is_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f5b4b75 View commit details
    Browse the repository at this point in the history

  108. Add _eval_is_positive back to Expr

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    11cd958 View commit details
    Browse the repository at this point in the history

  109. Add _eval_is_positive to Float

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    f89a274 View commit details
    Browse the repository at this point in the history

  110. real -> extended_real in Expr.is_extended_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    fa21fbf View commit details
    Browse the repository at this point in the history

  111. Fix assumptions for atan

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    1199ec9 View commit details
    Browse the repository at this point in the history

  112. Reimplement Expr._eval_is_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    dfd3530 View commit details
    Browse the repository at this point in the history

  113. Fix recursion problems in Expr._eval_is_composite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    a0989e0 View commit details
    Browse the repository at this point in the history

  114. Simplify Expr._eval_is_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    c24f501 View commit details
    Browse the repository at this point in the history

  115. Add _eval_is_finite to re and im

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    89f3a5f View commit details
    Browse the repository at this point in the history

  116. use extended_positive and un-XFAIL tests in series

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    ef69d77 View commit details
    Browse the repository at this point in the history

  117. UnXFAIL test with positive -> extended_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    20a4cf0 View commit details
    Browse the repository at this point in the history

  118. Restore complex -> finite | infinite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3f0bff9 View commit details
    Browse the repository at this point in the history

  119. positive -> extended_positive in Infinity.__mul__

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6590d3c View commit details
    Browse the repository at this point in the history

  120. Remove unneeded changes

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4239c40 View commit details
    Browse the repository at this point in the history

  121. Update test_arit for positive -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    995fce1 View commit details
    Browse the repository at this point in the history

  122. Add nonzero -> real

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    3af7973 View commit details
    Browse the repository at this point in the history

  123. Add tests for extended_positive

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    b148a4f View commit details
    Browse the repository at this point in the history

  124. Add test for real=True in test_expr

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    00b4125 View commit details
    Browse the repository at this point in the history

  125. nonnegative -> extended_nonnegative in power.py

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9453cb6 View commit details
    Browse the repository at this point in the history

  126. Assumptions cleanup for positive->finite in complexes

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    2bb3c55 View commit details
    Browse the repository at this point in the history

  127. Fix assumptions for atan

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    4e9dd08 View commit details
    Browse the repository at this point in the history

  128. Test cleanup for positive -> finite

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    dd2c938 View commit details
    Browse the repository at this point in the history

  129. positive->extended_positive and cleanup in special

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    9339f98 View commit details
    Browse the repository at this point in the history

  130. Cleanup for positive->finite in integrals

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    d573ecf View commit details
    Browse the repository at this point in the history

  131. Remove unneeded test line

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    2cef473 View commit details
    Browse the repository at this point in the history

  132. Remove redundant finite=True from tests

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    2a2d28e View commit details
    Browse the repository at this point in the history

  133. Remove unneeded finite=True in ode

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    5d26548 View commit details
    Browse the repository at this point in the history

  134. Clean up and remove unnecessary finite=True in solvers tests

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    6d7a892 View commit details
    Browse the repository at this point in the history

  135. Remove unneeded finite=True from stats

    @oscarbenjamin
    oscarbenjamin committed Apr 27, 2019
    Configuration menu
    Copy the full SHA
    34b6fde View commit details
    Browse the repository at this point in the history

Commits on May 5, 2019

  1. Make Float.is_real always True

    @oscarbenjamin
    oscarbenjamin committed May 5, 2019
    Configuration menu
    Copy the full SHA
    39909b3 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2019

  1. Merge branch 'master' into ext_pos_finite

    @smichr
    smichr authored May 23, 2019
    Configuration menu
    Copy the full SHA
    3edb507 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2019

  1. Add real=True in stats tests

    @oscarbenjamin
    oscarbenjamin committed May 26, 2019
    Configuration menu
    Copy the full SHA
    e68cbcd View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into ext_pos_finite

    @oscarbenjamin
    oscarbenjamin committed May 26, 2019
    Configuration menu
    Copy the full SHA
    1013b68 View commit details
    Browse the repository at this point in the history

  3. Add real=True in stats tests

    @oscarbenjamin
    oscarbenjamin committed May 26, 2019
    Configuration menu
    Copy the full SHA
    e66260b View commit details
    Browse the repository at this point in the history

Commits on May 27, 2019

  1. Simplify logic in Infinity.__le__/__gt__

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    73b7e59 View commit details
    Browse the repository at this point in the history

  2. Simplify Pow._eval_is_positive

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    53a26eb View commit details
    Browse the repository at this point in the history

  3. Remove unnedded finite=True

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    75b1357 View commit details
    Browse the repository at this point in the history

  4. Add Piecewise._eval_is_extended_positive etc

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    5e6edf8 View commit details
    Browse the repository at this point in the history

  5. Use is_extended_negative in erf

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    d66e52a View commit details
    Browse the repository at this point in the history

  6. Fix Mul._eval_is_positive for positive=False

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    791ddf8 View commit details
    Browse the repository at this point in the history

  7. Use extended_real=True in bessel test

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    9d0ef12 View commit details
    Browse the repository at this point in the history

  8. Update reduce_rational_inequalities docstring

    @oscarbenjamin
    oscarbenjamin committed May 27, 2019
    Configuration menu
    Copy the full SHA
    dffb392 View commit details
    Browse the repository at this point in the history