Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 3052677514] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0204 geometric_solution 4.01830272 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 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 0 0 0 0 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.427796030205 0.106911180603 0 2 2 0 0132 0132 3201 1023 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 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.894525717515 0.265869892451 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 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.295850638085 0.146232543937 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 -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 0 0 0 0 0 0 0.598632202991 0.650648129276 3 6 5 5 0132 0132 3012 1230 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 -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.991006048969 1.721429999171 4 4 6 3 3012 1230 3201 0132 0 0 0 0 0 -1 0 1 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 1 -1 -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.991006048969 1.721429999171 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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.473113421778 0.861075628775 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2031842945948504031886247859851303/12371696789072363604864088469433\ 7*c_0101_5^19 - 15718232314085766110841560196721161/123716967890723\ 636048640884694337*c_0101_5^18 - 1614291998594859474789026246357527\ 1/123716967890723636048640884694337*c_0101_5^17 + 24213977899870909101114184301528475/1237169678907236360486408846943\ 37*c_0101_5^16 - 125363708943335142655670940614903811/1237169678907\ 23636048640884694337*c_0101_5^15 - 237517359056440806780307000524029000/123716967890723636048640884694\ 337*c_0101_5^14 + 489761158302187993939584421876548195/123716967890\ 723636048640884694337*c_0101_5^13 + 51599128423538016046953710985664522/9516689837747972003741606514949\ *c_0101_5^12 + 2074931593021322075870241655331591306/12371696789072\ 3636048640884694337*c_0101_5^11 + 830004952931465377376364293954436\ 4845/123716967890723636048640884694337*c_0101_5^10 + 5306145017911869753324737061667068526/12371696789072363604864088469\ 4337*c_0101_5^9 - 13734873161608225672914497393266742713/1237169678\ 90723636048640884694337*c_0101_5^8 - 17822150004760282123863105519916921771/1237169678907236360486408846\ 94337*c_0101_5^7 + 4898439398623840526124115483791581464/1237169678\ 90723636048640884694337*c_0101_5^6 + 14692956303895972684699391146345762969/1237169678907236360486408846\ 94337*c_0101_5^5 + 489440693205950918389480705624005973/12371696789\ 0723636048640884694337*c_0101_5^4 - 355258097060515538821085638309452762/951668983774797200374160651494\ 9*c_0101_5^3 - 59809688990153812698131046775284122/1237169678907236\ 36048640884694337*c_0101_5^2 + 529716090259923301786097570972096520\ /123716967890723636048640884694337*c_0101_5 - 65382994107242684149058505870454593/1237169678907236360486408846943\ 37, c_0011_0 - 1, c_0011_3 - 18321911871250944255484599754101/951668983774797200374160651\ 4949*c_0101_5^19 - 114903864001539920737416221373884/95166898377479\ 72003741606514949*c_0101_5^18 + 23723413800222028734997267207299/95\ 16689837747972003741606514949*c_0101_5^17 + 189068808485593897874825740855918/9516689837747972003741606514949*c\ _0101_5^16 - 1415948052510734565362397710029394/9516689837747972003\ 741606514949*c_0101_5^15 - 91632898894121242286537850308851/9516689\ 837747972003741606514949*c_0101_5^14 + 4625503416554617521027110981124174/9516689837747972003741606514949*\ c_0101_5^13 - 776556755177554434803776324068514/9516689837747972003\ 741606514949*c_0101_5^12 + 19448710166453404169453208722090931/9516\ 689837747972003741606514949*c_0101_5^11 + 46467697125413518488580151944626397/9516689837747972003741606514949\ *c_0101_5^10 - 20959264243722411972909828257344705/9516689837747972\ 003741606514949*c_0101_5^9 - 94520248257250073992547788226265987/95\ 16689837747972003741606514949*c_0101_5^8 - 16607995379264656293826742224778677/9516689837747972003741606514949\ *c_0101_5^7 + 80025104068063120667574099250891352/95166898377479720\ 03741606514949*c_0101_5^6 + 16741339792375154216331832865875399/951\ 6689837747972003741606514949*c_0101_5^5 - 31079178392374605305403364662211088/9516689837747972003741606514949\ *c_0101_5^4 - 1741987004486500716843887083115245/951668983774797200\ 3741606514949*c_0101_5^3 + 4696832780313830869702803606182309/95166\ 89837747972003741606514949*c_0101_5^2 - 523265206677359457901304145531454/9516689837747972003741606514949*c\ _0101_5 - 64461665714701754233269507138218/951668983774797200374160\ 6514949, c_0011_5 + 5724958424436195501141336084333/9516689837747972003741606514\ 949*c_0101_5^19 + 35587999441340707423774995385424/9516689837747972\ 003741606514949*c_0101_5^18 - 9406722100286774375012045087492/95166\ 89837747972003741606514949*c_0101_5^17 - 58692288292380301742301475479562/9516689837747972003741606514949*c_\ 0101_5^16 + 446285134934427832654893028772782/951668983774797200374\ 1606514949*c_0101_5^15 + 5072848439877910188294163089210/9516689837\ 747972003741606514949*c_0101_5^14 - 1448326579970281960478859794319143/9516689837747972003741606514949*\ c_0101_5^13 + 327411046923191562984520458232838/9516689837747972003\ 741606514949*c_0101_5^12 - 6078501171539110490678985762095695/95166\ 89837747972003741606514949*c_0101_5^11 - 14197015944743408474926872399337624/9516689837747972003741606514949\ *c_0101_5^10 + 7349030747688891619887349090194144/95166898377479720\ 03741606514949*c_0101_5^9 + 29120151628696684886216645995150382/951\ 6689837747972003741606514949*c_0101_5^8 + 3228813178860126079778524476156037/9516689837747972003741606514949*\ c_0101_5^7 - 25664638365236840264580540590436316/951668983774797200\ 3741606514949*c_0101_5^6 - 3700950461208457497807921470051929/95166\ 89837747972003741606514949*c_0101_5^5 + 10476921050457562225650080905042614/9516689837747972003741606514949\ *c_0101_5^4 + 120549703378791666127583399852837/9516689837747972003\ 741606514949*c_0101_5^3 - 1640441827014978657491420357631292/951668\ 9837747972003741606514949*c_0101_5^2 + 215379818880672601874783576372885/9516689837747972003741606514949*c\ _0101_5 + 24386779057270305123364213938609/951668983774797200374160\ 6514949, c_0101_0 - 11725133228512807074197875618311/951668983774797200374160651\ 4949*c_0101_5^19 - 73592276311096207190371433417836/951668983774797\ 2003741606514949*c_0101_5^18 + 14684284217176118782586773781424/951\ 6689837747972003741606514949*c_0101_5^17 + 120724464643109585338280637205488/9516689837747972003741606514949*c\ _0101_5^16 - 902302014580630119250235357208614/95166898377479720037\ 41606514949*c_0101_5^15 - 60060484393682366100651339318078/95166898\ 37747972003741606514949*c_0101_5^14 + 2948352480295678283750502101175783/9516689837747972003741606514949*\ c_0101_5^13 - 450182956280645193457880600434363/9516689837747972003\ 741606514949*c_0101_5^12 + 12499456842291057511657579701845763/9516\ 689837747972003741606514949*c_0101_5^11 + 29718495075151579972303942970288360/9516689837747972003741606514949\ *c_0101_5^10 - 13164987410598671325544864221507404/9516689837747972\ 003741606514949*c_0101_5^9 - 60776153542876770400743918167196320/95\ 16689837747972003741606514949*c_0101_5^8 - 12571629544956991481311730988388205/9516689837747972003741606514949\ *c_0101_5^7 + 49677424199508846801318197289479849/95166898377479720\ 03741606514949*c_0101_5^6 + 11946537329791297517869426532167068/951\ 6689837747972003741606514949*c_0101_5^5 - 18003016562577364820958287586427476/9516689837747972003741606514949\ *c_0101_5^4 - 1198897152366620472082800663895129/951668983774797200\ 3741606514949*c_0101_5^3 + 2600033542509286065873105116674290/95166\ 89837747972003741606514949*c_0101_5^2 - 289845983015044222621699263584954/9516689837747972003741606514949*c\ _0101_5 - 35021533443112582257067203304300/951668983774797200374160\ 6514949, c_0101_1 + 5997191763130738193075511725284/9516689837747972003741606514\ 949*c_0101_5^19 + 37035256065426047940583610411203/9516689837747972\ 003741606514949*c_0101_5^18 - 11332113418704595233622831972532/9516\ 689837747972003741606514949*c_0101_5^17 - 60770098159366311944529523447373/9516689837747972003741606514949*c_\ 0101_5^16 + 470246440405749253715775637519251/951668983774797200374\ 1606514949*c_0101_5^15 - 13469451951136826084700700607562/951668983\ 7747972003741606514949*c_0101_5^14 - 1513472822127999516130975776309877/9516689837747972003741606514949*\ c_0101_5^13 + 406881517882717826734226036134473/9516689837747972003\ 741606514949*c_0101_5^12 - 6384853119907678973771072527110977/95166\ 89837747972003741606514949*c_0101_5^11 - 14607635598420956162890787058819593/9516689837747972003741606514949\ *c_0101_5^10 + 8240303578757352043108755069771537/95166898377479720\ 03741606514949*c_0101_5^9 + 30028654811463558155793310601503401/951\ 6689837747972003741606514949*c_0101_5^8 + 1982787275075807280287394172726590/9516689837747972003741606514949*\ c_0101_5^7 - 27188440259534786288598183285650196/951668983774797200\ 3741606514949*c_0101_5^6 - 2915985264575647281530512254326385/95166\ 89837747972003741606514949*c_0101_5^5 + 11250357117381133918797248638422238/9516689837747972003741606514949\ *c_0101_5^4 - 15599252827847959007348239135375/95166898377479720037\ 41606514949*c_0101_5^3 - 1659789264866250337134400687909573/9516689\ 837747972003741606514949*c_0101_5^2 + 211438843784374069281851769124280/9516689837747972003741606514949*c\ _0101_5 + 17468344157832677173209119377514/951668983774797200374160\ 6514949, c_0101_2 - 2938163699893509420324790054029/9516689837747972003741606514\ 949*c_0101_5^19 - 17415532293734005093588650320754/9516689837747972\ 003741606514949*c_0101_5^18 + 10789710020807096480259254971395/9516\ 689837747972003741606514949*c_0101_5^17 + 33421356596536887386002874561682/9516689837747972003741606514949*c_\ 0101_5^16 - 235799434041923224194237809147491/951668983774797200374\ 1606514949*c_0101_5^15 + 58219850857540285590267990158218/951668983\ 7747972003741606514949*c_0101_5^14 + 793838090303722235524214301849847/9516689837747972003741606514949*c\ _0101_5^13 - 350913115285125895545307289559701/95166898377479720037\ 41606514949*c_0101_5^12 + 3020848621382804080001708362291700/951668\ 9837747972003741606514949*c_0101_5^11 + 6328526403824890061695378537618854/9516689837747972003741606514949*\ c_0101_5^10 - 6655576860049392782370519058096089/951668983774797200\ 3741606514949*c_0101_5^9 - 16044004285283935305271306670542441/9516\ 689837747972003741606514949*c_0101_5^8 + 2059359180654838944147585654609515/9516689837747972003741606514949*\ c_0101_5^7 + 16593551841273121247416058720737857/951668983774797200\ 3741606514949*c_0101_5^6 + 458637084980883316228909816778989/951668\ 9837747972003741606514949*c_0101_5^5 - 7204255394129128361276682262486558/9516689837747972003741606514949*\ c_0101_5^4 + 245836726906450220345630988155135/95166898377479720037\ 41606514949*c_0101_5^3 + 1099208994283716955474573895749099/9516689\ 837747972003741606514949*c_0101_5^2 - 182612283313711952073039669347587/9516689837747972003741606514949*c\ _0101_5 - 14650263030079413217415144477601/951668983774797200374160\ 6514949, c_0101_5^20 + 6*c_0101_5^19 - 3*c_0101_5^18 - 10*c_0101_5^17 + 80*c_0101_5^16 - 16*c_0101_5^15 - 254*c_0101_5^14 + 110*c_0101_5^13 - 1073*c_0101_5^12 - 2246*c_0101_5^11 + 1837*c_0101_5^10 + 4871*c_0101_5^9 - 454*c_0101_5^8 - 4605*c_0101_5^7 + 233*c_0101_5^6 + 1915*c_0101_5^5 - 357*c_0101_5^4 - 275*c_0101_5^3 + 96*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB