search

mathics / Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core
https://mathics.org
Other
2.07k stars 205 forks source link

Implement `ConditionalExpression[]` #1231

Open rocky opened 3 years ago

rocky commented 3 years ago

https://reference.wolfram.com/language/ref/ConditionalExpression.html

This is mentioned in passing in Issue #62

mmatera commented 3 years ago

This should be partially addressed by PR #1271. Still, we need a way to implement some kind of predicate reduction using assumptions.