Commit graph

497 commits

Author SHA1 Message Date
Sergiu Ivanov
435ee34acb utils: Refactor update-graph.
Make update-graph follow a little bit more the guidelines here:
https://docs.racket-lang.org/style/Choosing_the_Right_Construct.html
2020-03-20 21:42:10 +01:00
Sergiu Ivanov
519f3759ea networks,enumerate-boolean-tables: Use boolean-power/stream. 2020-03-20 16:43:14 +01:00
Sergiu Ivanov
59d5b040f4 networks: Remove n from boolean-power-n and boolean-power-n/stream. 2020-03-20 16:41:26 +01:00
Sergiu Ivanov
e89163d044 networks: Add boolean-power-n/stream. 2020-03-20 16:40:15 +01:00
Sergiu Ivanov
36c26d2a1f networks: Export and test boolean-power-n. 2020-03-20 16:38:32 +01:00
Sergiu Ivanov
34fbc516e2 utils: Add cartesian-product/stream. 2020-03-20 16:07:34 +01:00
Sergiu Ivanov
9502a9e981 utils: Add in-random. 2020-03-20 01:19:14 +01:00
Sergiu Ivanov
f09f24d2dd networks: Use streams for enumerating Boolean functions. 2020-03-20 00:15:51 +01:00
Sergiu Ivanov
2c79ca3781 networks: Add enumerate-boolean-tables, enumerate-boolean-functions, and enumerate-boolean-functions/list. 2020-03-19 23:40:08 +01:00
Sergiu Ivanov
80ef41eaa4 networks,table->function: Store the function in a local binding.
This avoids reconstructing the function from the table every time the
lambda is called.
2020-03-19 23:17:23 +01:00
Sergiu Ivanov
9bcb5681ce networks: Add table->function and table->function/list. 2020-03-18 21:40:09 +01:00
Sergiu Ivanov
572bef8a7b networks: Add tabulate and illustrate it in example. 2020-03-15 16:12:35 +01:00
Sergiu Ivanov
a8ee7cc523 utils: Add procedure-fixed-arity?. 2020-03-15 16:12:05 +01:00
Sergiu Ivanov
f005d77516 example: Explain setting network variables to constants. 2020-03-04 23:51:11 +01:00
Sergiu Ivanov
07e1a73b50 networks: Add read-org-network-make-asyn and read-org-network-make-syn.
Also add some shortcuts.
2020-03-04 18:54:36 +01:00
Sergiu Ivanov
f8dc65df0a example: Promote Reaction Systems to top-level heading. 2020-03-04 18:21:20 +01:00
Sergiu Ivanov
0cf05acb21 Use a headline instead of #+TITLE:
Gitea seems to not handle Org-mode options either.
2020-03-03 17:50:26 +01:00
Sergiu Ivanov
20b629443a Remove Emacs Local Variables from README.org.
Gitea doesn't know not to render :noexport: tags (which is fine).
2020-03-03 17:48:21 +01:00
Sergiu Ivanov
c5dda2e6c7 Add the GNU GPL licence file. 2020-03-03 14:47:15 +01:00
Sergiu Ivanov
19e831b1a9 REAMDE.org: Add. 2020-03-03 14:44:55 +01:00
Sergiu Ivanov
2437dec620 example: Explain why states for reaction systems include full context sequences. 2020-03-03 01:03:33 +01:00
Sergiu Ivanov
cbdfdabe7a example: Illustrate building interactive processes. 2020-03-03 01:01:21 +01:00
Sergiu Ivanov
0d73b33ff3 example: Some updates to the state graph of the reaction system. 2020-03-03 01:01:00 +01:00
Sergiu Ivanov
d958533d2c rs: Make build-interactive-process run for one extra step. 2020-03-03 01:00:21 +01:00
Sergiu Ivanov
9ce3040240 rs: Add build-interactive-process. 2020-03-03 00:51:53 +01:00
Sergiu Ivanov
9cfab2e45d rs: build-interactive-process -> build-interactive-process-graph. 2020-03-03 00:27:52 +01:00
Sergiu Ivanov
fcb4474858 rs: Explain why we need to print the whole context sequence. 2020-03-03 00:26:45 +01:00
Sergiu Ivanov
227dfff14a example: Illustrate state graphs for reaction systems. 2020-03-03 00:25:26 +01:00
Sergiu Ivanov
cf99c8acf3 rs: Add pretty-print-state and use it in update-graph. 2020-03-03 00:25:06 +01:00
Sergiu Ivanov
f22d42f98c rs: Add pretty-print-state-graph. 2020-03-03 00:12:45 +01:00
Sergiu Ivanov
a3967d8bf8 utils: Move pretty-print-modalities as pretty-print-set-sets from networks. 2020-03-02 23:59:37 +01:00
Sergiu Ivanov
de9b703b44 rs: Add build-interactive-process. 2020-03-02 23:50:32 +01:00
Sergiu Ivanov
d753409a2f rs,state: Explicitly state what happens when there are no more contexts. 2020-03-02 23:42:03 +01:00
Sergiu Ivanov
b5f5eb55fc utils: Move drop-first-last from rs and add list-sets->list-strings. 2020-03-02 23:39:27 +01:00
Sergiu Ivanov
c0d36a34a7 rs: Add read-ctx and illustrate it in example.org. 2020-03-02 23:11:26 +01:00
Sergiu Ivanov
171147ad5e rs: Add read-context-sequence. 2020-03-02 23:03:10 +01:00
Sergiu Ivanov
42b7dce359 utils: Move read-symbol-list from rs. 2020-03-02 23:00:46 +01:00
Sergiu Ivanov
dbfa560081 utils: read-org-table -> read-org-sexp. 2020-03-02 18:42:54 +01:00
Sergiu Ivanov
a9fc272c13 example,munch-sexp: Rename the parameter tab -> sexp. 2020-03-02 18:38:39 +01:00
Sergiu Ivanov
e07c5c239c example: munch-table -> munch-sexp.
This code block can be used to prepare any sexp Org-mode produces.
2020-03-02 18:36:26 +01:00
Sergiu Ivanov
0bceb820df rs: Add the dynamics. 2020-03-02 18:32:11 +01:00
Sergiu Ivanov
868988c966 rs,union-products: Return an empty set when no reaction names are given. 2020-03-02 18:31:02 +01:00
Sergiu Ivanov
6427af17c8 example: Minor image change. 2020-03-02 18:20:24 +01:00
Sergiu Ivanov
141080d1c6 generic: Use collect-by-key/sets to collect the labels for state graphs. 2020-03-02 18:18:23 +01:00
Sergiu Ivanov
29d8e152d9 utils: ht-values:list->set -> ht-values/list->set 2020-03-02 18:17:05 +01:00
Sergiu Ivanov
45db731859 utils: Make the contract of collect-by-key more specific. 2020-03-02 18:16:25 +01:00
Sergiu Ivanov
740918a542 utils: Add collect-by-key/sets. 2020-03-02 18:15:41 +01:00
Sergiu Ivanov
64ca8f4bf1 utils: Add ht-values:list->set. 2020-03-02 18:04:59 +01:00
Sergiu Ivanov
ac7ce12a9d networks: Remove a custom definition of dds-step-one.
This method now falls back to dds-step-one-annotated.
2020-03-02 12:12:57 +01:00
Sergiu Ivanov
736f210c41 generic: Make dds-step-one fall back to dds-step-one-annotated. 2020-03-02 12:11:09 +01:00