Skip to content
Snippets Groups Projects
Commit 96310b58 authored by ioa's avatar ioa
Browse files

Added information on the latest function: graph-descendants

parent 737700fb
Branches
No related tags found
No related merge requests found
......@@ -45,12 +45,18 @@ where "style" should be either "numbers" to get the numbers of the nodes in the
### Drawing a random diagram of a given size
You can also draw the diagram of a pseudo-random collection of forms, of a given size, as follows (for size 6):
You can also draw the implication diagram of a pseudo-random collection of forms, of a given size, as follows (for size 6):
`(random-graph 6 "filename" "style")`
where "style", as above, should be either "numbers" or "fancy".
### Drawing the consequences of a list of forms
Similarly, you can draw the implication diagram of a list of forms (e.g. of `'(8 85)`) as follows:
`(graph-descendants '(8 85) "filename" "style")`
### Output format
The default output is pdf but you can output any filetype supported by dot (png, svg, ps,...) with, for example:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment