Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 4139215419] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2267 geometric_solution 5.69026331 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.327575361855 0.689717911589 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771275400603 1.078367545798 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 -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.771275400603 1.078367545798 1 5 5 2 0132 0132 1023 3201 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 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.768043186022 0.466887156813 6 2 6 1 0132 2310 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096224974737 1.272771731677 5 3 3 5 3201 0132 1023 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.189249401560 0.419239243001 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441332438262 0.119895273537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 102813944634042542720963354776080103515439/204128196326748533304577\ 255813299399785*c_0101_5^26 - 2317321685730657684754652022194082237\ 817129/204128196326748533304577255813299399785*c_0101_5^25 + 547954160446971422242668727818068400144921/408256392653497066609154\ 51162659879957*c_0101_5^24 + 31087795780848098228331610339869680797\ 411259/204128196326748533304577255813299399785*c_0101_5^23 - 30181952090773544728068522702578573458813277/2041281963267485333045\ 77255813299399785*c_0101_5^22 - 20139115808840448255312895426833617\ 6692173196/204128196326748533304577255813299399785*c_0101_5^21 + 81304767400370360285387804882860927747148342/2041281963267485333045\ 77255813299399785*c_0101_5^20 + 15475933183482460377086309053806560\ 5304188207/40825639265349706660915451162659879957*c_0101_5^19 + 27878643617987107559674132162568612210858841/4082563926534970666091\ 5451162659879957*c_0101_5^18 - 175761409741464980151524826044707775\ 3545790963/204128196326748533304577255813299399785*c_0101_5^17 - 243618389241020865886357990276537618432017453/408256392653497066609\ 15451162659879957*c_0101_5^16 + 21546835482197838988840002800123102\ 09114474714/204128196326748533304577255813299399785*c_0101_5^15 + 2692228697550247919116206450988112442124069638/20412819632674853330\ 4577255813299399785*c_0101_5^14 - 214780556190358213051825121420906\ 946012962029/40825639265349706660915451162659879957*c_0101_5^13 - 2795404051786981924207584804827272041429839846/20412819632674853330\ 4577255813299399785*c_0101_5^12 - 338439116290489717784504266815774\ 39404606786/40825639265349706660915451162659879957*c_0101_5^11 + 1564772398304086088710306832811540960317267331/20412819632674853330\ 4577255813299399785*c_0101_5^10 + 367193199763619296781526466738668\ 032839126528/204128196326748533304577255813299399785*c_0101_5^9 - 553538016063439822162894749775606761943841983/204128196326748533304\ 577255813299399785*c_0101_5^8 - 13396422559633845507385188023841126\ 9294341837/204128196326748533304577255813299399785*c_0101_5^7 + 149712128524573728989194958113600728234699678/204128196326748533304\ 577255813299399785*c_0101_5^6 + 14197246302996106910946923495675320\ 140303914/204128196326748533304577255813299399785*c_0101_5^5 - 6614995178240637684081088706034718802927641/40825639265349706660915\ 451162659879957*c_0101_5^4 + 37380366433327835373492236734776145736\ 5029/40825639265349706660915451162659879957*c_0101_5^3 + 4328251733612601538985435271354064042665152/20412819632674853330457\ 7255813299399785*c_0101_5^2 - 3920140942000699010115727428291650579\ 43846/204128196326748533304577255813299399785*c_0101_5 - 219353486887389647566075684990645077098777/204128196326748533304577\ 255813299399785, c_0011_0 - 1, c_0011_1 - 6631683750027473916604583807444711179/1407780664322403677962\ 601764229651033*c_0101_5^26 + 1492653134400285090093495169817916274\ 68/1407780664322403677962601764229651033*c_0101_5^25 - 171867088686698874879058618914314855000/140778066432240367796260176\ 4229651033*c_0101_5^24 - 2015446313279430395777949966175522669356/1\ 407780664322403677962601764229651033*c_0101_5^23 + 1891128877237839661193918890238672362120/14077806643224036779626017\ 64229651033*c_0101_5^22 + 13111595705942054928895705938609900581655\ /1407780664322403677962601764229651033*c_0101_5^21 - 4916212382401112031931400068076324562994/14077806643224036779626017\ 64229651033*c_0101_5^20 - 50457188068308613540160141385363341955712\ /1407780664322403677962601764229651033*c_0101_5^19 - 10284862117184132075062653051278990361140/1407780664322403677962601\ 764229651033*c_0101_5^18 + 1145434710631766641884706446861266640252\ 70/1407780664322403677962601764229651033*c_0101_5^17 + 82000751944892201333139950708751929118718/1407780664322403677962601\ 764229651033*c_0101_5^16 - 1398766934602489034739798171868116865288\ 96/1407780664322403677962601764229651033*c_0101_5^15 - 179458124191114219158979822588754523069956/140778066432240367796260\ 1764229651033*c_0101_5^14 + 681880170535415781549684365641465860864\ 01/1407780664322403677962601764229651033*c_0101_5^13 + 186289147941904770897068768320805198312225/140778066432240367796260\ 1764229651033*c_0101_5^12 + 137668524483707778275305047806400201516\ 66/1407780664322403677962601764229651033*c_0101_5^11 - 104626622525164166648687943087646421540034/140778066432240367796260\ 1764229651033*c_0101_5^10 - 261085194369592564143457725618652179549\ 18/1407780664322403677962601764229651033*c_0101_5^9 + 37161855784334260047617069588899082796182/1407780664322403677962601\ 764229651033*c_0101_5^8 + 9648497491632828529804625560936734890393/\ 1407780664322403677962601764229651033*c_0101_5^7 - 10118747695815493505513956307453826890059/1407780664322403677962601\ 764229651033*c_0101_5^6 - 1118584095612003604619725624226244855592/\ 1407780664322403677962601764229651033*c_0101_5^5 + 2268877964544480530949681595410214726677/14077806643224036779626017\ 64229651033*c_0101_5^4 - 120737316820289701939014571652101498771/14\ 07780664322403677962601764229651033*c_0101_5^3 - 302669005850007698471682334628657080760/140778066432240367796260176\ 4229651033*c_0101_5^2 + 29457926097114769047052436551326387891/1407\ 780664322403677962601764229651033*c_0101_5 + 14157881951936631370978272735290851036/1407780664322403677962601764\ 229651033, c_0011_4 + 507111075619955781511261113650949096/14077806643224036779626\ 01764229651033*c_0101_5^26 - 12463486940212365764857137091934091150\ /1407780664322403677962601764229651033*c_0101_5^25 + 37001702718564690240088434660938377166/1407780664322403677962601764\ 229651033*c_0101_5^24 + 121252412997614950264353609352841255565/140\ 7780664322403677962601764229651033*c_0101_5^23 - 450387772940158970718902064224292805161/140778066432240367796260176\ 4229651033*c_0101_5^22 - 638017555245330824448707556544119089486/14\ 07780664322403677962601764229651033*c_0101_5^21 + 2283486273837227438136053605897664074137/14077806643224036779626017\ 64229651033*c_0101_5^20 + 2696033574007149105599544083836092681453/\ 1407780664322403677962601764229651033*c_0101_5^19 - 6369079039131954166236794737676203834453/14077806643224036779626017\ 64229651033*c_0101_5^18 - 8825334497803003617852529826291932157560/\ 1407780664322403677962601764229651033*c_0101_5^17 + 9744100250473163996270453649285283008759/14077806643224036779626017\ 64229651033*c_0101_5^16 + 19196858868358051876859607912631024736511\ /1407780664322403677962601764229651033*c_0101_5^15 - 5802836755979111786077430253422675458919/14077806643224036779626017\ 64229651033*c_0101_5^14 - 25129835227879209886446807290043780624530\ /1407780664322403677962601764229651033*c_0101_5^13 - 3798689136951777586083056894869518617822/14077806643224036779626017\ 64229651033*c_0101_5^12 + 18464200136587661727781468440778897301751\ /1407780664322403677962601764229651033*c_0101_5^11 + 7194238260105805819943497675831343925413/14077806643224036779626017\ 64229651033*c_0101_5^10 - 7649085658727233931570715898128830182612/\ 1407780664322403677962601764229651033*c_0101_5^9 - 3612239435211741627152440289730787707358/14077806643224036779626017\ 64229651033*c_0101_5^8 + 2244455304832522161037457596240810495240/1\ 407780664322403677962601764229651033*c_0101_5^7 + 796839032210363534394866944513334962255/140778066432240367796260176\ 4229651033*c_0101_5^6 - 591241807750885202960216060169204312030/140\ 7780664322403677962601764229651033*c_0101_5^5 - 47466775510695425052628131965823875701/1407780664322403677962601764\ 229651033*c_0101_5^4 + 99073388746085735373161172525180520508/14077\ 80664322403677962601764229651033*c_0101_5^3 + 3257887801302890369117066908112568064/14077806643224036779626017642\ 29651033*c_0101_5^2 - 7226018711057795939585377795022382950/1407780\ 664322403677962601764229651033*c_0101_5 - 1954814544503027843715111855664715942/14077806643224036779626017642\ 29651033, c_0101_0 - 1161432045339173176313319691445871088/1407780664322403677962\ 601764229651033*c_0101_5^26 + 2652540683592193970823940907186205802\ 5/1407780664322403677962601764229651033*c_0101_5^25 - 38923700020881021651941935114664979478/1407780664322403677962601764\ 229651033*c_0101_5^24 - 338576476619517554897629038126413053864/140\ 7780664322403677962601764229651033*c_0101_5^23 + 434447278194127769896037824314807426265/140778066432240367796260176\ 4229651033*c_0101_5^22 + 2149849946558330620807551543560828425534/1\ 407780664322403677962601764229651033*c_0101_5^21 - 1474683278465811532530612376405825152291/14077806643224036779626017\ 64229651033*c_0101_5^20 - 8384859102264444710340910062634654383384/\ 1407780664322403677962601764229651033*c_0101_5^19 + 459395961300155185925967939866317725241/140778066432240367796260176\ 4229651033*c_0101_5^18 + 20005279954064685875158926069866589858976/\ 1407780664322403677962601764229651033*c_0101_5^17 + 9407851801931180758168146397581862697282/14077806643224036779626017\ 64229651033*c_0101_5^16 - 27234629679223254399004895711777052064021\ /1407780664322403677962601764229651033*c_0101_5^15 - 25749586743684696753744559154210129641777/1407780664322403677962601\ 764229651033*c_0101_5^14 + 1824236280029260621444306344376589987637\ 6/1407780664322403677962601764229651033*c_0101_5^13 + 30264766367649808117126645004817477084556/1407780664322403677962601\ 764229651033*c_0101_5^12 - 3357768704771863461074531603198155440876\ /1407780664322403677962601764229651033*c_0101_5^11 - 18915298516420037831467537029248820448528/1407780664322403677962601\ 764229651033*c_0101_5^10 - 2047307986891764927625199421202597883610\ /1407780664322403677962601764229651033*c_0101_5^9 + 7169208718213624707532595957179724522587/14077806643224036779626017\ 64229651033*c_0101_5^8 + 1010378783937485399224542737736041458802/1\ 407780664322403677962601764229651033*c_0101_5^7 - 1934869342196093926912403871563267346108/14077806643224036779626017\ 64229651033*c_0101_5^6 - 59221860862718326224041734669730539845/140\ 7780664322403677962601764229651033*c_0101_5^5 + 405731750058011596096684728671842982502/140778066432240367796260176\ 4229651033*c_0101_5^4 - 45687941932837969586568658980909830616/1407\ 780664322403677962601764229651033*c_0101_5^3 - 52920892740379827578230133617136008015/1407780664322403677962601764\ 229651033*c_0101_5^2 + 4628100645848421442784653989861425852/140778\ 0664322403677962601764229651033*c_0101_5 + 2981311686719673059233616836275540628/14077806643224036779626017642\ 29651033, c_0101_1 + 614398165158549010560809600010806179/14077806643224036779626\ 01764229651033*c_0101_5^26 - 14450738667387539677442938082506514214\ /1407780664322403677962601764229651033*c_0101_5^25 + 31146933394410293283956198823501668995/1407780664322403677962601764\ 229651033*c_0101_5^24 + 142387914768391232423560166857870788179/140\ 7780664322403677962601764229651033*c_0101_5^23 - 317739953313171208058049543893395446415/140778066432240367796260176\ 4229651033*c_0101_5^22 - 696749071247087554264298481736061642176/14\ 07780664322403677962601764229651033*c_0101_5^21 + 1173990695321191288548012616047372857933/14077806643224036779626017\ 64229651033*c_0101_5^20 + 2155070416804194540466248657124432055721/\ 1407780664322403677962601764229651033*c_0101_5^19 - 1949219829509028006041227272088092282349/14077806643224036779626017\ 64229651033*c_0101_5^18 - 3834994883736488531134408023948328049970/\ 1407780664322403677962601764229651033*c_0101_5^17 + 1491288135636569072052149185340400530297/14077806643224036779626017\ 64229651033*c_0101_5^16 + 2769300679209313478168642991882737289163/\ 1407780664322403677962601764229651033*c_0101_5^15 - 2429568437239203924771264459784660900514/14077806643224036779626017\ 64229651033*c_0101_5^14 + 292140483010352405358286677716476274609/1\ 407780664322403677962601764229651033*c_0101_5^13 + 7197400655021392962044749786538406848470/14077806643224036779626017\ 64229651033*c_0101_5^12 + 825634746393277576903789209889667866841/1\ 407780664322403677962601764229651033*c_0101_5^11 - 8467742002632520294742855942287375129559/14077806643224036779626017\ 64229651033*c_0101_5^10 - 3056713817043875954977957195255363024514/\ 1407780664322403677962601764229651033*c_0101_5^9 + 4446419605703315049909570613944761315184/14077806643224036779626017\ 64229651033*c_0101_5^8 + 1876493726154748584140069170751850179222/1\ 407780664322403677962601764229651033*c_0101_5^7 - 1476409229061699579675157749708536600029/14077806643224036779626017\ 64229651033*c_0101_5^6 - 418696419202341319537111826536961580463/14\ 07780664322403677962601764229651033*c_0101_5^5 + 402682508124581400667277837797082098401/140778066432240367796260176\ 4229651033*c_0101_5^4 - 5311380988978955196255025511577977303/14077\ 80664322403677962601764229651033*c_0101_5^3 - 64204614051666505264763871925401654490/1407780664322403677962601764\ 229651033*c_0101_5^2 + 7197639221686696009873633152132279842/140778\ 0664322403677962601764229651033*c_0101_5 + 4244707024338122880351760958746842322/14077806643224036779626017642\ 29651033, c_0101_4 + 1247814508320031887666203021939017235/1407780664322403677962\ 601764229651033*c_0101_5^26 - 2860786895195732715584433870957016882\ 8/1407780664322403677962601764229651033*c_0101_5^25 + 44342979034997218304363839044936363832/1407780664322403677962601764\ 229651033*c_0101_5^24 + 359708256856207634072253629869854692589/140\ 7780664322403677962601764229651033*c_0101_5^23 - 500582063430304952256998320220753968452/140778066432240367796260176\ 4229651033*c_0101_5^22 - 2252839065821746556232303991486161600021/1\ 407780664322403677962601764229651033*c_0101_5^21 + 1794046523056107173150018599357070114994/14077806643224036779626017\ 64229651033*c_0101_5^20 + 8728769144529229048550507957839096135879/\ 1407780664322403677962601764229651033*c_0101_5^19 - 1291638307968971619300328753533968247450/14077806643224036779626017\ 64229651033*c_0101_5^18 - 20829835707553678218115194535350936705193\ /1407780664322403677962601764229651033*c_0101_5^17 - 8099345011047172426889802550320229405807/14077806643224036779626017\ 64229651033*c_0101_5^16 + 28491721082683074535427547470774997127203\ /1407780664322403677962601764229651033*c_0101_5^15 + 24252693914571430095865101021127920271327/1407780664322403677962601\ 764229651033*c_0101_5^14 - 1931478211811550938759992750965135394300\ 1/1407780664322403677962601764229651033*c_0101_5^13 - 28392405763703479417620578198939918116225/1407780664322403677962601\ 764229651033*c_0101_5^12 + 3997490654408472200026074596206819387197\ /1407780664322403677962601764229651033*c_0101_5^11 + 16545718022479987541657009148051101119972/1407780664322403677962601\ 764229651033*c_0101_5^10 + 1313961614846237472526640520801763334572\ /1407780664322403677962601764229651033*c_0101_5^9 - 5334429960040835183057464061235389814094/14077806643224036779626017\ 64229651033*c_0101_5^8 - 289626057196949469410940975953952551818/14\ 07780664322403677962601764229651033*c_0101_5^7 + 1212673621878510158081290642041394404207/14077806643224036779626017\ 64229651033*c_0101_5^6 - 206329992546545444764291265166527644735/14\ 07780664322403677962601764229651033*c_0101_5^5 - 223484730732115552265085856537177085857/140778066432240367796260176\ 4229651033*c_0101_5^4 + 56132170760263675997256372659941422374/1407\ 780664322403677962601764229651033*c_0101_5^3 + 13577639353092751745228097795113477122/1407780664322403677962601764\ 229651033*c_0101_5^2 - 1990579186918188233434814395221021450/140778\ 0664322403677962601764229651033*c_0101_5 + 872649841734193944670191688396833156/140778066432240367796260176422\ 9651033, c_0101_5^27 - 23*c_0101_5^26 + 37*c_0101_5^25 + 291*c_0101_5^24 - 435*c_0101_5^23 - 1833*c_0101_5^22 + 1716*c_0101_5^21 + 7214*c_0101_5^20 - 2205*c_0101_5^19 - 17917*c_0101_5^18 - 3791*c_0101_5^17 + 26911*c_0101_5^16 + 16420*c_0101_5^15 - 23274*c_0101_5^14 - 22544*c_0101_5^13 + 11573*c_0101_5^12 + 16304*c_0101_5^11 - 3821*c_0101_5^10 - 7251*c_0101_5^9 + 1326*c_0101_5^8 + 2133*c_0101_5^7 - 583*c_0101_5^6 - 397*c_0101_5^5 + 180*c_0101_5^4 + 33*c_0101_5^3 - 25*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB