Skip to content

Conversation

@dpsanders
Copy link
Member

No description provided.

dpsanders and others added 8 commits February 5, 2017 14:14
* Delete some unnecessary files; update Annulus notebook

* Basic separators notebook

Remove example notebooks
if it's being used or imported, it should be depended on explicitly
instead of assuming it will be present as an indirect dependency
* Parametrize Separators

* Fix test

* Fixes for the types of lhs and args

* Multi-dimensional contractor seems to be working!

* Make multidim iterated functions work

* Remove debugging output for iterated functions

* Move parse_comparison to separator.jl

* Escape name of contractor when creating constraint so that it is available with name _C_1_ etc.

* Convenience constructor for ConstraintSeparator that automatically extracts variables

* Factor out content of  into make_constraint function

* Parametrise interval field of ConstraintSeparator
* Refactor flatAST with methods

* FlattenedAST -> FlatAST

* forward_backward replaces forward_pass and backward_pass

* Working NewContractor with action via function call

* Make contractors in separators use new syntax (accepting IntervalBox. This seems to break pave -- when empty?

* Finish rewrite to use forward_backward. Contractor call is messy.

* Clean up functions

* Clean up contractor code

* Clean up separator code

* Add  for contractor call

* Make contractors return IntervalBox'es and deal with fallout

* Correct sqr_rev
* Make unary minus work

* Make power_rev work with odd powers for intervals with negative regions

* Split up repeated addition and multiplication. Needs test.

* Add test for power_rev with odd power

* Fix rebase
@dpsanders dpsanders merged commit 8944abe into master Feb 6, 2017
@dpsanders dpsanders deleted the remove_example_notebooks branch February 6, 2017 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants