Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 4038159396] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1544 geometric_solution 5.33545782 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 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.720622854606 0.932866053508 0 5 2 5 0132 0132 2031 2310 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 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.882124105586 0.721317023648 3 0 4 1 1302 0132 2031 1302 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 -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.481393312953 0.671350582870 3 2 3 0 2310 2031 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.358725193863 1.005389412267 4 4 0 2 1302 2031 0132 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 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.510312806071 0.372097856498 1 1 6 6 3201 0132 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 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162801458391 0.407404195976 5 6 6 5 3201 1230 3012 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 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.818941976656 0.802377191706 ==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' : 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' : negation(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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0110_4'])})} 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_4, c_0011_6, c_0101_0, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 43038102493161668276179468697741075333544891185/1047297045383783565\ 133318473370587465733147656928*c_0110_4^30 + 31078249674704626843733141645005334182510589/9219164131899503214201\ 74712474108684624249698*c_0110_4^28 - 1663563770656126899215088017537496454970442578847/52364852269189178\ 2566659236685293732866573828464*c_0110_4^26 - 2526335370015134971330520700144973104467003590859/52364852269189178\ 2566659236685293732866573828464*c_0110_4^24 + 80184484876441237860194701857691321042275634004089/1047297045383783\ 565133318473370587465733147656928*c_0110_4^22 + 849847641672173341172723365774003346858349744993/737533130551960257\ 1361397699792869476993997584*c_0110_4^20 - 637922648282317259788170095711186201462886078715209/104729704538378\ 3565133318473370587465733147656928*c_0110_4^18 - 813824813479945639103668409506504265725715666877495/104729704538378\ 3565133318473370587465733147656928*c_0110_4^16 + 32685650277727492481810169673152588087585760539295/5236485226918917\ 82566659236685293732866573828464*c_0110_4^14 + 1464107058581364578610753555730630954541344496689035/10472970453837\ 83565133318473370587465733147656928*c_0110_4^12 + 1571878937927131258549578456287352838778635112352961/10472970453837\ 83565133318473370587465733147656928*c_0110_4^10 + 1008337201822573946995506338259299838912274384958325/65456065336486\ 472820832404585661716608321728558*c_0110_4^8 - 22939503471359137030196519352568441290232613059691461/5236485226918\ 91782566659236685293732866573828464*c_0110_4^6 + 548790309734874673115383208174027830554307318989039/147506626110392\ 05142722795399585738953987995168*c_0110_4^4 - 2887681278504478854369668065107905389902579051923123/26182426134594\ 5891283329618342646866433286914232*c_0110_4^2 + 30670478287532938007782272776671156490914444377031/6545606533648647\ 2820832404585661716608321728558, c_0011_0 - 1, c_0011_3 + 419187191673208122105871003131867433313817/20775581142308739\ 6376377399994165337380112608*c_0110_4^31 + 115293633912532861659612701359800166041015/519389528557718490940943\ 49998541334345028152*c_0110_4^29 - 16096443029461249271344124893158086449826743/1038779057115436981881\ 88699997082668690056304*c_0110_4^27 - 29029202142679099447771819928189168374952343/1038779057115436981881\ 88699997082668690056304*c_0110_4^25 + 758430501497364276710402910798289533531061273/207755811423087396376\ 377399994165337380112608*c_0110_4^23 + 685341397548432085759916820134742828181294661/103877905711543698188\ 188699997082668690056304*c_0110_4^21 - 5692097434571284611934707625746968702111769865/20775581142308739637\ 6377399994165337380112608*c_0110_4^19 - 9128621467053434301921125358677481012167821755/20775581142308739637\ 6377399994165337380112608*c_0110_4^17 - 1363880703693668876203537146486693047544832979/10387790571154369818\ 8188699997082668690056304*c_0110_4^15 + 10983326294951734899701221270133302241818621515/2077558114230873963\ 76377399994165337380112608*c_0110_4^13 + 15705881115493362739925348400103161110799270285/2077558114230873963\ 76377399994165337380112608*c_0110_4^11 + 40365392301629638654589834311701747077918044911/5193895285577184909\ 4094349998541334345028152*c_0110_4^9 - 199298685974458646965621278750952458977157068077/103877905711543698\ 188188699997082668690056304*c_0110_4^7 + 302934481458913270581944654683925506282628185785/207755811423087396\ 376377399994165337380112608*c_0110_4^5 - 2436417211104245469581393316657095158578029495/64923691069714811367\ 61793749817666793128519*c_0110_4^3 + 42813570020030520121389088327602901384322659/6492369106971481136761\ 793749817666793128519*c_0110_4, c_0011_4 + 154922196513436363579777352566973703449815/20775581142308739\ 6376377399994165337380112608*c_0110_4^31 + 43095746619631956545454800395839680999053/5193895285577184909409434\ 9998541334345028152*c_0110_4^29 - 594685618274989698564572648995678\ 4952769337/103877905711543698188188699997082668690056304*c_0110_4^2\ 7 - 10800804578024661021578434066233904144077673/103877905711543698\ 188188699997082668690056304*c_0110_4^25 + 279889664631908106994089357603129401527557655/207755811423087396376\ 377399994165337380112608*c_0110_4^23 + 254819197815200146967475737084800791284173187/103877905711543698188\ 188699997082668690056304*c_0110_4^21 - 2094507708883439473653636196233622453460854823/20775581142308739637\ 6377399994165337380112608*c_0110_4^19 - 3390364354272193755055812900100981266196630117/20775581142308739637\ 6377399994165337380112608*c_0110_4^17 - 531464185686443731428007550294802422883379557/103877905711543698188\ 188699997082668690056304*c_0110_4^15 + 3991967760752947304486755691499288288573607973/20775581142308739637\ 6377399994165337380112608*c_0110_4^13 + 5773493421459533274412266580812439900604184723/20775581142308739637\ 6377399994165337380112608*c_0110_4^11 + 14922245210208603583824826935059191569664844613/5193895285577184909\ 4094349998541334345028152*c_0110_4^9 - 73286086385104602740345973886834220276621384003/1038779057115436981\ 88188699997082668690056304*c_0110_4^7 + 110798303276608009869123442619404205127957992279/207755811423087396\ 376377399994165337380112608*c_0110_4^5 - 1769504753664167211182410477827410309467613375/12984738213942962273\ 523587499635333586257038*c_0110_4^3 + 15988119314213462287397030749976197621905443/6492369106971481136761\ 793749817666793128519*c_0110_4, c_0011_6 - 1909173047894508680011488278413127780994387/1038779057115436\ 98188188699997082668690056304*c_0110_4^30 - 239251738676250410123440907215647012083051/129847382139429622735235\ 87499635333586257038*c_0110_4^28 + 73503912991018790489894395315151137504789365/5193895285577184909409\ 4349998541334345028152*c_0110_4^26 + 125247641499347721123640617262213750314229553/519389528557718490940\ 94349998541334345028152*c_0110_4^24 - 3493606354713844940472913534785375342062537323/10387790571154369818\ 8188699997082668690056304*c_0110_4^22 - 2972237887784297712283115136479021387120328353/51938952855771849094\ 094349998541334345028152*c_0110_4^20 + 26822764113379622388272550034646952667070352059/1038779057115436981\ 88188699997082668690056304*c_0110_4^18 + 39935342680162314972608743421895029314082179805/1038779057115436981\ 88188699997082668690056304*c_0110_4^16 + 3402916924636345979671817542870790780718152359/51938952855771849094\ 094349998541334345028152*c_0110_4^14 - 56815442386671801684934337103537034009487437009/1038779057115436981\ 88188699997082668690056304*c_0110_4^12 - 73552895358139414052582273728099841499001574299/1038779057115436981\ 88188699997082668690056304*c_0110_4^10 - 91322731080010256320108341676346559272712270557/1298473821394296227\ 3523587499635333586257038*c_0110_4^8 + 945994867119741690695379079773750340492097543999/519389528557718490\ 94094349998541334345028152*c_0110_4^6 - 1481772450776538254263928811080719470112260845307/10387790571154369\ 8188188699997082668690056304*c_0110_4^4 + 98636026968156325281529520699288354858849055455/2596947642788592454\ 7047174999270667172514076*c_0110_4^2 - 543226440366900060411999838036888428412068226/649236910697148113676\ 1793749817666793128519, c_0101_0 + 132132497579885879263046825282446864932001/10387790571154369\ 8188188699997082668690056304*c_0110_4^30 + 36098943646450452557078950481980242520981/2596947642788592454704717\ 4999270667172514076*c_0110_4^28 - 507479342335567614284919920160065\ 0748528703/51938952855771849094094349998541334345028152*c_0110_4^26 - 9114198782327219213096692930977632115437335/519389528557718490940\ 94349998541334345028152*c_0110_4^24 + 239270418432728084858156776597580066001751809/103877905711543698188\ 188699997082668690056304*c_0110_4^22 + 215261099866615969396220541524971018448560737/519389528557718490940\ 94349998541334345028152*c_0110_4^20 - 1798794862843922569140535714756673124325457521/10387790571154369818\ 8188699997082668690056304*c_0110_4^18 - 2869128556390620273432656229288249872985595819/10387790571154369818\ 8188699997082668690056304*c_0110_4^16 - 416208259003612572387764798095945312330726711/519389528557718490940\ 94349998541334345028152*c_0110_4^14 + 3495679267099393797607232789317006976622506771/10387790571154369818\ 8188699997082668690056304*c_0110_4^12 + 4966193847016914732756540909645360605097542781/10387790571154369818\ 8188699997082668690056304*c_0110_4^10 + 12721573545710517535382503688321277754126600149/2596947642788592454\ 7047174999270667172514076*c_0110_4^8 - 63006299794677022112637652432059119350267842037/5193895285577184909\ 4094349998541334345028152*c_0110_4^6 + 96068089091152630356410606032260650577335096753/1038779057115436981\ 88188699997082668690056304*c_0110_4^4 - 3103329668544323727980376155486780007688445615/12984738213942962273\ 523587499635333586257038*c_0110_4^2 + 26825450705817057833992057577626703762417216/6492369106971481136761\ 793749817666793128519, c_0101_6 - 919701464879421094620325680154938012786273/20775581142308739\ 6376377399994165337380112608*c_0110_4^31 - 243587443884342114754376265807146887483107/519389528557718490940943\ 49998541334345028152*c_0110_4^29 + 35357514582100719846666178372048996990103255/1038779057115436981881\ 88699997082668690056304*c_0110_4^27 + 62297479328677709872509874459013640378947471/1038779057115436981881\ 88699997082668690056304*c_0110_4^25 - 1672340403686954056514824760206749101470097377/20775581142308739637\ 6377399994165337380112608*c_0110_4^23 - 1474370963101232178006721404504350477772966853/10387790571154369818\ 8188699997082668690056304*c_0110_4^21 + 12677480077029690614698844347905617837755251969/2077558114230873963\ 76377399994165337380112608*c_0110_4^19 + 19729563460080130243149339584753604459320504355/2077558114230873963\ 76377399994165337380112608*c_0110_4^17 + 2412336630201134986992380144960673526124925787/10387790571154369818\ 8188699997082668690056304*c_0110_4^15 - 25632550173257723207473559230100575485104588883/2077558114230873963\ 76377399994165337380112608*c_0110_4^13 - 35182610457277154611476742171206810544767869797/2077558114230873963\ 76377399994165337380112608*c_0110_4^11 - 88412341516651952997434167239133304402861934391/5193895285577184909\ 4094349998541334345028152*c_0110_4^9 + 444807933622059304590549887640220140279840782141/103877905711543698\ 188188699997082668690056304*c_0110_4^7 - 683232267873546838536257111073326207397643098465/207755811423087396\ 376377399994165337380112608*c_0110_4^5 + 11040506414277493368162193864302423844488000743/1298473821394296227\ 3523587499635333586257038*c_0110_4^3 - 116559219865597900602019058649375677313075315/129847382139429622735\ 23587499635333586257038*c_0110_4, c_0110_4^32 - 78*c_0110_4^28 - 54*c_0110_4^26 + 1961*c_0110_4^24 + 1278*c_0110_4^22 - 17161*c_0110_4^20 - 6807*c_0110_4^18 + 17342*c_0110_4^16 + 33163*c_0110_4^14 + 8545*c_0110_4^12 + 344112*c_0110_4^10 - 1374362*c_0110_4^8 + 1772089*c_0110_4^6 - 988764*c_0110_4^4 + 213280*c_0110_4^2 - 4544 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB