Commit graph

464 commits

Author SHA1 Message Date
Sergiu Ivanov
6560dcbe6c networks: Move booleanize-state before its own test case. 2020-11-21 23:15:17 +01:00
Sergiu Ivanov
a654ac5896 network: Remove make-network-from-forms. 2020-11-21 23:13:50 +01:00
Sergiu Ivanov
004e24d83c README: Remove the TODO item about the interaction graphs. 2020-11-21 23:04:14 +01:00
Sergiu Ivanov
a3ac1c7fcd networks: Include domains into the network.
This change is breaking.  The following commits will progressively fix
the whole network module.
2020-11-21 22:53:45 +01:00
Sergiu Ivanov
f1a1123cc4 networks: Make it possible to skip expensive test cases.
At the moment, this is particularly for skipping the tests
constructing the interaction graphs.
2020-11-21 00:53:11 +01:00
Sergiu Ivanov
097c5a7f09 example: Update the presentation of the functions concerning the interaction graphs. 2020-11-19 23:48:50 +01:00
Sergiu Ivanov
fe0fbc3ed0 networks: Add build-signed-interaction-graph/form. 2020-11-19 00:22:01 +01:00
Sergiu Ivanov
0345cd3648 networks: Add build-interaction-graph/form. 2020-11-19 00:14:54 +01:00
Sergiu Ivanov
8e100c2e8b networks: Add build-signed-interaction-graph. 2020-11-18 01:11:37 +01:00
Sergiu Ivanov
0313d81c25 network: Add another self-loop test for get-interaction-sign. 2020-11-18 01:08:40 +01:00
Sergiu Ivanov
c55113f27e network: Bug fix in get-interaction-sign. 2020-11-18 00:46:55 +01:00
Sergiu Ivanov
195d71ed4e networks: Remove interaction? from the tests for get-interaction-sign. 2020-11-18 00:29:45 +01:00
Sergiu Ivanov
a8adc9fb57 README: Add a new TODO item for splitting network into two models. 2020-11-18 00:19:53 +01:00
Sergiu Ivanov
af8428d275 network,build-interaction-graph: Use in-list. 2020-11-18 00:13:00 +01:00
Sergiu Ivanov
d190f76fdf networks: Add build-interaction-graph. 2020-11-18 00:09:15 +01:00
Sergiu Ivanov
ff9654e5c6 network: Add get-interaction-sign. 2020-11-17 23:38:34 +01:00
Sergiu Ivanov
bfc48ff453 networks: Slightly optimize interaction?. 2020-11-15 00:02:44 +01:00
Sergiu Ivanov
8a1f4c682e networks: Add interaction?. 2020-11-14 23:15:39 +01:00
Sergiu Ivanov
d24dadd4cd example: Stage all the figures. 2020-11-12 22:56:53 +01:00
Sergiu Ivanov
ce0925e41e networks: Remove the old functions for building interaction graphs.
These functions mix interaction graphs derived from the expressions
defining the network with deriving the interactions from the dynamics,
which does not always yield the same result.  Also, some functions
only worked for Boolean networks, including get-interaction-sign.
Additionally, these functions are among the first ones I wrote in dds,
so there are a couple of things which can be written in a better way.
2020-11-12 22:54:04 +01:00
Sergiu Ivanov
70de0ec718 README: Add the milestone about the domains. 2020-11-12 17:22:43 +01:00
Sergiu Ivanov
a8f4850139 README: Expand the milestone about interaction graphs. 2020-11-12 17:22:17 +01:00
Sergiu Ivanov
99c74ba659 README: Expand the Scribble milestone to types and include more details. 2020-11-12 17:08:00 +01:00
Sergiu Ivanov
7de4c5ef71 README: Add the Roadmap. 2020-11-12 16:40:24 +01:00
Sergiu Ivanov
60be01d979 networks: Fix and simplify the comment of Inferring interaction graphs. 2020-11-12 01:11:15 +01:00
Sergiu Ivanov
5ece1f6c88 networks: list-interactions → list-syntactic-interactions. 2020-11-12 01:09:18 +01:00
Sergiu Ivanov
681ed0e732 networks: Simplify and fix the comment of update. 2020-11-12 01:08:10 +01:00
Sergiu Ivanov
88caecb98a networks: Properly export dynamics. 2020-11-12 01:07:41 +01:00
Sergiu Ivanov
6d77052ed6 network: Explain why a network does not include the domains. 2020-11-12 01:05:27 +01:00
Sergiu Ivanov
5fd1e5cb5b Revert "BREAKING: Make domains part of the network."
This reverts commit f414ae8966.
2020-11-12 01:03:48 +01:00
Sergiu Ivanov
f414ae8966 BREAKING: Make domains part of the network.
I always keep bringing domains about for my network, which complicates
things a lot.  This commit packages the domains within the network,
which will break a lot of stuff :-) The following commits will fix it all.
2020-11-12 00:58:58 +01:00
Sergiu Ivanov
cde6ee30fa networks: build-interaction-graph → build-syntactic-interaction-graph.
The interaction graph is *not* usually defined in this way.
2020-11-11 15:51:24 +01:00
Sergiu Ivanov
af581f91df example: Illustrate build-reduced-state-graph. 2020-11-11 00:37:12 +01:00
Sergiu Ivanov
3b8ce5eb84 rs: Add pretty-print-reduced-state-graph. 2020-11-11 00:36:49 +01:00
Sergiu Ivanov
ce0d5023bf rs: Add build-reduced-state-graph. 2020-11-10 09:42:50 +01:00
Sergiu Ivanov
4f3eef0ba3 rs: Fix the comment of build-interactive-process-graph.
It doesn't pad the context sequence with empty contexts any more.
2020-11-09 23:24:43 +01:00
Sergiu Ivanov
dbbfc74eaf rs: Don't implicitly complete all context sequences with empty contexts. 2020-11-09 23:13:24 +01:00
Sergiu Ivanov
2b60b23bf1 networks: Add group-truth-table-by-nai. 2020-11-08 23:31:11 +01:00
Sergiu Ivanov
59c7108510 networks: Add and illustrate sbn-interaction-graph. 2020-11-08 22:56:46 +01:00
Sergiu Ivanov
bc9a2bd5f8 networks: Add and illustrate pretty-print-tbn-interaction-graph. 2020-11-08 22:30:29 +01:00
Sergiu Ivanov
7af1bb8d79 networks: Add tbn-interaction-graph and explain in example. 2020-11-08 20:29:00 +01:00
Sergiu Ivanov
000c2eeba7 networks: Fix the test for print-org-sbn. 2020-11-05 23:23:48 +01:00
Sergiu Ivanov
a7a1ad49a1 example: Illustrate printing TBN and SBN to Org tables. 2020-11-04 00:07:08 +01:00
Sergiu Ivanov
79d3ab1ea6 networks: Add print-org-sbn. 2020-11-04 00:06:48 +01:00
Sergiu Ivanov
ed44d3666c utils: Streamline multi-split-at. 2020-11-03 23:58:26 +01:00
Sergiu Ivanov
c4a5327b4b networks: Fix the tests for print-org-tbn. 2020-11-02 23:05:05 +01:00
Sergiu Ivanov
af5a9d07a9 networks: Add print-org-tbn. 2020-11-02 17:58:45 +01:00
Sergiu Ivanov
0edda89642 networks: Add compact-tbn. 2020-11-02 00:08:49 +01:00
Sergiu Ivanov
722b45d098 utils: Remove hash-filter.
Use for/hash with #:when or #:unless instead.
2020-11-01 23:43:23 +01:00
Sergiu Ivanov
2a0cfb4dcc network,compact-tbf: Use for/hash instead of hash-filter. 2020-11-01 23:42:51 +01:00