Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 1814950067] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1173 geometric_solution 5.04665694 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 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 2.688069464149 1.140573750616 0 1 1 0 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.573461923562 0.116630350118 0 3 4 0 3201 0132 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 1 0 -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 0 0 0 0.133617436470 0.719080877968 5 2 6 4 0132 0132 0132 2031 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 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.260671386365 0.507473276768 6 3 5 2 1023 1302 2310 0132 0 0 0 0 0 0 0 0 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 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.260671386365 0.507473276768 3 4 5 5 0132 3201 1230 3012 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 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199113835333 1.559159722015 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 -1 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 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.774620780329 1.002428747787 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 118586498605063998734251985247/11459397536491049333329243520*c_0101\ _5^13 - 663400088414147919038162078931/1145939753649104933332924352\ 0*c_0101_5^12 + 26155642282306870521719005801/716212346030690583333\ 077720*c_0101_5^11 + 919655659938042967363194197601/114593975364910\ 49333329243520*c_0101_5^10 + 44354430205071851773424113163/10417634\ 12408277212120840320*c_0101_5^9 + 1310066962015454859237435256853/1\ 1459397536491049333329243520*c_0101_5^8 + 12228977079403290724174883895789/5729698768245524666664621760*c_010\ 1_5^7 - 43886464848170549624817775538221/11459397536491049333329243\ 520*c_0101_5^6 + 107973281114453768917718215011117/1145939753649104\ 9333329243520*c_0101_5^5 - 11692635444852651932581984223187/1145939\ 753649104933332924352*c_0101_5^4 + 2067868337957208828144666053545/572969876824552466666462176*c_0101_\ 5^3 + 43809288877853752942248890261/35810617301534529166653886*c_01\ 01_5^2 - 93295700894046397234071477849/89526543253836322916634715*c\ _0101_5 + 58647037270286797016372827239/358106173015345291666538860\ , c_0011_0 - 1, c_0011_2 - 773304483617665254354573/3360527136800894232647872*c_0101_5^\ 13 + 3987412276407049857737529/3360527136800894232647872*c_0101_5^1\ 2 - 102873533861004001428003/420065892100111779080984*c_0101_5^11 - 7205338954166908048827579/3360527136800894232647872*c_0101_5^10 - 6019366733313504662224331/3360527136800894232647872*c_0101_5^9 - 9856392253470560082530375/3360527136800894232647872*c_0101_5^8 - 81365503383218475179699859/1680263568400447116323936*c_0101_5^7 + 217015387734024513135654511/3360527136800894232647872*c_0101_5^6 - 575435075765109551415343319/3360527136800894232647872*c_0101_5^5 + 230435338570862936397230857/1680263568400447116323936*c_0101_5^4 + 15709141173540035607353519/840131784200223558161968*c_0101_5^3 - 11549030967036326831097989/210032946050055889540492*c_0101_5^2 + 608023868267451905004935/105016473025027944770246*c_0101_5 + 544231128174344991013855/105016473025027944770246, c_0011_4 - 73903697429959196502867/3360527136800894232647872*c_0101_5^1\ 3 + 358007827909797032426619/3360527136800894232647872*c_0101_5^12 + 3630153685097258563027/420065892100111779080984*c_0101_5^11 - 655470467135936998049465/3360527136800894232647872*c_0101_5^10 - 803742223952047985721465/3360527136800894232647872*c_0101_5^9 - 1207963944143336001743265/3360527136800894232647872*c_0101_5^8 - 7968490153429689096718465/1680263568400447116323936*c_0101_5^7 + 15666431767980470370773285/3360527136800894232647872*c_0101_5^6 - 50974260105242377909437853/3360527136800894232647872*c_0101_5^5 + 14979758811179881233076839/1680263568400447116323936*c_0101_5^4 + 1381646819065392628691677/420065892100111779080984*c_0101_5^3 - 1048396830947303291548411/420065892100111779080984*c_0101_5^2 - 36782536035470628320742/52508236512513972385123*c_0101_5 + 9652065845437870039121/52508236512513972385123, c_0101_0 - 98731668779073637381593/1680263568400447116323936*c_0101_5^1\ 3 + 137634076472254608118539/420065892100111779080984*c_0101_5^12 - 299993602810233706047377/1680263568400447116323936*c_0101_5^11 - 956147891823100427427685/1680263568400447116323936*c_0101_5^10 - 220199827765068712052401/840131784200223558161968*c_0101_5^9 - 192877806699769144072141/420065892100111779080984*c_0101_5^8 - 19978124020920348047305447/1680263568400447116323936*c_0101_5^7 + 36849018300392884986329623/1680263568400447116323936*c_0101_5^6 - 5050993069615228083734355/105016473025027944770246*c_0101_5^5 + 88122938898297694069296585/1680263568400447116323936*c_0101_5^4 - 728025115522749449412015/210032946050055889540492*c_0101_5^3 - 6575294362325937429357987/420065892100111779080984*c_0101_5^2 + 555329807889685287768395/210032946050055889540492*c_0101_5 + 205439598721289758955797/105016473025027944770246, c_0101_1 - 415573613727379174444059/1680263568400447116323936*c_0101_5^\ 13 + 2126330026270134419635179/1680263568400447116323936*c_0101_5^1\ 2 - 189713106998616232147217/840131784200223558161968*c_0101_5^11 - 3789594575736850171887943/1680263568400447116323936*c_0101_5^10 - 3346884090241643078028129/1680263568400447116323936*c_0101_5^9 - 5598358592963618776551815/1680263568400447116323936*c_0101_5^8 - 10995965225642654234605863/210032946050055889540492*c_0101_5^7 + 112643706241525204611320815/1680263568400447116323936*c_0101_5^6 - 309655026371474506795081073/1680263568400447116323936*c_0101_5^5 + 59647639552315477401634453/420065892100111779080984*c_0101_5^4 + 14725716925506163924632425/840131784200223558161968*c_0101_5^3 - 23294997261434365808123599/420065892100111779080984*c_0101_5^2 + 659736476222159065388923/105016473025027944770246*c_0101_5 + 548630265306775370648445/105016473025027944770246, c_0101_3 - 1034467143027552966632121/3360527136800894232647872*c_0101_5\ ^13 + 5379325213122304747157781/3360527136800894232647872*c_0101_5^\ 12 - 175928165498924177567835/420065892100111779080984*c_0101_5^11 - 9227252761434053677068271/3360527136800894232647872*c_0101_5^10 - 7655960057500070797964575/3360527136800894232647872*c_0101_5^9 - 13438437827216403374092715/3360527136800894232647872*c_0101_5^8 - 108918670577045890412710519/1680263568400447116323936*c_0101_5^7 + 298660438854694995636789139/3360527136800894232647872*c_0101_5^6 - 798243321864674370762552827/3360527136800894232647872*c_0101_5^5 + 333926206201906265560717173/1680263568400447116323936*c_0101_5^4 + 970430846154007055640851/840131784200223558161968*c_0101_5^3 - 13272877409020339156821485/210032946050055889540492*c_0101_5^2 + 1141040980431378426741359/105016473025027944770246*c_0101_5 + 497353312711128319403035/105016473025027944770246, c_0101_5^14 - 17/3*c_0101_5^13 + 34/9*c_0101_5^12 + 25/3*c_0101_5^11 + 29/9*c_0101_5^10 + 85/9*c_0101_5^9 + 1840/9*c_0101_5^8 - 387*c_0101_5^7 + 8141/9*c_0101_5^6 - 3008/3*c_0101_5^5 + 2620/9*c_0101_5^4 + 640/3*c_0101_5^3 - 1184/9*c_0101_5^2 + 64/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB