SymPy Guides

• Assumptions
  • The (old) assumptions system
  • Gotcha: symbols with different assumptions
  • Applying assumptions to string inputs
  • Predicates
  • Implications
  • Interpretation of the predicates
  • Other is_* properties
  • Implementing assumptions handlers
  • Mechanism of the assumptions system
  • Limitations
  • New assumptions
• Symbolic and fuzzy booleans
  • Symbolic Boolean vs three valued bool
  • Three-valued logic with fuzzy bools
  • Three-valued logic with symbolic Booleans