Commit ddb991c3 authored by ioa's avatar ioa

Added a list of forms and their statements, removed ancestors/descendants...

Added a list of forms and their statements, removed ancestors/descendants graphing (resulting graphs way too large).
parent e074a50d
<h1> Choiceless Grapher </h1>
<h2> Diagram creator for consequences of the axiom of choice (AC). </h2>
<h2>
Diagram creator for consequences of the axiom of choice (AC).
</h2>
<p>
Hover over forms and buttons for more details.<br/>
<strong>Enter space separated integers:</strong>
<strong>Enter space separated integers</strong> to get the
implication diagram between the statement with these names.
You can find a list of names and statements
<a href="/names-and-statements">here</a>.
</p>
<div class="formBox">
......@@ -14,11 +21,16 @@ Hover over forms and buttons for more details.<br/>
<input class="input" type="text" name="names" required autofocus
title="Input space separated HR numbers as integers" placeholder="Enter space separated HR numbers as integers"
pattern="(\d{0,3}[ ]+)*\d{0,3}[ ]*"
oninvalid="this.setCustomValidity('Only enter space separated integers that represent HR. form numbers.')" oninput="setCustomValidity('')" style="width:100%"><br/>
oninvalid="this.setCustomValidity('Only enter space separated integers that represent HR. form numbers.')" oninput="setCustomValidity('')" style="width:100%;max-width: 460px;"><br/>
<br/>
Label style:
<input type="radio" title="Full statements in LaTeX" name="label-style" value="fancy" required checked/> fancy
<input type="radio"
title="Full statements in LaTeX"
name="label-style"
value="fancy"
required
checked/> fancy
<input type="radio" title="HR. form numbers" name="label-style" value="numbers"/> numbers
<br/>
......@@ -26,11 +38,6 @@ Label style:
<input type="checkbox" title="Top node is HR.1, the axiom of choice. Bottom node is HR.0, 0=0. Without a top or bottom node, these diagrams may be disconnected." name="add-top-bottom" checked="checked" value="T"/> Include top and bottom node
<br/>
<input type="submit" name="descendants" value="Graph their descendants"/>
<input type="submit" name="ancestors" value="Graph their ancestors"/>
<br/>
<br/>
Be prepared to wait a few minutes for diagrams with over 50 forms, or with forms with many ancestors/descendants. <br/>
</form>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment