Advertisement
Guest User

Untitled

a guest
May 24th, 2016
59
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Python 1.59 KB | None | 0 0
  1. p,q=4,1
  2.  
  3. F1.<a1,a2,a3,a4,a5,a6,a7,a8,f> = FreeGroup()
  4. S.<t> = LaurentPolynomialRing(ZZ)
  5. G1 = F1 / [a1/a6/a1*a3, a3/a8/a3*a1, a2/a5,a4/a7,     # Wirtinger relation
  6.            a1*a2*a3*a4*f^-4,                          # lens relation
  7.            a1^-1*f*a1/f*a1/a5,
  8.            (a1*a2)^-1*f*a1*a2/a1/f*a1*a2/a6,
  9.            (a1*a2*a3*a4)^-1*f*a1*a2*a3*(a1*a2)^-1/f^-1*a1*a2*a3*a4/a7,
  10.            (a1*a2*a3*a4)^-1*f*a1*a2*a3*a4*(a1*a2*a3)^-1/f*a1*a2*a3*a4/a8]
  11. alex_matrix=Ge.alexander_matrix([t,t,t,t,t,t,t,t,1])
  12. alex_poly=gcd(ae.minors(8))
  13. alex_matrix
  14. print "Alexander poly:", alex_poly
  15.  
  16. OUTPUT:
  17.  
  18. [  -t^-1 + 1           0        t^-1           0           0          -1           0           0           0]
  19. [       t^-1           0   -t^-1 + 1           0           0           0           0          -1           0]
  20. [          0           1           0           0          -1           0           0           0           0]
  21. [          0           0           0           1           0           0          -1           0           0]
  22. [          1           t         t^2         t^3           0           0           0           0       4*t^4]
  23. [          1           0           0           0          -1           0           0           0    t^-1 - 1]
  24. [          0           1           0           0           0          -1           0           0 t^-2 - t^-1]
  25. [          0           0        t^-1   -t^-1 + 1           0           0          -1           0 t^-4 + t^-3]
  26. [          0           0           0           1           0           0           0          -1 t^-4 - t^-3]
  27. Alexander poly: t^-6
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement