Magma V2.19-8 Wed Aug 21 2013 00:51:23 on localhost [Seed = 1048062807] Type ? for help. Type -D to quit. Loading file "L11a368__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a368 geometric_solution 11.94659876 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 0321 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660845170589 0.732262556736 0 0 4 4 0132 0321 0213 0132 1 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320764383465 0.752640453962 5 0 3 6 0132 0132 0321 0132 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.111816968564 0.906622910346 7 8 2 0 0132 0132 0321 0132 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.181465887563 0.504992454032 5 1 1 9 1023 0213 0132 0132 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660845170589 0.732262556736 2 4 7 7 0132 1023 1023 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791471994747 0.742375476988 9 8 2 10 1302 0213 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.988816763868 1.076152955441 3 9 5 5 0132 3012 1023 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675624525281 0.462240636477 11 3 6 12 0132 0132 0213 0132 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856505036102 1.172926283278 7 6 4 10 1230 2031 0132 3120 1 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 -1 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891898285279 1.665539205139 9 11 6 12 3120 0321 0132 0321 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102764554362 0.839996356147 8 12 12 10 0132 1023 0132 0321 1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.106371246201 0.706323784059 11 10 8 11 1023 0321 0132 0132 1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.106371246201 0.706323784059 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_1001_12'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1001_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_9']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_9, c_1001_0, c_1001_1, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 50354500546417618/435405151340001*c_1001_12^17 + 161626148547649732/1306215454020003*c_1001_12^16 - 548842428341937236/1306215454020003*c_1001_12^15 - 288982871422949488/435405151340001*c_1001_12^14 + 889847108213107375/1306215454020003*c_1001_12^13 + 599642519306995934/435405151340001*c_1001_12^12 - 275588946795311192/1306215454020003*c_1001_12^11 - 1468871560883114038/1306215454020003*c_1001_12^10 + 220278734154217840/1306215454020003*c_1001_12^9 - 97605066999363557/1306215454020003*c_1001_12^8 - 527952445895659501/435405151340001*c_1001_12^7 + 829214947388683301/1306215454020003*c_1001_12^6 + 2887710376191473291/1306215454020003*c_1001_12^5 - 147446240684871101/1306215454020003*c_1001_12^4 - 2316708054117166667/1306215454020003*c_1001_12^3 - 518143407682459376/1306215454020003*c_1001_12^2 + 1062581547454307402/1306215454020003*c_1001_12 + 193719293630224564/1306215454020003, c_0011_0 - 1, c_0011_10 + c_1001_12, c_0011_11 + 198248117552/95672412951*c_1001_12^17 + 668204071667/287017238853*c_1001_12^16 - 2118611821531/287017238853*c_1001_12^15 - 398088527509/31890804317*c_1001_12^14 + 3245313367895/287017238853*c_1001_12^13 + 2472494509288/95672412951*c_1001_12^12 - 477701266273/287017238853*c_1001_12^11 - 6039011838569/287017238853*c_1001_12^10 + 386621069135/287017238853*c_1001_12^9 - 296472582595/287017238853*c_1001_12^8 - 732934774426/31890804317*c_1001_12^7 + 2641366285228/287017238853*c_1001_12^6 + 12205133384029/287017238853*c_1001_12^5 + 479282988794/287017238853*c_1001_12^4 - 9596619967186/287017238853*c_1001_12^3 - 2774900218762/287017238853*c_1001_12^2 + 4371248219899/287017238853*c_1001_12 + 819206107076/287017238853, c_0011_9 + 107904128708/31890804317*c_1001_12^17 + 304358623112/95672412951*c_1001_12^16 - 1211940444304/95672412951*c_1001_12^15 - 575083391943/31890804317*c_1001_12^14 + 2062541311418/95672412951*c_1001_12^13 + 1223461749168/31890804317*c_1001_12^12 - 783025686703/95672412951*c_1001_12^11 - 3117946860215/95672412951*c_1001_12^10 + 370245477878/95672412951*c_1001_12^9 - 337095943642/95672412951*c_1001_12^8 - 1028325317781/31890804317*c_1001_12^7 + 2105819780071/95672412951*c_1001_12^6 + 6097557886075/95672412951*c_1001_12^5 - 433803544690/95672412951*c_1001_12^4 - 4981764814816/95672412951*c_1001_12^3 - 1274901862315/95672412951*c_1001_12^2 + 2288234613118/95672412951*c_1001_12 + 436461665801/95672412951, c_0101_0 + 508614272912/95672412951*c_1001_12^17 + 1577083063619/287017238853*c_1001_12^16 - 5565601323100/287017238853*c_1001_12^15 - 958605079439/31890804317*c_1001_12^14 + 8977018241303/287017238853*c_1001_12^13 + 6004321530307/95672412951*c_1001_12^12 - 2379203238712/287017238853*c_1001_12^11 - 14839594313561/287017238853*c_1001_12^10 + 1150985444246/287017238853*c_1001_12^9 - 1224553959862/287017238853*c_1001_12^8 - 1683000568215/31890804317*c_1001_12^7 + 8345005177363/287017238853*c_1001_12^6 + 28927683248548/287017238853*c_1001_12^5 - 586707448411/287017238853*c_1001_12^4 - 23238930326956/287017238853*c_1001_12^3 - 6501759883513/287017238853*c_1001_12^2 + 10459961850565/287017238853*c_1001_12 + 2182673428637/287017238853, c_0101_10 + 1, c_0101_11 - 9527893177/95672412951*c_1001_12^17 - 76112562145/287017238853*c_1001_12^16 + 55160136209/287017238853*c_1001_12^15 + 37774852495/31890804317*c_1001_12^14 + 72063101630/287017238853*c_1001_12^13 - 213044299136/95672412951*c_1001_12^12 - 441445668112/287017238853*c_1001_12^11 + 447979939909/287017238853*c_1001_12^10 + 277925807810/287017238853*c_1001_12^9 - 103030846258/287017238853*c_1001_12^8 + 47750508412/31890804317*c_1001_12^7 + 396152571577/287017238853*c_1001_12^6 - 1056455489384/287017238853*c_1001_12^5 - 814914842821/287017238853*c_1001_12^4 + 701459506211/287017238853*c_1001_12^3 + 675413044925/287017238853*c_1001_12^2 - 325984615661/287017238853*c_1001_12 - 300791315224/287017238853, c_0101_2 + 135564359376/31890804317*c_1001_12^17 + 150052461634/31890804317*c_1001_12^16 - 471948910685/31890804317*c_1001_12^15 - 774571471432/31890804317*c_1001_12^14 + 720196578910/31890804317*c_1001_12^13 + 1553465600263/31890804317*c_1001_12^12 - 118519091980/31890804317*c_1001_12^11 - 1182488250779/31890804317*c_1001_12^10 + 129658586001/31890804317*c_1001_12^9 - 106817834289/31890804317*c_1001_12^8 - 1351236288426/31890804317*c_1001_12^7 + 596114750021/31890804317*c_1001_12^6 + 2416981733788/31890804317*c_1001_12^5 + 25235234385/31890804317*c_1001_12^4 - 1879779963338/31890804317*c_1001_12^3 - 546602405712/31890804317*c_1001_12^2 + 903261501767/31890804317*c_1001_12 + 204627916547/31890804317, c_0101_9 - 490178890327/95672412951*c_1001_12^17 - 1584322755592/287017238853*c_1001_12^16 + 5146660700939/287017238853*c_1001_12^15 + 920707588351/31890804317*c_1001_12^14 - 7965279354157/287017238853*c_1001_12^13 - 5554948348907/95672412951*c_1001_12^12 + 1632956653340/287017238853*c_1001_12^11 + 12833990915974/287017238853*c_1001_12^10 - 1844292071095/287017238853*c_1001_12^9 + 1214294254826/287017238853*c_1001_12^8 + 1663434360237/31890804317*c_1001_12^7 - 6579946012811/287017238853*c_1001_12^6 - 26224819254962/287017238853*c_1001_12^5 + 205393590272/287017238853*c_1001_12^4 + 20767535332178/287017238853*c_1001_12^3 + 5435261109932/287017238853*c_1001_12^2 - 9873025394069/287017238853*c_1001_12 - 1918154393488/287017238853, c_1001_0 - 1, c_1001_1 - 376627736911/95672412951*c_1001_12^17 - 1248375502840/287017238853*c_1001_12^16 + 4000563719075/287017238853*c_1001_12^15 + 729496384359/31890804317*c_1001_12^14 - 6158808413953/287017238853*c_1001_12^13 - 4455053194067/95672412951*c_1001_12^12 + 1130718148982/287017238853*c_1001_12^11 + 10485222438958/287017238853*c_1001_12^10 - 980666768158/287017238853*c_1001_12^9 + 805047765746/287017238853*c_1001_12^8 + 1303896759817/31890804317*c_1001_12^7 - 5144102540735/287017238853*c_1001_12^6 - 21151749944618/287017238853*c_1001_12^5 - 231811753588/287017238853*c_1001_12^4 + 16722756742820/287017238853*c_1001_12^3 + 4873463915108/287017238853*c_1001_12^2 - 7651921679111/287017238853*c_1001_12 - 1617682734757/287017238853, c_1001_10 - 276429958441/95672412951*c_1001_12^17 - 987244918432/287017238853*c_1001_12^16 + 2907276398000/287017238853*c_1001_12^15 + 571334437203/31890804317*c_1001_12^14 - 4336116953329/287017238853*c_1001_12^13 - 3536665688273/95672412951*c_1001_12^12 + 368535430508/287017238853*c_1001_12^11 + 8662888062217/287017238853*c_1001_12^10 - 285620518684/287017238853*c_1001_12^9 - 145459962862/287017238853*c_1001_12^8 + 976351766052/31890804317*c_1001_12^7 - 3346346785115/287017238853*c_1001_12^6 - 16819792494818/287017238853*c_1001_12^5 - 936181759213/287017238853*c_1001_12^4 + 13397524450733/287017238853*c_1001_12^3 + 4422464458562/287017238853*c_1001_12^2 - 6275523380624/287017238853*c_1001_12 - 1624300398058/287017238853, c_1001_12^18 + 4/3*c_1001_12^17 - 10/3*c_1001_12^16 - 20/3*c_1001_12^15 + 13/3*c_1001_12^14 + 40/3*c_1001_12^13 + 4/3*c_1001_12^12 - 10*c_1001_12^11 - c_1001_12^10 - 1/3*c_1001_12^9 - 32/3*c_1001_12^8 + 8/3*c_1001_12^7 + 61/3*c_1001_12^6 + 4*c_1001_12^5 - 46/3*c_1001_12^4 - 22/3*c_1001_12^3 + 6*c_1001_12^2 + 3*c_1001_12 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB