How to Edit this Manual...: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 3: Line 3:
=== The Basic Rules ===
=== The Basic Rules ===


Knot Atlas manual pages are editable and are edited by both humans and robots (dedicated computer programs). Both sides have to be careful not to step into each other's territory. Under the current treaties, robots are responsible for simulated [http://www.wolfram.com Mathematica] output and for certain numerical values that are computed by <code>KnotTheory`</code>. Their territory always lies between {{Robots Left Delimiter}} and <tt><nowiki><!--END--></nowiki></tt> tags. Humans are responsible for everything else, including brief ventures into the robot's territories to tell the robots what to do.
Knot Atlas manual pages are editable and are edited by both humans and robots (dedicated computer programs). Both sides have to be careful not to step into each other's territory. Under the current treaties, robots are responsible for simulated [http://www.wolfram.com Mathematica] output and for certain numerical values that are computed by <code>KnotTheory`</code>. Their territory always lies between {{Robots Left Delimiter}} and {{Robot Right Delimiter}} tags. Humans are responsible for everything else, including brief ventures into the robot's territories to tell the robots what to do.


=== Human Edits ===
=== Human Edits ===

Revision as of 07:23, 27 August 2005


The Basic Rules

Knot Atlas manual pages are editable and are edited by both humans and robots (dedicated computer programs). Both sides have to be careful not to step into each other's territory. Under the current treaties, robots are responsible for simulated Mathematica output and for certain numerical values that are computed by KnotTheory`. Their territory always lies between <!--$ and Template:Robot Right Delimiter tags. Humans are responsible for everything else, including brief ventures into the robot's territories to tell the robots what to do.

Human Edits

To perform a human edit, simply click on the "edit" link at the top of every manual page (or indeed, at the top of almost every other wiki page) and begin editing, saving your work at the end. Be careful not to modify anything in the robots' territory, delimited by <!--$ and <!--END--> tags.

What Robots Do

Before a human can tell a robot what to do, (s)he must understand the simple way in which robots work. Robots do just one simple thing, and only when instructed to it. Here's how they work:

  1. They search the text of a manual page for patterns of the form <!--$robot instructions$-->old robotic response<!--END-->.
  2. They study the robot instructions and compute something. printing the output, i.e. the new robotic response in place of the old robotic response. Just to be sure that humans don't modify the new robotic response, robots precede it with a short human do not enter phrase. Dror's robot's favourite is .

Human Ventures into Robot Lands