FDB Applet
⬤ Vertex
→ Arrow
↖ Select
✕ Clear
Add Vertex
▶ Analyse
Build
Relations
Results
⬤ Vertex
— click canvas to place
→ Arrow
— click source then target
↖ Select
— click to edit or drag
Then click
▶ Analyse
Vertex
Label
Delete
Zero Relations
+ zero relation
Space-separated labels e.g.
a b
means ab=0
Commutativity Relations
+ commutativity
e.g.
a b
=
c d
means ab=cd
Load the algebra first.