Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 2463430330] Type ? for help. Type -D to quit. Loading file "K13n4038__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4038 geometric_solution 8.09417267 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1023 0132 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 0 1 0 0 1 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708460991480 0.578541019499 0 4 6 5 0132 0132 0132 0132 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 -1 14 -13 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.684398480191 0.779812784407 6 0 0 5 2103 0132 1023 2103 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 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900318253457 0.734435282443 7 5 0 8 0132 1023 0132 0132 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 1 -1 0 1 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.408327641488 0.448856662185 6 1 8 8 1230 0132 0132 0321 0 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 -1 0 0 0 0 0 13 0 0 -13 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228323453332 0.479920536819 3 9 1 2 1023 0132 0132 2103 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 -13 13 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.862289930332 2.757988214476 9 4 2 1 2310 3012 2103 0132 0 0 0 0 0 -1 0 1 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 13 1 -14 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238652230063 0.465225743289 3 9 7 7 0132 1023 2031 1302 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 1 1 0 -1 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.227067799555 0.841741917707 9 4 3 4 3201 0321 0132 0132 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 -1 1 0 0 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191647540849 1.699102481470 7 5 6 8 1023 0132 3201 2310 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 13 -13 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.420724093325 0.500906371920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0110_5'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_0011_6']), 'c_1100_8' : d['c_0110_5'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : negation(d['c_0110_2']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0110_5']), 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_4']), 'c_1010_8' : negation(d['c_0101_4']), '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : d['c_0101_7'], 'c_0110_9' : negation(d['c_0101_7']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_7, c_0110_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 5539141105018035675165110364279/15113177960027929694273920*c_0110_5\ ^18 - 1068634674726752210911043391604643/60452711840111718777095680\ *c_0110_5^17 - 1275587357536759632295279002614039/37782944900069824\ 23568480*c_0110_5^16 - 189922654130146530799432408644282253/6045271\ 1840111718777095680*c_0110_5^15 - 174419544708479713131653671722727\ 301/12090542368022343755419136*c_0110_5^14 - 1870684900888672938766191287661672381/60452711840111718777095680*c_\ 0110_5^13 - 1125761126008493925287891981957420167/30226355920055859\ 388547840*c_0110_5^12 - 1478357047552218698185830244983313161/60452\ 711840111718777095680*c_0110_5^11 - 478316219697964908401003959103356139/60452711840111718777095680*c_0\ 110_5^10 + 49038869964737382826603246439550501/30226355920055859388\ 547840*c_0110_5^9 + 167956435229040025664054074560316357/6045271184\ 0111718777095680*c_0110_5^8 + 158826929328407705731569276366459469/\ 60452711840111718777095680*c_0110_5^7 + 2745011212441360572966370233608521/4650208603085516829007360*c_0110\ _5^6 + 2695023381950736890066746244917707/4650208603085516829007360\ *c_0110_5^5 - 11628154795245972618842679854672/11807170281271820073\ 6515*c_0110_5^4 + 5471507466651726354495601990785953/60452711840111\ 718777095680*c_0110_5^3 - 1705328757061325293314816514936861/604527\ 11840111718777095680*c_0110_5^2 + 448169562339951683859420019484271\ /60452711840111718777095680*c_0110_5 - 95930083536141838134815468135807/60452711840111718777095680, c_0011_0 - 1, c_0011_3 - 684082550084352549857969/82304577045761359805440*c_0110_5^18 - 32982126336383040631984359/82304577045761359805440*c_0110_5^17 - 629565329123566198096494399/82304577045761359805440*c_0110_5^16 - 731614095632515586461485427/10288072130720169975680*c_0110_5^15 - 6706121112351478263754876581/20576144261440339951360*c_0110_5^14 - 57294501887438497043812900963/82304577045761359805440*c_0110_5^13 - 68542293381442139708821116681/82304577045761359805440*c_0110_5^12 - 22263346878978256752987456739/41152288522880679902720*c_0110_5^11 - 14117616108014486783508011057/82304577045761359805440*c_0110_5^10 + 3166335937205209579744402649/82304577045761359805440*c_0110_5^9 + 1275425899105055481081747023/20576144261440339951360*c_0110_5^8 + 1209613022159341986953021687/20576144261440339951360*c_0110_5^7 + 104252405313232387475075107/8230457704576135980544*c_0110_5^6 + 214078931859355253404602975/16460915409152271961088*c_0110_5^5 - 200682815496631057081085029/82304577045761359805440*c_0110_5^4 + 17058077524737756323648701/8230457704576135980544*c_0110_5^3 - 1372293701963077116087087/2057614426144033995136*c_0110_5^2 + 1421761014905831039528927/8230457704576135980544*c_0110_5 - 2992401316785685868864287/82304577045761359805440, c_0011_6 + 375054773159314532113623/82304577045761359805440*c_0110_5^18 + 18085424975123788555847739/82304577045761359805440*c_0110_5^17 + 345287872924865100545665277/82304577045761359805440*c_0110_5^16 + 321109426084835646773152505/8230457704576135980544*c_0110_5^15 + 7362194125259338356009973513/41152288522880679902720*c_0110_5^14 + 31468464679445162559692597871/82304577045761359805440*c_0110_5^13 + 37579738439458753953407177819/82304577045761359805440*c_0110_5^12 + 3025149212538790729174418657/10288072130720169975680*c_0110_5^11 + 7359694411255173238522729501/82304577045761359805440*c_0110_5^10 - 1986859885225737110085656339/82304577045761359805440*c_0110_5^9 - 1413001567907510059415918869/41152288522880679902720*c_0110_5^8 - 1288914451435698591789122423/41152288522880679902720*c_0110_5^7 - 66714535244519888713555079/10288072130720169975680*c_0110_5^6 - 564608676858315921834457771/82304577045761359805440*c_0110_5^5 + 21157527358295378676189743/16460915409152271961088*c_0110_5^4 - 22541059880867669764841937/20576144261440339951360*c_0110_5^3 + 13953485486406690356274793/41152288522880679902720*c_0110_5^2 - 1805489166302309875330783/20576144261440339951360*c_0110_5 + 1524647225938035009889863/82304577045761359805440, c_0101_0 - 76897938561801391102279/16460915409152271961088*c_0110_5^18 - 18535802035907455535264099/82304577045761359805440*c_0110_5^17 - 353757496862806698350977041/82304577045761359805440*c_0110_5^16 - 1643935484791109050536509531/41152288522880679902720*c_0110_5^15 - 7529861949348622138138095351/41152288522880679902720*c_0110_5^14 - 6423851132434051504594470531/16460915409152271961088*c_0110_5^13 - 38323017957891846503047175983/82304577045761359805440*c_0110_5^12 - 1237651976133614183974997247/4115228852288067990272*c_0110_5^11 - 7731674109023799632314629853/82304577045761359805440*c_0110_5^10 + 1841504371961622694974869479/82304577045761359805440*c_0110_5^9 + 1421716743534765139347419083/41152288522880679902720*c_0110_5^8 + 268925635221130446851595857/8230457704576135980544*c_0110_5^7 + 142657641174266096869432387/20576144261440339951360*c_0110_5^6 + 596956620301014892044982739/82304577045761359805440*c_0110_5^5 - 114311228794366536205537943/82304577045761359805440*c_0110_5^4 + 11873888320180061635074089/10288072130720169975680*c_0110_5^3 - 15376465187876708320826287/41152288522880679902720*c_0110_5^2 + 980399993988939944281101/10288072130720169975680*c_0110_5 - 1644152954379104393586751/82304577045761359805440, c_0101_1 - 250872007787289493141489/82304577045761359805440*c_0110_5^18 - 12095177277736491462444239/82304577045761359805440*c_0110_5^17 - 230862275437994033995967259/82304577045761359805440*c_0110_5^16 - 536503176781759144392862019/20576144261440339951360*c_0110_5^15 - 2457988683011874624467546051/20576144261440339951360*c_0110_5^14 - 20973487218901481214698669983/82304577045761359805440*c_0110_5^13 - 24991028997937638611217506161/82304577045761359805440*c_0110_5^12 - 8025677004682593177815888079/41152288522880679902720*c_0110_5^11 - 4888287011860657890395874557/82304577045761359805440*c_0110_5^10 + 1297674303689962923621930969/82304577045761359805440*c_0110_5^9 + 466615813003011326618765183/20576144261440339951360*c_0110_5^8 + 108052053329732629350489913/5144036065360084987840*c_0110_5^7 + 36056629601108837479235775/8230457704576135980544*c_0110_5^6 + 76251988881176705412345163/16460915409152271961088*c_0110_5^5 - 72811413488554047257133589/82304577045761359805440*c_0110_5^4 + 5983584361700262060474409/8230457704576135980544*c_0110_5^3 - 961513727985621750099263/4115228852288067990272*c_0110_5^2 + 477788885470676385489347/8230457704576135980544*c_0110_5 - 1008791253782807944933867/82304577045761359805440, c_0101_2 - 963758669597574519766141/82304577045761359805440*c_0110_5^18 - 46479712216883800872404203/82304577045761359805440*c_0110_5^17 - 887594837227658029248300979/82304577045761359805440*c_0110_5^16 - 206448623100878898762935543/2057614426144033995136*c_0110_5^15 - 9475710420884669465054242333/20576144261440339951360*c_0110_5^14 - 81215795270438226695804137527/82304577045761359805440*c_0110_5^13 - 97554204807855984789881298213/82304577045761359805440*c_0110_5^12 - 31881573421488092967899687431/41152288522880679902720*c_0110_5^11 - 20356627777221818152196903197/82304577045761359805440*c_0110_5^10 + 4467660209468061325045028293/82304577045761359805440*c_0110_5^9 + 1830465647618502834867374639/20576144261440339951360*c_0110_5^8 + 1717781721983358111804831583/20576144261440339951360*c_0110_5^7 + 758272873529148171977815987/41152288522880679902720*c_0110_5^6 + 1504969138283801598838579807/82304577045761359805440*c_0110_5^5 - 53408038795128948828477549/16460915409152271961088*c_0110_5^4 + 117623025359964330952309413/41152288522880679902720*c_0110_5^3 - 9290335187598928861205369/10288072130720169975680*c_0110_5^2 + 9625710058384454252233327/41152288522880679902720*c_0110_5 - 4115672110133338042870611/82304577045761359805440, c_0101_4 + 259812812413290718774743/20576144261440339951360*c_0110_5^18 + 3132143355360887119374289/5144036065360084987840*c_0110_5^17 + 47841093886732013392226017/4115228852288067990272*c_0110_5^16 + 2224781138566580574749898231/20576144261440339951360*c_0110_5^15 + 10204932982770811230398920317/20576144261440339951360*c_0110_5^14 + 10918190427218352426908118303/10288072130720169975680*c_0110_5^13 + 26184224969944070870465815623/20576144261440339951360*c_0110_5^12 + 17074192256373239963643861801/20576144261440339951360*c_0110_5^11 + 272411976632687425563271883/1028807213072016997568*c_0110_5^10 - 1180148185302251286346798081/20576144261440339951360*c_0110_5^9 - 1937252295866328325387728561/20576144261440339951360*c_0110_5^8 - 1836417479109202808655142901/20576144261440339951360*c_0110_5^7 - 403376233958716600347874521/20576144261440339951360*c_0110_5^6 - 204457491165453571442727529/10288072130720169975680*c_0110_5^5 + 71758366356828567319627359/20576144261440339951360*c_0110_5^4 - 64730904317382988990869979/20576144261440339951360*c_0110_5^3 + 20241778353676025479572473/20576144261440339951360*c_0110_5^2 - 5293854702496389471207551/20576144261440339951360*c_0110_5 + 564913870519433391529963/10288072130720169975680, c_0101_7 + 32359038164093189119491/41152288522880679902720*c_0110_5^18 + 390417086171841122959833/10288072130720169975680*c_0110_5^17 + 5970745851261882741988679/8230457704576135980544*c_0110_5^16 + 278267990199681434863356707/41152288522880679902720*c_0110_5^15 + 1282053203332943025434959269/41152288522880679902720*c_0110_5^14 + 173204062625427831160564407/2572018032680042493920*c_0110_5^13 + 3375052973463838944773000741/41152288522880679902720*c_0110_5^12 + 2264540467108016931310528447/41152288522880679902720*c_0110_5^11 + 38199998496353757246387555/2057614426144033995136*c_0110_5^10 - 131561422342120159534268497/41152288522880679902720*c_0110_5^9 - 259010398462079186049470717/41152288522880679902720*c_0110_5^8 - 243067017706488721385594307/41152288522880679902720*c_0110_5^7 - 58229320120166956465444067/41152288522880679902720*c_0110_5^6 - 26106763838086453429909843/20576144261440339951360*c_0110_5^5 + 8065809403554523604361163/41152288522880679902720*c_0110_5^4 - 7867692047718982618392983/41152288522880679902720*c_0110_5^3 + 2573716965485683834527431/41152288522880679902720*c_0110_5^2 - 642065313630497868004197/41152288522880679902720*c_0110_5 + 71612208566648761278641/20576144261440339951360, c_0110_2 - 259696768744257871663947/20576144261440339951360*c_0110_5^18 - 25052757115835209750878007/41152288522880679902720*c_0110_5^17 - 239262179943851863774629713/20576144261440339951360*c_0110_5^16 - 890758585309251489432296575/8230457704576135980544*c_0110_5^15 - 20458115366930617066027193803/41152288522880679902720*c_0110_5^14 - 43911720314427390782408234073/41152288522880679902720*c_0110_5^13 - 13218011416756003932514786553/10288072130720169975680*c_0110_5^12 - 34700048570107912595814478983/41152288522880679902720*c_0110_5^11 - 11157073864348796039458054423/41152288522880679902720*c_0110_5^10 + 297520221371160492909175859/5144036065360084987840*c_0110_5^9 + 3981714820301570809777558559/41152288522880679902720*c_0110_5^8 + 3726249199263027105341723563/41152288522880679902720*c_0110_5^7 + 834500970570975225780194691/41152288522880679902720*c_0110_5^6 + 812366489071301301496781623/41152288522880679902720*c_0110_5^5 - 14014118895091907199547433/4115228852288067990272*c_0110_5^4 + 125788493036884722932484799/41152288522880679902720*c_0110_5^3 - 39494230127140091138371043/41152288522880679902720*c_0110_5^2 + 10250481093826805529726041/41152288522880679902720*c_0110_5 - 2210441146080851463704359/41152288522880679902720, c_0110_5^19 + 48*c_0110_5^18 + 910*c_0110_5^17 + 8359*c_0110_5^16 + 37380*c_0110_5^15 + 75335*c_0110_5^14 + 82108*c_0110_5^13 + 43239*c_0110_5^12 + 6167*c_0110_5^11 - 9416*c_0110_5^10 - 6557*c_0110_5^9 - 5416*c_0110_5^8 + 46*c_0110_5^7 - 1209*c_0110_5^6 + 634*c_0110_5^5 - 309*c_0110_5^4 + 134*c_0110_5^3 - 38*c_0110_5^2 + 9*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB