Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 627358176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0274 geometric_solution 4.32029754 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 1 1 -2 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.091247291853 0.072899245873 0 3 0 3 0132 0132 2310 2310 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 0 0 1 0 -2 2 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.250526970955 4.263701413983 0 2 2 0 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.761497305039 0.967658952412 1 1 4 5 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 -1 2 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 -1 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.027460894558 0.367337721029 5 6 6 3 1023 0132 3201 0132 0 0 0 0 0 0 0 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 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 0 0 0.594831144690 0.812563879554 6 4 3 6 2310 1023 0132 1023 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 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.594831144690 0.812563879554 4 4 5 5 2310 0132 3201 1023 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 0 0 0 0 0 1.413430191915 0.801278552984 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(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_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], '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' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_5']), '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_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3797743291280093223885009679616877/93220822433730869062457989282461\ 3376*c_0101_6^22 - 785377786873801054633736370915944653/29830663178\ 793878099986556570387628032*c_0101_6^20 - 1624056445085513233970598432351616523/59661326357587756199973113140\ 775256064*c_0101_6^18 + 77032783787515230024354967950896436543/2386\ 45305430351024799892452563101024256*c_0101_6^16 - 481894086919304944127113667717403983/466104112168654345312289946412\ 306688*c_0101_6^14 + 143493728312560477969948934796946495375/149153\ 31589396939049993278285193814016*c_0101_6^12 - 3849370496249970814637369511076673283/18644164486746173812491597856\ 49226752*c_0101_6^10 + 29943449571257019864515049556221129787/93220\ 8224337308690624579892824613376*c_0101_6^8 - 3616617134109385272663985863927043735/58263014021081793164036243301\ 538336*c_0101_6^6 - 4669207716348310016212944717233254671/582630140\ 21081793164036243301538336*c_0101_6^4 - 116202064124989888406150023853342089/145657535052704482910090608253\ 84584*c_0101_6^2 + 57619274397798192320360486662926675/182071918815\ 8806036376132603173073, c_0011_0 - 1, c_0011_2 - 1071002370341539548475842533985/4018138898005640907864568503\ 554368*c_0101_6^22 - 284998231001885429848989401856705/128580444736\ 180509051666192113739776*c_0101_6^20 - 1508821227531658858023877290833231/25716088947236101810333238422747\ 9552*c_0101_6^18 + 10723890286508436394653343849661547/102864355788\ 9444072413329536909918208*c_0101_6^16 - 12310567486808091803419423554389119/2571608894723610181033323842274\ 79552*c_0101_6^14 + 69396771941129187952204051690203923/12858044473\ 6180509051666192113739776*c_0101_6^12 + 13968256796212668458044585829582175/1607255559202256363145827401421\ 7472*c_0101_6^10 + 59016555874444085131169132005028939/160725555920\ 22563631458274014217472*c_0101_6^8 + 2662149145379006935288410411983103/10045347245014102269661421258885\ 92*c_0101_6^6 - 297230807744459979607261672100505/50226736225070511\ 3483071062944296*c_0101_6^4 - 214871056465320724086186470751137/125\ 566840562676278370767765736074*c_0101_6^2 - 66670187240927991901876825259228/62783420281338139185383882868037, c_0011_4 - 1366878429923485033054745364199/4018138898005640907864568503\ 554368*c_0101_6^22 - 324025546232352545794935784910503/128580444736\ 180509051666192113739776*c_0101_6^20 - 1307487936234751806414387945339003/25716088947236101810333238422747\ 9552*c_0101_6^18 + 19409124394937597058985450098100881/102864355788\ 9444072413329536909918208*c_0101_6^16 - 77874735760838320326819964068111457/1028643557889444072413329536909\ 918208*c_0101_6^14 + 193708154031126463298551016629688395/257160889\ 472361018103332384227479552*c_0101_6^12 + 28706286481873235387020319099675323/6429022236809025452583309605686\ 9888*c_0101_6^10 + 64737231526632367973719961882099487/160725555920\ 22563631458274014217472*c_0101_6^8 - 2370071298932730106024879505618807/40181388980056409078645685035543\ 68*c_0101_6^6 - 516967058677864733157949392009659/25113368112535255\ 6741535531472148*c_0101_6^4 - 73393701484989906728396276359594/6278\ 3420281338139185383882868037*c_0101_6^2 + 22325067367134487703913245391798/62783420281338139185383882868037, c_0101_0 - 26582926509513643371463644965261/321451111840451272629165480\ 28434944*c_0101_6^23 - 6469103249936083179764067186897261/102864355\ 7889444072413329536909918208*c_0101_6^21 - 27485632620478012202401426243008211/2057287115778888144826659073819\ 836416*c_0101_6^19 + 369083852371953489865460210600845935/822914846\ 3115552579306636295279345664*c_0101_6^17 - 355895819664666317154578400925032289/205728711577888814482665907381\ 9836416*c_0101_6^15 + 457834412064773189073595218157790859/25716088\ 9472361018103332384227479552*c_0101_6^13 + 192424871317181067084693018253812775/128580444736180509051666192113\ 739776*c_0101_6^11 + 306827337142114889605187950883054009/321451111\ 84045127262916548028434944*c_0101_6^9 + 1700402418475823875654470199413707/40181388980056409078645685035543\ 68*c_0101_6^7 - 6837886891596630225348491159834693/1004534724501410\ 226966142125888592*c_0101_6^5 - 314220302676785280023855199017691/1\ 25566840562676278370767765736074*c_0101_6^3 + 131475156644082782417572051494443/62783420281338139185383882868037*\ c_0101_6, c_0101_1 + 75361295300759891198327364213407/321451111840451272629165480\ 28434944*c_0101_6^23 + 17934865224171671192142358953337791/10286435\ 57889444072413329536909918208*c_0101_6^21 + 72117994011763405961999566167641417/2057287115778888144826659073819\ 836416*c_0101_6^19 - 1090078940418899113965710296770040069/82291484\ 63115552579306636295279345664*c_0101_6^17 + 131779456438329387229994522539212775/257160889472361018103332384227\ 479552*c_0101_6^15 - 41337156094309610263229526368437011/8036277796\ 011281815729137007108736*c_0101_6^13 - 430356579793236196857646475308829555/128580444736180509051666192113\ 739776*c_0101_6^11 - 430249813368607349816383494834316711/160725555\ 92022563631458274014217472*c_0101_6^9 + 14391590338732925522693346513364715/4018138898005640907864568503554\ 368*c_0101_6^7 + 36440722814060886290521512410435027/20090694490028\ 20453932284251777184*c_0101_6^5 + 467739334393865026979186426684072\ /62783420281338139185383882868037*c_0101_6^3 - 769944802009078186119740042601127/125566840562676278370767765736074\ *c_0101_6, c_0101_5 + 24510158909551298035845906271113/160725555920225636314582740\ 14217472*c_0101_6^23 + 5900894335225729844766884741047913/514321778\ 944722036206664768454959104*c_0101_6^21 + 24542332945988785913835786802805087/1028643557889444072413329536909\ 918208*c_0101_6^19 - 343951388870600355826290086487467219/411457423\ 1557776289653318147639672832*c_0101_6^17 + 168384795406615119632238424703073153/514321778944722036206664768454\ 959104*c_0101_6^15 - 853766555605199653330819678045952769/257160889\ 472361018103332384227479552*c_0101_6^13 - 157559826330282893620972073528788601/642902223680902545258330960568\ 69888*c_0101_6^11 - 285576756118027794236779058941198619/1607255559\ 2022563631458274014217472*c_0101_6^9 + 166794188306103492540326787434835/251133681125352556741535531472148\ *c_0101_6^7 + 10913418609044641974925433529986011/10045347245014102\ 26966142125888592*c_0101_6^5 + 346734882318098517359299607931549/62\ 783420281338139185383882868037*c_0101_6^3 - 452243156358035080604257617797443/125566840562676278370767765736074\ *c_0101_6, c_0101_6^24 + 225/32*c_0101_6^22 + 759/64*c_0101_6^20 - 16155/256*c_0101_6^18 + 3849/16*c_0101_6^16 - 36451/16*c_0101_6^14 - 1111/2*c_0101_6^12 - 10669*c_0101_6^10 + 6212*c_0101_6^8 + 7968*c_0101_6^6 - 384*c_0101_6^4 - 4096*c_0101_6^2 + 1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB