User Tools

Site Tools


release

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
release [2020/11/18 19:22] – [How to use the tool] conanrelease [2020/11/18 19:23] conan
Line 61: Line 61:
 <code java> <code java>
 D{3,0} [F (s=2 | s=3)] D{3,0} [F (s=2 | s=3)]
 +D{4,0} [F (s=2 | s=3)]
 </code> </code>
  
 +The second property with $\epsilon = 4$ is the only one to be satisfied. 
  
release.txt · Last modified: 2020/11/18 19:30 by conan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki