Heegaard Floer Knot Homology: Difference between revisions
From Knot Atlas
Jump to navigationJump to search
(New page: {{Manual TOC Sidebar}} {{Startup Note}} <!--$$ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]$$--> <!--Robot Land, no human edits to "END"--> <!--END--> <!--...) |
DrorsRobot (talk | contribs) No edit summary |
||
| Line 5: | Line 5: | ||
<!--$$ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]$$--> |
<!--$$ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]$$--> |
||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{In| |
|||
n = 1 | |
|||
in = <nowiki>ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
<!--$$?HFK$$--> |
<!--$$?HFK$$--> |
||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{HelpAndAbout| |
|||
n = 2 | |
|||
n1 = 3 | |
|||
in = <nowiki>HFK</nowiki> | |
|||
out= <nowiki>HFK[K][q,t] returns the Poincare polynomial of the Heegaard-Floer Knot Homology of the knot K, in the Alexander variable q and the Maslov variable t.</nowiki> | |
|||
about= <nowiki>The Heegaard-Floer Knot Homology program was written by Jean-Marie Droz in 2007 at the University of Zurich.</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
<!--$$hfk = HFK[K = Knot[7, 7]][q, t]$$--> |
<!--$$hfk = HFK[K = Knot[7, 7]][q, t]$$--> |
||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{InOut| |
|||
n = 4 | |
|||
in = <nowiki>hfk = HFK[K = Knot[7, 7]][q, t]</nowiki> | |
|||
out= <nowiki> 1 5 2 2 |
|||
9 + ----- + --- + 5 q t + q t |
|||
2 2 q t |
|||
q t</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
<!--$${hfk /. t -> -1, Alexander[K][q]}$$--> |
<!--$${hfk /. t -> -1, Alexander[K][q]}$$--> |
||
<!--Robot Land, no human edits to "END"--> |
<!--Robot Land, no human edits to "END"--> |
||
{{InOut| |
|||
n = 5 | |
|||
in = <nowiki>{hfk /. t -> -1, Alexander[K][q]}</nowiki> | |
|||
out= <nowiki> -2 5 2 -2 5 2 |
|||
{9 + q - - - 5 q + q , 9 + q - - - 5 q + q } |
|||
q q</nowiki>}} |
|||
<!--END--> |
<!--END--> |
||
Revision as of 19:23, 2 December 2007
(For In[1] see Setup)
In[1]:=
|
ToExpression[Import["http://katlas.org/wiki/InterfaceToDroz.m&action=raw"]]
|
|
| ||||||||
In[4]:=
|
hfk = HFK[K = Knot[7, 7]][q, t]
|
Out[4]=
|
1 5 2 2
9 + ----- + --- + 5 q t + q t
2 2 q t
q t
|
In[5]:=
|
{hfk /. t -> -1, Alexander[K][q]}
|
Out[5]=
|
-2 5 2 -2 5 2
{9 + q - - - 5 q + q , 9 + q - - - 5 q + q }
q q
|
