Ioannis Filippidis
Ioannis Filippidis
## Details of function representation - Memory is an interesting point to raise, because it touches upon existential temporal quantification The definition of synthesis can ask for either a fixed...
There are at least two kinds of tasks that I expect to be able to partition the work into: 1. ensuring that no useful functionality is forgotten during reimplementation (a...
Relevant to #18.
Relevant to [PEP 4](https://www.python.org/dev/peps/pep-0004/) and [PEP 387](https://www.python.org/dev/peps/pep-0387/).
Are "propositions with empty interior" polytopes of dimension less than the ambient space? If this issue refers only to polytopes, and therefore concerns unit tests for the package `polytope`, then...
Strategies may be Moore or Mealy, so the title was updated to be generic. The difference will be in the input arguments, with Moore strategies a special case of Mealy...
My original intent was mainly to export/import from `python`, and did not reject `pickle`, but was not sure whether it is the appropriate solution. Later discussions about more general export...
For completeness: I didn't use pickle in the past, one concern being that not everything is pickleable. Trying out with some data containing `AbstractPwa` and `MealyMachine`, I get: ``` pickle.PicklingError:...
Fixed by d0b9e9a26372f1872527ec0b5f94e38ef4ce62f9 (there was a single `lambda` in all of `interfaces.gr1` - wasn't hard to spot).
The package [`msgpack-numpy`](https://github.com/lebedov/msgpack-numpy) may be relevant to this issue.