Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 374835909] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1402 geometric_solution 5.24714959 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 1 0 0 -1 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.585663490903 0.796735233053 0 3 2 4 0132 0132 1230 0132 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 0 0 0 -1 0 0 1 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.989979071283 0.903033569954 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 0 -1 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 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.989979071283 0.903033569954 3 1 2 3 3201 0132 3201 2310 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 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.266369912107 0.701624106662 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.421323456974 0.373783103248 4 4 6 6 3201 0132 2310 0132 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 0.387656010546 0.479757001689 6 5 5 6 3201 3201 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 0 0 0 0 0 0 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.148961341606 0.548776129515 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : 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' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 11238837138931312570875954509169412426403467893/1392013284523719213\ 31485085339651999559798962*c_0101_6^22 - 38041277241291536794683159604025886489782532625/2784026569047438426\ 62970170679303999119597924*c_0101_6^21 + 232769798897802239719131182058514729513596310793/278402656904743842\ 662970170679303999119597924*c_0101_6^20 - 262191725356552717414191997080755339470229583911/111361062761897537\ 0651880682717215996478391696*c_0101_6^19 - 1494778624387334127680419492002363054511139459273/55680531380948768\ 5325940341358607998239195848*c_0101_6^18 + 8154172264050923505116041604742209339882456423513/11136106276189753\ 70651880682717215996478391696*c_0101_6^17 - 4489931087586318138966738305697551311865421334873/27840265690474384\ 2662970170679303999119597924*c_0101_6^16 - 1932507428234533109559755911968282774459028477365/27840265690474384\ 2662970170679303999119597924*c_0101_6^15 + 16533593030956662063925442739451440783981803949151/2784026569047438\ 42662970170679303999119597924*c_0101_6^14 - 52842683406425718322348732779472159869450818691799/1113610627618975\ 370651880682717215996478391696*c_0101_6^13 - 31352364632660029892825684867148806401189594920861/1113610627618975\ 370651880682717215996478391696*c_0101_6^12 + 6303078584729948470550568328188195388063728966351/69600664226185960\ 665742542669825999779899481*c_0101_6^11 - 101549226559031869641662121240984252945260032376607/111361062761897\ 5370651880682717215996478391696*c_0101_6^10 - 16631200498023477838736058687094354575454122965311/5568053138094876\ 85325940341358607998239195848*c_0101_6^9 + 137361440408685420170033206869420687155475887748003/111361062761897\ 5370651880682717215996478391696*c_0101_6^8 - 10229243857345876466823633561352543294650006533347/2784026569047438\ 42662970170679303999119597924*c_0101_6^7 - 28405954574695571108806793720576535599125439777739/5568053138094876\ 85325940341358607998239195848*c_0101_6^6 + 16393473278508768233773956070198904590909569574659/5568053138094876\ 85325940341358607998239195848*c_0101_6^5 + 3061084805788807859641566557508756317978049629327/55680531380948768\ 5325940341358607998239195848*c_0101_6^4 - 5325161991477201150817893653420109350834091231645/11136106276189753\ 70651880682717215996478391696*c_0101_6^3 + 998255433224933411675029376162610349415362750919/111361062761897537\ 0651880682717215996478391696*c_0101_6^2 - 136868364752884974643649094692734638144459253547/111361062761897537\ 0651880682717215996478391696*c_0101_6 - 47607934096329445478821341892523227997084317585/1113610627618975370\ 651880682717215996478391696, c_0011_0 - 1, c_0011_4 + 34129981703840408042946225574276464566561092/696006642261859\ 60665742542669825999779899481*c_0101_6^22 - 41264799726952075810857578130044013089147066/6960066422618596066574\ 2542669825999779899481*c_0101_6^21 + 322991916897794096331005164999303082131989730/696006642261859606657\ 42542669825999779899481*c_0101_6^20 + 153987067168622870218674800491477235446225501/139201328452371921331\ 485085339651999559798962*c_0101_6^19 - 1210638316532174624451750033378827739940445837/69600664226185960665\ 742542669825999779899481*c_0101_6^18 + 5134894664616919709677948987229523768841727387/13920132845237192133\ 1485085339651999559798962*c_0101_6^17 - 5232430706682232054060708723842797074788557805/69600664226185960665\ 742542669825999779899481*c_0101_6^16 - 6508171672483683054421984248011174304958114437/69600664226185960665\ 742542669825999779899481*c_0101_6^15 + 24296687725801443269444166793115303169853589515/6960066422618596066\ 5742542669825999779899481*c_0101_6^14 - 15841804754991471926447762591572770687644171015/1392013284523719213\ 31485085339651999559798962*c_0101_6^13 - 47496986411727417144680814563536564211786045045/1392013284523719213\ 31485085339651999559798962*c_0101_6^12 + 35017221723880114331112810252979986165193406159/6960066422618596066\ 5742542669825999779899481*c_0101_6^11 - 39035640367864952268438614530158868845562442719/1392013284523719213\ 31485085339651999559798962*c_0101_6^10 - 34974921960129988001187754286642109570653805194/6960066422618596066\ 5742542669825999779899481*c_0101_6^9 + 100924606084005699299209090752903387685645211011/139201328452371921\ 331485085339651999559798962*c_0101_6^8 + 9424212610734389687071074236265884523976332407/69600664226185960665\ 742542669825999779899481*c_0101_6^7 - 34131229522283559775468669006514930165121564400/6960066422618596066\ 5742542669825999779899481*c_0101_6^6 + 5286755152562872941079989905257171198753051494/69600664226185960665\ 742542669825999779899481*c_0101_6^5 + 9733679241502681478109927452323753967950292375/69600664226185960665\ 742542669825999779899481*c_0101_6^4 - 5023066393676636661895162478499805019044424679/13920132845237192133\ 1485085339651999559798962*c_0101_6^3 - 936533820100389494088449310705744389864028135/139201328452371921331\ 485085339651999559798962*c_0101_6^2 + 405042978140885894711070254191289802076151733/139201328452371921331\ 485085339651999559798962*c_0101_6 - 60116394862526006171503872343631607552087537/1392013284523719213314\ 85085339651999559798962, c_0011_6 - 5819555618348605839067745983091491862285732/6960066422618596\ 0665742542669825999779899481*c_0101_6^22 + 16417770482152877848733627765892555427094674/6960066422618596066574\ 2542669825999779899481*c_0101_6^21 - 71490033579501073213299651823780866167287310/6960066422618596066574\ 2542669825999779899481*c_0101_6^20 + 171581778016681851203050285153585883084303243/139201328452371921331\ 485085339651999559798962*c_0101_6^19 + 173440381515450503159435258671012601137173506/696006642261859606657\ 42542669825999779899481*c_0101_6^18 - 1485639148028806499706267670050590880906719205/13920132845237192133\ 1485085339651999559798962*c_0101_6^17 + 1776432418612692094018053119599841239672983874/69600664226185960665\ 742542669825999779899481*c_0101_6^16 - 861991361675769471978597023879310654914559096/696006642261859606657\ 42542669825999779899481*c_0101_6^15 - 4786724512870082331905432254900588377244194118/69600664226185960665\ 742542669825999779899481*c_0101_6^14 + 16530433266576508131157080688424899122669392419/1392013284523719213\ 31485085339651999559798962*c_0101_6^13 - 4690232038790236235827248556864778413035057509/13920132845237192133\ 1485085339651999559798962*c_0101_6^12 - 8016226719332115265370934396836724687285521959/69600664226185960665\ 742542669825999779899481*c_0101_6^11 + 28338005055919022573262638551405624189398201367/1392013284523719213\ 31485085339651999559798962*c_0101_6^10 - 6829068624705719161397850081251524131826192543/69600664226185960665\ 742542669825999779899481*c_0101_6^9 - 19033538793539518975128681311243999611141007767/1392013284523719213\ 31485085339651999559798962*c_0101_6^8 + 12190697664180207666133185871778901663282150973/6960066422618596066\ 5742542669825999779899481*c_0101_6^7 - 1192925975644282656513941525713379909453864214/69600664226185960665\ 742542669825999779899481*c_0101_6^6 - 4051945921712876880925348578620795680957232578/69600664226185960665\ 742542669825999779899481*c_0101_6^5 + 1941262195371422720105598100845121293896617081/69600664226185960665\ 742542669825999779899481*c_0101_6^4 - 348878791311098181389470568139364446716477891/139201328452371921331\ 485085339651999559798962*c_0101_6^3 - 222573023697945345806267378062663196036328349/139201328452371921331\ 485085339651999559798962*c_0101_6^2 + 303277644753015066444955510469231456930527435/139201328452371921331\ 485085339651999559798962*c_0101_6 + 822366600077054782534755217568042843704381/139201328452371921331485\ 085339651999559798962, c_0101_0 - 254515436606891688655182056280503633299051696/69600664226185\ 960665742542669825999779899481*c_0101_6^22 + 396259193874967432737465481578793663801074176/696006642261859606657\ 42542669825999779899481*c_0101_6^21 - 2571646173444890661744439935961411249657767684/69600664226185960665\ 742542669825999779899481*c_0101_6^20 + 375412757028062695062320551282835517457300138/696006642261859606657\ 42542669825999779899481*c_0101_6^19 + 8627131001279359667693934500923208725349545897/69600664226185960665\ 742542669825999779899481*c_0101_6^18 - 21964876008155261668237201720991138971134994487/6960066422618596066\ 5742542669825999779899481*c_0101_6^17 + 47585463961762135609951669942427696465699448012/6960066422618596066\ 5742542669825999779899481*c_0101_6^16 + 29235850638746392540024210774848686808130822568/6960066422618596066\ 5742542669825999779899481*c_0101_6^15 - 185502199954565589795252276453570436479499465676/696006642261859606\ 65742542669825999779899481*c_0101_6^14 + 124254967837104270945140820884840922636950212241/696006642261859606\ 65742542669825999779899481*c_0101_6^13 + 111859436075280183958602155195466497981945029657/696006642261859606\ 65742542669825999779899481*c_0101_6^12 - 276403741613300480316533971962736477523605822322/696006642261859606\ 65742542669825999779899481*c_0101_6^11 + 249778976458308335724859449015680711844039457945/696006642261859606\ 65742542669825999779899481*c_0101_6^10 + 135244298444320432596512875882843803679033951498/696006642261859606\ 65742542669825999779899481*c_0101_6^9 - 380801147987683504125923531810339693606399084806/696006642261859606\ 65742542669825999779899481*c_0101_6^8 + 63970828223223062437935069594639909305197651229/6960066422618596066\ 5742542669825999779899481*c_0101_6^7 + 178764486821431400928060868598191133920843261264/696006642261859606\ 65742542669825999779899481*c_0101_6^6 - 70916689271593911699255300554493619484153766736/6960066422618596066\ 5742542669825999779899481*c_0101_6^5 - 30251770568025154495323282745546299847725994501/6960066422618596066\ 5742542669825999779899481*c_0101_6^4 + 12207322237418710089342973775602494235638956578/6960066422618596066\ 5742542669825999779899481*c_0101_6^3 - 451256077954600102571195859997659330092234734/696006642261859606657\ 42542669825999779899481*c_0101_6^2 + 168853881059479327867381082910115405802686890/696006642261859606657\ 42542669825999779899481*c_0101_6 + 282978218453257929619371088102731572934921308/696006642261859606657\ 42542669825999779899481, c_0101_1 + 319087430942335391545364952818145310487694050/69600664226185\ 960665742542669825999779899481*c_0101_6^22 - 487243372268678526514693724887108748788076573/696006642261859606657\ 42542669825999779899481*c_0101_6^21 + 3206376994915263315676526052299164538882887357/69600664226185960665\ 742542669825999779899481*c_0101_6^20 - 1462236509166205200016495448259794843915516491/27840265690474384266\ 2970170679303999119597924*c_0101_6^19 - 21728562385978254322503061237994190560749755469/1392013284523719213\ 31485085339651999559798962*c_0101_6^18 + 109030526498937720626991157019132752957443201897/278402656904743842\ 662970170679303999119597924*c_0101_6^17 - 58730183597268226214391724930644612848043087209/6960066422618596066\ 5742542669825999779899481*c_0101_6^16 - 38846024537150594926967674405894147898199052734/6960066422618596066\ 5742542669825999779899481*c_0101_6^15 + 232362056041367894023055533316567421988208431306/696006642261859606\ 65742542669825999779899481*c_0101_6^14 - 596769228586796975887348693525774293347365327359/278402656904743842\ 662970170679303999119597924*c_0101_6^13 - 591102828260948997820572580701347932621837913785/278402656904743842\ 662970170679303999119597924*c_0101_6^12 + 347148568448130498812976582175755095824168117227/696006642261859606\ 65742542669825999779899481*c_0101_6^11 - 1213929187601611514686115511122811630345305170559/27840265690474384\ 2662970170679303999119597924*c_0101_6^10 - 369331863377179599999596967996842919549730986133/139201328452371921\ 331485085339651999559798962*c_0101_6^9 + 1924319322633687677332733316146578964634034660391/27840265690474384\ 2662970170679303999119597924*c_0101_6^8 - 69562877884951255402769697194040691821880564265/6960066422618596066\ 5742542669825999779899481*c_0101_6^7 - 466878554520182165019871858981019698022840607093/139201328452371921\ 331485085339651999559798962*c_0101_6^6 + 181418011932297128597912335797209148978688348473/139201328452371921\ 331485085339651999559798962*c_0101_6^5 + 80116990098251269173867680189946955580170398503/1392013284523719213\ 31485085339651999559798962*c_0101_6^4 - 69226126933095524081352569729024560866863423825/2784026569047438426\ 62970170679303999119597924*c_0101_6^3 + 5985099435535258181791587461713275732376715391/27840265690474384266\ 2970170679303999119597924*c_0101_6^2 - 973980607020580232709097051766542161896313819/278402656904743842662\ 970170679303999119597924*c_0101_6 - 1418691563994254563481127146756917184930338293/27840265690474384266\ 2970170679303999119597924, c_0101_2 + 36194840614968910429147142580461670392748552/696006642261859\ 60665742542669825999779899481*c_0101_6^22 - 61488438513161582857303421005935217554908196/6960066422618596066574\ 2542669825999779899481*c_0101_6^21 + 381581480340083325051499842261443663119833452/696006642261859606657\ 42542669825999779899481*c_0101_6^20 - 121517141545003431203577300173357219375233467/696006642261859606657\ 42542669825999779899481*c_0101_6^19 - 1128241826727785629631136101551912605013756484/69600664226185960665\ 742542669825999779899481*c_0101_6^18 + 3233973217484895700093035464906266366450914917/69600664226185960665\ 742542669825999779899481*c_0101_6^17 - 7408081468513249923553078213239473069517282909/69600664226185960665\ 742542669825999779899481*c_0101_6^16 - 2436112570994035281959312203467586366748984082/69600664226185960665\ 742542669825999779899481*c_0101_6^15 + 25023815937193498716649717245211185344722584243/6960066422618596066\ 5742542669825999779899481*c_0101_6^14 - 21032077179953933276663500467078777414128049105/6960066422618596066\ 5742542669825999779899481*c_0101_6^13 - 8596457018120982713978278529079555951677504643/69600664226185960665\ 742542669825999779899481*c_0101_6^12 + 35257445402107399503288456207523295432118205000/6960066422618596066\ 5742542669825999779899481*c_0101_6^11 - 39300433718190087364597109666863097908530849201/6960066422618596066\ 5742542669825999779899481*c_0101_6^10 - 8676154158490346463249409092806964972927840600/69600664226185960665\ 742542669825999779899481*c_0101_6^9 + 46356635402195735985053483524476448478311347090/6960066422618596066\ 5742542669825999779899481*c_0101_6^8 - 13218209443389929662840398850301356708483885700/6960066422618596066\ 5742542669825999779899481*c_0101_6^7 - 17760740583423704330642724530072854362084563394/6960066422618596066\ 5742542669825999779899481*c_0101_6^6 + 8750283595453414432729920449114227052763408184/69600664226185960665\ 742542669825999779899481*c_0101_6^5 + 2927878016191960768147474104686824922975419834/69600664226185960665\ 742542669825999779899481*c_0101_6^4 - 1302260104475907114226711829279292654281440070/69600664226185960665\ 742542669825999779899481*c_0101_6^3 - 156330695876421840359328536486256054653061104/696006642261859606657\ 42542669825999779899481*c_0101_6^2 + 161954083012670590398488034586277011425075189/696006642261859606657\ 42542669825999779899481*c_0101_6 - 13959798931140645804613683197637521388421554/6960066422618596066574\ 2542669825999779899481, c_0101_6^23 - 3/2*c_0101_6^22 + 10*c_0101_6^21 - 7/8*c_0101_6^20 - 273/8*c_0101_6^19 + 675/8*c_0101_6^18 - 1451/8*c_0101_6^17 - 127*c_0101_6^16 + 725*c_0101_6^15 - 3551/8*c_0101_6^14 - 482*c_0101_6^13 + 8563/8*c_0101_6^12 - 7251/8*c_0101_6^11 - 4917/8*c_0101_6^10 + 11897/8*c_0101_6^9 - 1225/8*c_0101_6^8 - 3021/4*c_0101_6^7 + 251*c_0101_6^6 + 303/2*c_0101_6^5 - 411/8*c_0101_6^4 - 9/4*c_0101_6^3 + c_0101_6^2 - c_0101_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB