Sergiu Ivanov
|
f9191287e1
|
networks: Make update accept any kind of sets of variables.
|
2020-02-23 12:10:27 +01:00 |
|
Sergiu Ivanov
|
cbf949ba5a
|
network: Use domain-mapping/c in the contract of make-same-domains.
|
2020-02-23 11:51:59 +01:00 |
|
Sergiu Ivanov
|
dedfddfe55
|
networks: Add make-dynamics-from-func, make-asyn-dynamics, make-syn-dynamics.
|
2020-02-23 11:42:01 +01:00 |
|
Sergiu Ivanov
|
c9cbb1c951
|
networks: Add make-syn and make-asyn.
|
2020-02-23 11:25:19 +01:00 |
|
Sergiu Ivanov
|
2fa89f05b9
|
networks: Start section Dynamics of networks.
|
2020-02-23 11:10:35 +01:00 |
|
Sergiu Ivanov
|
9f4fae1437
|
example.org: Illustrate signed interaction graphs.
|
2020-02-23 10:14:32 +01:00 |
|
Sergiu Ivanov
|
2d0e688425
|
networks: Add build-boolean-signed-interaction-graph.
|
2020-02-23 10:00:48 +01:00 |
|
Sergiu Ivanov
|
b04d897c67
|
Remove extra comments at the end of networks.
|
2020-02-23 09:26:07 +01:00 |
|
Sergiu Ivanov
|
04bc619b7d
|
network-tests: Compare hash tables directly.
These comparisons wouldn't work before because I was using mutable
hashes.
|
2020-02-23 09:25:08 +01:00 |
|
Sergiu Ivanov
|
4a6888ddde
|
networks: Rewrite update for immutable hashes.
|
2020-02-23 09:19:45 +01:00 |
|
Sergiu Ivanov
|
1492c33e1a
|
networks: Remove build-all-states-same-domain.
This is function is not really necessary, since I have
make-same-domains.
|
2020-02-23 09:13:03 +01:00 |
|
Sergiu Ivanov
|
245b22316e
|
networks: Add and use domain-mapping/c.
|
2020-02-23 09:12:01 +01:00 |
|
Sergiu Ivanov
|
bdbbae6eb6
|
networks: Make build-all-state take a hash as the domain mapping.
It used to take a list of pairs.
|
2020-02-23 09:09:43 +01:00 |
|
Sergiu Ivanov
|
5a27469dce
|
utils: Slightly streamline extract-symbols with match.
|
2020-02-23 09:00:54 +01:00 |
|
Sergiu Ivanov
|
9eca7bf449
|
Prefer for, for/list, and for/hash for iterating over hashes.
|
2020-02-23 08:57:50 +01:00 |
|
Sergiu Ivanov
|
5fd1b95d5c
|
networks: Fix the comments for make-state and make-network-from-functions.
|
2020-02-23 08:47:16 +01:00 |
|
Sergiu Ivanov
|
daf2e079ae
|
networks: Add build-signed-interaction-graph.
|
2020-02-23 01:00:09 +01:00 |
|
Sergiu Ivanov
|
798178852c
|
networks-test: Use make-boolean-domains.
|
2020-02-23 00:55:34 +01:00 |
|
Sergiu Ivanov
|
251a7dcf23
|
networks: make-same-domain-mapping -> make-same-domains, make-boolean-domain-mapping -> make-boolean-domains
|
2020-02-23 00:15:18 +01:00 |
|
Sergiu Ivanov
|
183160da6f
|
networks: Add make-same-domain-mapping and make-boolean-domain-mapping.
|
2020-02-23 00:13:36 +01:00 |
|
Sergiu Ivanov
|
cf676028d3
|
networks, update: Don't talk about Boolean networks.
|
2020-02-23 00:05:04 +01:00 |
|
Sergiu Ivanov
|
fbef580a01
|
networks: Add get-interaction-sign.
|
2020-02-23 00:04:19 +01:00 |
|
Sergiu Ivanov
|
c2c87d0a7d
|
network: Create immutable hashes by default.
|
2020-02-22 23:22:43 +01:00 |
|
Sergiu Ivanov
|
ac8e63c5f4
|
networks: Make the state an immutable hash table by default.
|
2020-02-22 23:20:10 +01:00 |
|
Sergiu Ivanov
|
25a88c820a
|
networks: Add build-all-states-same-domain.
|
2020-02-22 22:41:56 +01:00 |
|
Sergiu Ivanov
|
da3f25922a
|
networks: Add build-all-states.
|
2020-02-22 22:31:05 +01:00 |
|
Sergiu Ivanov
|
511aa60c31
|
Show off some examples of Boolean networks.
|
2020-02-22 21:01:06 +01:00 |
|
Sergiu Ivanov
|
3ff1b645d5
|
utils: Add dotit.
|
2020-02-22 21:00:34 +01:00 |
|
Sergiu Ivanov
|
8357f70304
|
utils: Generalise the comment to the section on interaction with Org-mode.
|
2020-02-22 20:53:13 +01:00 |
|
Sergiu Ivanov
|
e8af2055e6
|
Add example.org and an accompanying picture.
|
2020-02-22 20:34:24 +01:00 |
|
Sergiu Ivanov
|
576f204846
|
utils: Add unorg.
|
2020-02-22 19:48:39 +01:00 |
|
Sergiu Ivanov
|
ea77374933
|
utils: Make unstringify-pairs return a hash map instead of a list of pairs.
Adapt the test code accordingly.
|
2020-02-22 19:20:45 +01:00 |
|
Sergiu Ivanov
|
286a75c8ba
|
utils: Add read-org-variable-mapping.
|
2020-02-22 19:15:39 +01:00 |
|
Sergiu Ivanov
|
eacd2a07a0
|
utils: Also generalise the contract of unstringify-pairs.
|
2020-02-22 19:14:46 +01:00 |
|
Sergiu Ivanov
|
a2b8df2a67
|
utils: Generalise unstringify-pairs to accept both proper and improper pairs.
|
2020-02-22 18:58:19 +01:00 |
|
Sergiu Ivanov
|
5b4d39a1b0
|
utils: Add unstringify-pairs.
|
2020-02-22 12:27:28 +01:00 |
|
Sergiu Ivanov
|
fed1f65abd
|
utils: Add read-org-table.
|
2020-02-22 12:18:37 +01:00 |
|
Sergiu Ivanov
|
7d52533f74
|
utils: variable-mapping-stringify -> stringify-variable-mapping.
|
2020-02-22 12:12:57 +01:00 |
|
Sergiu Ivanov
|
1eb48bc5e2
|
utils: Add string->any.
|
2020-02-22 12:11:37 +01:00 |
|
Sergiu Ivanov
|
e37aeca9e7
|
Generalise the comment to Variable mapping and Org-mode.
|
2020-02-22 12:08:39 +01:00 |
|
Sergiu Ivanov
|
3a3c0e2d4d
|
utils: Add sgfy.
|
2020-02-22 10:40:40 +01:00 |
|
Sergiu Ivanov
|
8dfa11b17c
|
networks: Say contracts are contract?.
|
2020-02-22 10:37:37 +01:00 |
|
Sergiu Ivanov
|
5ee517ec2d
|
utils: Add a separate section for contracts in provide.
|
2020-02-22 10:36:03 +01:00 |
|
Sergiu Ivanov
|
2dd9e9e575
|
utils: Use hash/c instead of hash-pred.
Also remove hash-pred.
|
2020-02-22 10:35:01 +01:00 |
|
Sergiu Ivanov
|
184727f5b4
|
utils: Add variable-mapping-stringify and string-variable-mapping?.
|
2020-02-22 10:29:34 +01:00 |
|
Sergiu Ivanov
|
7f6c8703a9
|
utils: Add any->string.
|
2020-02-21 18:01:08 +01:00 |
|
Sergiu Ivanov
|
038e543eff
|
networks: Add build-interaction-graph.
|
2020-02-20 15:56:48 +01:00 |
|
Sergiu Ivanov
|
cd714773be
|
lambda -> λ
|
2020-02-20 15:36:29 +01:00 |
|
Sergiu Ivanov
|
75bf044fd8
|
networks: Add list-interactions.
|
2020-02-20 15:17:32 +01:00 |
|
Sergiu Ivanov
|
71f979808c
|
hash-pred: Generalise and simplify.
|
2020-02-20 14:47:06 +01:00 |
|