• Assumptions
• Introduction
• Target vision
• The aims of assumptions
• for the end-user.
• for the core
• for the end-user and for th core
• Classification of assumptions
• Approaches
• Current situation
• Current branches description
• Algebra Objects
• Introduction and Goals
• The Element/Algebra Model
• Verbatim: the most general algebra there is
• Extension, Specialisation and Unification of Algebras
• Use Case 1: Caching
• Use Case 2: Assumptions
• Implementation Strategy
• Tom
• Slow for trivial queries
• Cleaning global assumptions
• Replacing global assumptions by local assumptions
• Symbol('x', positive=True) syntax
• Interaction with the cache
• Ronan
• Use predicates and propositions instead of "Assume objects"
• Assumption Examples