Applied-Systems-Lab / zonoLAB

GNU General Public License v3.0
0 stars 0 forks source link

ACC memZono Release #45

Open jonaswagner2826 opened 2 weeks ago

jonaswagner2826 commented 2 weeks ago

dimAwareFun.m

map.m

plot.m

subsref.m

supportFunc.m

transform.m

exampleMemoryReachability_memZono.m

reluNN_memZono.m

SLAM.m

memZono.m

jonaswagner2826 commented 2 weeks ago

@jruths

Question answers:

map:

  • [ ] Seems simpler to move code from linMap and put it into map directly...

This is nessicary for checks and then the eventual implementation of functional mapping (which is an a minimum a future release tasks if not ideally now)

Plot:

that was the original implementation... I think it is possible to do either but the motivation w/ this approach was to make checks easier (although idk by how much)

This is absolutely true... see SLAM plotting for an example... idk either way...

subsref:

  • [ ] the helper function getKeyIndices - does that do the same thing as a central helper function in memZono?... i.e., could we remove it and replace it with a call to something else?

It is possible to reduce some of it (or make it a method or static function) but it is not currently replicated in full

SLAM:

  • [ ] how is this file in the examples directory related to the file in the @memZono directory?

Unclear... I modified from what @JChenUTD had so I'm assuming that one is a duplicate... which should we keep?

memZono:

  • [ ] Do we need the issym and isnumeric for this release? debatable... this is a fairly standard redefinition... along w/ size()
  • [ ] What is needed to make vertcat efficient? (and sum, all)... the warning is not ideal.

We can eliminate the warning... this would require identifying all the shared dims/factors/cons between each combination and doing them in one operation... a bunch of combinatorics and not explicitly defined

Unsure of these requests:

  • [ ] TODO on line 262?
  • [ ] Line 291 - this returns keys not creates keys....