Editing Forum (section)

== Abstract structure ==
The Forum has the mathematical structure of a weighted directed acyclic graph (WDAG). The nodes of the graph are the posts, and the edges are the references. The Forum is acyclic since older posts cannot reference newer posts. The nodes are weighted by REP values.  The edges are weighted by the strength of the references.  [[File:Graph_Terminology.png|center|Fig. 2: Graph definitions|thumb|404x404px]]

Thus the Forum WDAG is both an edge-weighted and node-weighted graph. The edge weights are static. The node weights are dynamic, since the node REP values change as new posts reference them or their descendants.

=== Posts ===
Posts are basic entries in the database that is the Forum. The posts contain 1. text meant to be human readable, 2. smart contracting language, 3. a unique NFT associated with the post which defines the author of the post as the owner and the REP value for the post. 

The REP value of <code>postK</code> is denoted <math>R_K\geq0</math> which is a dynamic variable which changes as the post is referenced by future posts.

??Details

==== Datatype ====
??Details

=== References ===
''Main page: [[Forum reference mechanisms]]''

References are weighted <math display="inline">r_{K,J}\in [-1,1]</math>. A positive reference <math display="inline">r_{K,J}>0</math> indicates <code>postK</code> donates the fraction <math>r_{K,J}</math> of its value <math>R_K</math> to increase the REP value of <code>postJ</code> by the amount <math>r_{K,J}*R_K</math>. A negative reference <math display="inline">r_{K,J}<0</math> means <code>postK</code> leaches the fraction <math>r_{K,J}</math> of the value <math>R_J</math> from the REP value of <code>postJ</code>.\

==== Datatype ====
??Details