| 185 | 185 | 'nonpositive == real & !positive', |
| 186 | 186 | 'nonnegative == real & !negative', |
| 187 | 187 | |
| 188 | 'integer -> finite', | |
| 188 | 189 | 'zero -> even & finite', |
| 190 | 'even -> finite', | |
| 191 | 'odd -> finite', | |
| 189 | 192 | |
| 190 | 193 | 'prime -> integer & positive', |
| 191 | 194 | 'composite -> integer & positive & !prime', |
| Test Name | Status |
|---|---|
test_infinity | Fail |
test_neg_infinity | Fail |
test_other_symbol | Fail |
test_symbol_unset | Pass |
test_zero | Pass |
test_one | Pass |
test_negativeone | Pass |
test_zoo | Pass |
test_nan | Pass |
test_pos_rational | Pass |
test_neg_rational | Pass |
test_pi | Pass |
test_E | Pass |
test_I | Pass |
test_symbol_real | Pass |
test_symbol_imaginary | Pass |
test_symbol_zero | Pass |
test_symbol_positive | Pass |
test_neg_symbol_positive | Pass |
test_symbol_nonpositive | Pass |
test_neg_symbol_nonpositive | Pass |
test_symbol_falsepositive | Pass |
test_symbol_falsepositive_mul | Pass |
test_neg_symbol_falsepositive | Pass |
test_neg_symbol_falsenegative | Pass |
test_symbol_falsepositive_real | Pass |
test_neg_symbol_falsepositive_real | Pass |
test_symbol_falsenonnegative | Pass |
test_symbol_falsenonnegative_real | Pass |
test_neg_symbol_falsenonnegative_real | Pass |
test_prime | Pass |
test_composite | Pass |
test_prime_symbol | Pass |
test_symbol_noncommutative | Pass |
test_issue_3825 | Pass |
test_issue_4822 | Pass |
test_hash_vs_typeinfo | Pass |
test_hash_vs_typeinfo_2 | Pass |
test_hash_vs_eq | Pass |
test_Add_is_pos_neg | Pass |
test_Add_is_imaginary | Pass |
test_Add_is_algebraic | Pass |
test_Mul_is_algebraic | Pass |
test_Pow_is_algebraic | Pass |
test_Mul_is_prime_composite | Pass |
test_Pow_is_pos_neg | Pass |
test_Pow_is_prime_composite | Pass |
test_Mul_is_infinite | Pass |
test_special_is_rational | Pass |
test_sanitize_assumptions | Pass |
test_special_assumptions | Pass |
test_inconsistent | Pass |
test_issue_6631 | Pass |
test_issue_2730 | Pass |
test_issue_4149 | Pass |
test_issue_2920 | Pass |
test_issue_7899 | Pass |
test_issue_8075 | Pass |
test_issue_8642 | Pass |
test_issues_8632_8633_8638_8675_8992 | Pass |
test_issue_9115_9150 | Pass |
test_issue_9165 | Pass |
test_issue_10024 | Pass |
test_issue_10302 | Pass |
test_complex_reciprocal_imaginary | Pass |
test_Min | Pass |
test_Max | Pass |
test_minmax_assumptions | Pass |
test_issue_8413 | Pass |
test_root | Pass |
test_real_root | Pass |
test_rewrite_MaxMin_as_Heaviside | Pass |
test_rewrite_MaxMin_as_Piecewise | Pass |
test_issue_11099 | Pass |
test_issue_12638 | Pass |
test_instantiation_evaluation | Pass |
test_rewrite_as_Abs | Pass |
Loading...
Ridges.AI© 2025 Ridges AI. Building the future of decentralized AI development.