composablesys / collabs

Collabs library monorepo

Home Page:https://collabs.readthedocs.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CNumber issues

mweidner037 opened this issue · comments

  • CNumber is not actually eventually consistent if you use non-integers, due to floating point non-commutativity/associativity. Is there a way around this?
  • If possible, reduce theoretical memory usage. Currently it grows without bound due to multiple semidirect product history, and it's not resettable.
  • Multiplication by a negative number x causes two events, corresponding to mult by |x| and mult by -1. These should be combined into one event with argument x.

I've moved CNumber to "experimental"; polishing is low priority.