Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1191631486] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2376 geometric_solution 5.74516639 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455026175247 0.260433776787 2 0 3 0 0132 2310 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889578160032 0.687030278015 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 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 -1 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 1.053754138593 1.023556304471 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 -1 1 -1 0 1 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 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053754138593 1.023556304471 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 -1 0 1 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.408102059773 0.400385331537 5 3 2 5 3201 1023 0132 2310 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 0 -1 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.622175403158 0.667268517724 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 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.707586224046 0.865590983898 ==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' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 305105762277584940288931898670752330879303356/788278767231070090620\ 3498297763948236445565*c_0101_6^22 - 700608604675585069175545731523442398448376645/157655753446214018124\ 0699659552789647289113*c_0101_6^21 - 1384939521493491677171784010773338879902903234/78827876723107009062\ 03498297763948236445565*c_0101_6^20 + 46275564593526404468513644355597026043435682433/7882787672310700906\ 203498297763948236445565*c_0101_6^19 + 24065119717250780220042712678942507955360397173/7882787672310700906\ 203498297763948236445565*c_0101_6^18 - 200873579397201529521318289760324155012505886296/788278767231070090\ 6203498297763948236445565*c_0101_6^17 + 22510650861888951235498336162176170809518324468/1576557534462140181\ 240699659552789647289113*c_0101_6^16 + 360890605338605042915665917797925968154951753121/788278767231070090\ 6203498297763948236445565*c_0101_6^15 - 932171774652240599383177847513343919089271765102/788278767231070090\ 6203498297763948236445565*c_0101_6^14 - 199337226488710891909274113386076128191338653551/788278767231070090\ 6203498297763948236445565*c_0101_6^13 + 1978630833012394854763714543333645862316764595436/78827876723107009\ 06203498297763948236445565*c_0101_6^12 + 29172784564165544422924417467871270493591360596/7882787672310700906\ 203498297763948236445565*c_0101_6^11 - 2266716251508831081489524453382234285460358865066/78827876723107009\ 06203498297763948236445565*c_0101_6^10 - 93788792065753584920993715492001625530798866866/7882787672310700906\ 203498297763948236445565*c_0101_6^9 + 368646608125738966058236311589468059135887115713/157655753446214018\ 1240699659552789647289113*c_0101_6^8 + 144140017418703921370478200364766344652610138882/788278767231070090\ 6203498297763948236445565*c_0101_6^7 - 218212484122520800725894317217098758713519430378/157655753446214018\ 1240699659552789647289113*c_0101_6^6 - 94058475129425595786512569488803904922752069131/7882787672310700906\ 203498297763948236445565*c_0101_6^5 + 26462934795939965646136598562752219157108462659/4636933924888647591\ 88441076339055778614445*c_0101_6^4 + 4796675711321052591603014557350883797496391118/15765575344621401812\ 40699659552789647289113*c_0101_6^3 - 6611771434918207074472106183461215958031482714/46369339248886475918\ 8441076339055778614445*c_0101_6^2 - 1398544801666103577440303524918612972624651029/78827876723107009062\ 03498297763948236445565*c_0101_6 + 11270439725113490619943222948699380521277080778/7882787672310700906\ 203498297763948236445565, c_0011_0 - 1, c_0011_1 + 358640309137750738437461997255348076904/58034216832148280248\ 8662173140245029555*c_0101_6^22 + 827082640931795320882490574121408\ 253846/116068433664296560497732434628049005911*c_0101_6^21 + 1824127989236754246670416467092823857131/58034216832148280248866217\ 3140245029555*c_0101_6^20 - 543911230944231338249373514839488586695\ 97/580342168321482802488662173140245029555*c_0101_6^19 - 30937609256458517009027950400864637220972/5803421683214828024886621\ 73140245029555*c_0101_6^18 + 23575858394700768961204678766788724494\ 7229/580342168321482802488662173140245029555*c_0101_6^17 - 24226109113169050201613239520124870091541/1160684336642965604977324\ 34628049005911*c_0101_6^16 - 43487698750495930697891773928988756115\ 3709/580342168321482802488662173140245029555*c_0101_6^15 + 1082349527237614558738815844088927362133878/58034216832148280248866\ 2173140245029555*c_0101_6^14 + 289891968272183599154743445170344674\ 407364/580342168321482802488662173140245029555*c_0101_6^13 - 2339928835913767570589932251431065337480439/58034216832148280248866\ 2173140245029555*c_0101_6^12 - 127431289825154866405833426877557485\ 986584/580342168321482802488662173140245029555*c_0101_6^11 + 2689881388556411896707241355227940870201414/58034216832148280248866\ 2173140245029555*c_0101_6^10 + 202411852975726414331891506958933348\ 406419/580342168321482802488662173140245029555*c_0101_6^9 - 435834876315024427562412495557720839974546/116068433664296560497732\ 434628049005911*c_0101_6^8 - 23782170424792293948210154957179052753\ 6073/580342168321482802488662173140245029555*c_0101_6^7 + 257655941883202394113792704961738760132165/116068433664296560497732\ 434628049005911*c_0101_6^6 + 14594953529770637233595076040011689161\ 5529/580342168321482802488662173140245029555*c_0101_6^5 - 529139555381685829381165613843155166506832/580342168321482802488662\ 173140245029555*c_0101_6^4 - 78560273339883994066283513001264129855\ 28/116068433664296560497732434628049005911*c_0101_6^3 + 132175422823985444613588379609338681208747/580342168321482802488662\ 173140245029555*c_0101_6^2 + 31259250921017290819003361133568208238\ 41/580342168321482802488662173140245029555*c_0101_6 - 12901225879335241971655958689056948532372/5803421683214828024886621\ 73140245029555, c_0011_3 + 207961461212407478479724386461561282341/58034216832148280248\ 8662173140245029555*c_0101_6^22 + 482690891288002830015094552172008\ 507024/116068433664296560497732434628049005911*c_0101_6^21 + 1236640925824131278356460059890505551114/58034216832148280248866217\ 3140245029555*c_0101_6^20 - 314535479326433952690722259380330899860\ 18/580342168321482802488662173140245029555*c_0101_6^19 - 20244959554941723283479579126905668025603/5803421683214828024886621\ 73140245029555*c_0101_6^18 + 13534542215844960154070442752117969650\ 0906/580342168321482802488662173140245029555*c_0101_6^17 - 12130735634281463757186590038325927087856/1160684336642965604977324\ 34628049005911*c_0101_6^16 - 25755484393142820588059280515716895305\ 6116/580342168321482802488662173140245029555*c_0101_6^15 + 611313495912165976757416307595899794003342/580342168321482802488662\ 173140245029555*c_0101_6^14 + 2135331633969306933504559329988699667\ 81446/580342168321482802488662173140245029555*c_0101_6^13 - 1348378090183321059613582698475686992918006/58034216832148280248866\ 2173140245029555*c_0101_6^12 - 163622081359831000845190748138417264\ 246946/580342168321482802488662173140245029555*c_0101_6^11 + 1556304167942267102756252898821764575663366/58034216832148280248866\ 2173140245029555*c_0101_6^10 + 207095254796644693918002363004061258\ 613556/580342168321482802488662173140245029555*c_0101_6^9 - 251287486809176699890105847912458556614235/116068433664296560497732\ 434628049005911*c_0101_6^8 - 20167449361531626168072669426708564271\ 5232/580342168321482802488662173140245029555*c_0101_6^7 + 148265682089192557551673193482602893912718/116068433664296560497732\ 434628049005911*c_0101_6^6 + 11810800168201088162300349116922165209\ 6376/580342168321482802488662173140245029555*c_0101_6^5 - 305817180675267480847118011396633117910313/580342168321482802488662\ 173140245029555*c_0101_6^4 - 67470499972619451811176606982305392586\ 61/116068433664296560497732434628049005911*c_0101_6^3 + 78475188835373133355061066661702590201798/5803421683214828024886621\ 73140245029555*c_0101_6^2 + 355629053613478265724525987822744123569\ 4/580342168321482802488662173140245029555*c_0101_6 - 8082008508941022108084791845166656437998/58034216832148280248866217\ 3140245029555, c_0101_0 - 245942912176827344004191899040992654613/58034216832148280248\ 8662173140245029555*c_0101_6^22 - 568195447720349544845111009636823\ 336669/116068433664296560497732434628049005911*c_0101_6^21 - 1323694733111202054521634083529763636377/58034216832148280248866217\ 3140245029555*c_0101_6^20 + 371171607583531508918216285544522500128\ 94/580342168321482802488662173140245029555*c_0101_6^19 + 22020383326589098953852371960802952204444/5803421683214828024886621\ 73140245029555*c_0101_6^18 - 15905621939802549681123959198970289792\ 5183/580342168321482802488662173140245029555*c_0101_6^17 + 15904002524151758536178988981477813573159/1160684336642965604977324\ 34628049005911*c_0101_6^16 + 29052153731027668744907949094537918945\ 0898/580342168321482802488662173140245029555*c_0101_6^15 - 725372512323988168023779987352345574377416/580342168321482802488662\ 173140245029555*c_0101_6^14 - 2044708807411012640653936964879474063\ 35613/580342168321482802488662173140245029555*c_0101_6^13 + 1552391807200532737288354132940424459315578/58034216832148280248866\ 2173140245029555*c_0101_6^12 + 141658505785958046766686135879065317\ 150313/580342168321482802488662173140245029555*c_0101_6^11 - 1766440511336278386561316160886908646675088/58034216832148280248866\ 2173140245029555*c_0101_6^10 - 213843705605055071536924390043836154\ 292358/580342168321482802488662173140245029555*c_0101_6^9 + 282902058232865458540934005805294148367108/116068433664296560497732\ 434628049005911*c_0101_6^8 + 21706474521936120878567939691595407128\ 1456/580342168321482802488662173140245029555*c_0101_6^7 - 164051736660081939436026745273011790974679/116068433664296560497732\ 434628049005911*c_0101_6^6 - 13097980653315604124610315109561445971\ 2553/580342168321482802488662173140245029555*c_0101_6^5 + 331341839882216262319097275482895619084169/580342168321482802488662\ 173140245029555*c_0101_6^4 + 77655713694941669052185768016638313577\ 81/116068433664296560497732434628049005911*c_0101_6^3 - 80704111310632244166536834885337719719734/5803421683214828024886621\ 73140245029555*c_0101_6^2 - 508604111148730150544744974654277071394\ 7/580342168321482802488662173140245029555*c_0101_6 + 7797448708147049495634767719451248498744/58034216832148280248866217\ 3140245029555, c_0101_1 + 59162372962367442081442370838698841194/116068433664296560497\ 732434628049005911*c_0101_6^22 + 6797741200246096646031255344946454\ 74773/116068433664296560497732434628049005911*c_0101_6^21 + 275199911462153439844827514685385555379/116068433664296560497732434\ 628049005911*c_0101_6^20 - 8960573264602635297057702127038503224597\ /116068433664296560497732434628049005911*c_0101_6^19 - 4730481072367333670104274811029319922985/11606843366429656049773243\ 4628049005911*c_0101_6^18 + 387880278143477939525660506125201679070\ 84/116068433664296560497732434628049005911*c_0101_6^17 - 21676731609475518029156914028221098877892/1160684336642965604977324\ 34628049005911*c_0101_6^16 - 69677719677959402942160657639834655928\ 984/116068433664296560497732434628049005911*c_0101_6^15 + 180354770312230250367672627842791500184577/116068433664296560497732\ 434628049005911*c_0101_6^14 + 3894371248149331716757221617945064172\ 4278/116068433664296560497732434628049005911*c_0101_6^13 - 381563271714378003810741623524468502635902/116068433664296560497732\ 434628049005911*c_0101_6^12 - 6179304385882455179744707855842425081\ 401/116068433664296560497732434628049005911*c_0101_6^11 + 434379788931891226377982943098197996079813/116068433664296560497732\ 434628049005911*c_0101_6^10 + 1741638052434823430266133630885250575\ 5957/116068433664296560497732434628049005911*c_0101_6^9 - 351846457719667395090108039350498539944024/116068433664296560497732\ 434628049005911*c_0101_6^8 - 26145601422321179262655501966818156772\ 331/116068433664296560497732434628049005911*c_0101_6^7 + 207722977328857888084644622645465979480224/116068433664296560497732\ 434628049005911*c_0101_6^6 + 16814669178222199376673586938952056468\ 146/116068433664296560497732434628049005911*c_0101_6^5 - 85193151102767626154855798858512916764611/1160684336642965604977324\ 34628049005911*c_0101_6^4 - 379045308936783091274370482829694879117\ 1/116068433664296560497732434628049005911*c_0101_6^3 + 21075246991050138415768668330134370711311/1160684336642965604977324\ 34628049005911*c_0101_6^2 + 106437325870220963425030074385966436814\ /116068433664296560497732434628049005911*c_0101_6 - 1957945739151233466299805912537422037098/11606843366429656049773243\ 4628049005911, c_0101_3 + 3936305193644607055277089036390913729/5803421683214828024886\ 62173140245029555*c_0101_6^22 + 45630963134475247671243688909115401\ 25/116068433664296560497732434628049005911*c_0101_6^21 - 233217997556727492859515515042129570369/580342168321482802488662173\ 140245029555*c_0101_6^20 - 633827836066183485186165266523894449877/\ 580342168321482802488662173140245029555*c_0101_6^19 + 3089754887131768814735837649758389440368/58034216832148280248866217\ 3140245029555*c_0101_6^18 + 354611110153378064919457186924185687177\ 4/580342168321482802488662173140245029555*c_0101_6^17 - 3242160133957778507699291695373225181383/11606843366429656049773243\ 4628049005911*c_0101_6^16 + 658725794806375448829765232512654008685\ 1/580342168321482802488662173140245029555*c_0101_6^15 + 33843071120228763096514758727241666063868/5803421683214828024886621\ 73140245029555*c_0101_6^14 - 67909023841754925574294691963845691373\ 271/580342168321482802488662173140245029555*c_0101_6^13 - 21365811285930648468060090320401615995969/5803421683214828024886621\ 73140245029555*c_0101_6^12 + 13472447195180763169273309413654911345\ 3591/580342168321482802488662173140245029555*c_0101_6^11 + 10727371295235405123206920824295195357439/5803421683214828024886621\ 73140245029555*c_0101_6^10 - 14400082672057157733946761036259345360\ 3966/580342168321482802488662173140245029555*c_0101_6^9 - 3765298929834230833294520180306462627011/11606843366429656049773243\ 4628049005911*c_0101_6^8 + 1076768621198940682123454005825596657371\ 57/580342168321482802488662173140245029555*c_0101_6^7 + 2863020487245286826011755817272545350738/11606843366429656049773243\ 4628049005911*c_0101_6^6 - 5608274260967094180139285479712174473104\ 6/580342168321482802488662173140245029555*c_0101_6^5 - 6951868146232502413260550908307858584307/58034216832148280248866217\ 3140245029555*c_0101_6^4 + 3827009591775939220265010990189601855866\ /116068433664296560497732434628049005911*c_0101_6^3 + 469740500863169615045053753005818125662/580342168321482802488662173\ 140245029555*c_0101_6^2 - 2317011894059450551658900096144460909749/\ 580342168321482802488662173140245029555*c_0101_6 + 544463421296944707485036280359239950988/580342168321482802488662173\ 140245029555, c_0101_6^23 + 11*c_0101_6^22 - c_0101_6^21 - 154*c_0101_6^20 - 6*c_0101_6^19 + 698*c_0101_6^18 - 684*c_0101_6^17 - 1011*c_0101_6^16 + 3626*c_0101_6^15 - 807*c_0101_6^14 - 6825*c_0101_6^13 + 3008*c_0101_6^12 + 7520*c_0101_6^11 - 3233*c_0101_6^10 - 6229*c_0101_6^9 + 2398*c_0101_6^8 + 3828*c_0101_6^7 - 1384*c_0101_6^6 - 1632*c_0101_6^5 + 617*c_0101_6^4 + 408*c_0101_6^3 - 168*c_0101_6^2 - 39*c_0101_6 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB