How to Edit this Manual...
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 <!--END--> 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. If you are only interested in an edit confined to a human territory, you don't need to read any further.
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:
- They search the text of a manual page for patterns of the form <!--$robot instructions$-->old robotic response<!--END-->.
- They study the robot instructions and compute something.
- They print 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 Robot Land, no human edits to "END".
- Robots never modify their own instructions or venture to human territories.
Human Ventures into Robot Lands
It is not a good idea for a human to modify a robotic response, as these changes will be overwritten the next time a robot roams the page. Better, humans can control the robots.
- To create a new robot territory, put the pattern <!--$robot instructions$--><!--END--> in the desired place. The next time a robot visits it will follow the instructions and place its response between the $--> and <!--END--> tags.
- To remove an existing robot territory, simply remove everything from the <!--$ tag to the <!--END-->.
- To modify an existing robot territory, change the content of the robot instructions, between the <!--$ tag and the $--> tag. The next time a robot visits it will follow the new instructions.
Giving Robots Instructions
Currently robots understand the following kinds of instructions:
<!--$instructions$--> | Description | Example | Formatted Output |
---|---|---|---|
<!--$$<<KnotTheory`$$--> | Simulate In[1] of a KnotTheory` session.
|
<!--$$<<KnotTheory`$$--> |
Calling for Robotic Action
Teaching Robots New Tricks
At the moment robots do not ignore their instructions even if they don't understand them, so there can be only one robot master teaching robots what to do, or else chaos may ensue. If you want to build a better robot or extend Dror's, do it in your sandbox but don't let it roam on public pages. When the new or extended robot is fully trained, and provided its actions extends Dror's robot, send it to Dror and Dror will upgrade his robot.