Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 2682127187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1606 geometric_solution 5.36734316 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.247409914000 0.127362118947 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 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 -1 1 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 2.401767265172 1.563802778577 3 1 1 4 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 1 0 -1 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.514520882223 0.653224049352 2 5 4 6 0132 0132 3201 0132 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 -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.007174260394 0.984853701609 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 0 -1 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 -1 1 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.007174260394 0.984853701609 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372848945288 0.362818203939 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.491501988625 0.883687215700 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 19684869303323174590586163544478398012213336901690804750751/5576489\ 38017591769324731660948142415060518308119034917240*c_0110_5^33 - 275641438240390136023713998250145747233461334434873769681871/278824\ 469008795884662365830474071207530259154059517458620*c_0110_5^31 - 5016716637025745735199603322576920006388352624972347312329341/55764\ 8938017591769324731660948142415060518308119034917240*c_0110_5^29 - 4106793277339307298908149009674747051432242962938769680428401/27882\ 446900879588466236583047407120753025915405951745862*c_0110_5^27 - 22776660668247071298556689925925687429655074514822567206640771/5576\ 4893801759176932473166094814241506051830811903491724*c_0110_5^25 + 409724555098062894205181726377190237417361222097611168957917377/557\ 648938017591769324731660948142415060518308119034917240*c_0110_5^23 + 971332925773345090936771137590619361577573289688429725771664711/278\ 824469008795884662365830474071207530259154059517458620*c_0110_5^21 + 20094563771486791741872250693587161527496270555625839387769883/2788\ 24469008795884662365830474071207530259154059517458620*c_0110_5^19 - 559523454670210971365140821593814732871670304905934858388851479/557\ 64893801759176932473166094814241506051830811903491724*c_0110_5^17 + 219128765908414645445176779426250771407687186533939153882003007/557\ 648938017591769324731660948142415060518308119034917240*c_0110_5^15 + 4194727363011563869506583631756193679391331812492097413628398399/27\ 8824469008795884662365830474071207530259154059517458620*c_0110_5^13 - 382282845404448596322081810097215905283122961033050507378437445/2\ 7882446900879588466236583047407120753025915405951745862*c_0110_5^11 + 1086746269083082604849661021726461934701413203050706589638748957/\ 278824469008795884662365830474071207530259154059517458620*c_0110_5^\ 9 + 431209073952267912743856689480806146261635436200759965027062619\ /557648938017591769324731660948142415060518308119034917240*c_0110_5\ ^7 - 25041790302840150535618403363997514127898157272948089530598713\ /69706117252198971165591457618517801882564788514879364655*c_0110_5^\ 5 - 22233542332055706943299546664375691790609117427692037080149167/\ 557648938017591769324731660948142415060518308119034917240*c_0110_5^\ 3 + 5677589207557738472465239789096662777137373861563121335063499/5\ 57648938017591769324731660948142415060518308119034917240*c_0110_5, c_0011_0 - 1, c_0011_2 + 28574026876025412341840890071452016600093407805977/283935304\ 48960884385169636504487903007154700006060841*c_0110_5^32 - 805409335079412146879233815465466977609119890458020/283935304489608\ 84385169636504487903007154700006060841*c_0110_5^30 - 7140483081732069238311913191898106869175766764835428/28393530448960\ 884385169636504487903007154700006060841*c_0110_5^28 - 117811081641346101088752780575062383097573938943515084/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^26 - 308035930800685644362833520378502912924688620443409044/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^24 + 669957604747620654165074970587178635997184064359448179/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^22 + 2764373664404967320193328150294723011628071531344296087/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^20 - 485936359318525538991549934899752634100948465192675675/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^18 - 8509880176677245000138277563549429704710545915835589382/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^16 + 1490239545369772004246999025661070166038016367846795175/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^14 + 12931758250228588477811783330225369037063408498421044565/2839353044\ 8960884385169636504487903007154700006060841*c_0110_5^12 - 12663232530772131405202704708391067639000699719095336820/2839353044\ 8960884385169636504487903007154700006060841*c_0110_5^10 + 4033228638607969566820457278431967868420832840760344171/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^8 + 411283765225888017105969783587270998887363472635986415/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^6 - 270439478347212625724442269111701809643805117555182947/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^4 - 42536089441811403692764666125518526949964773762880006/2839353044896\ 0884385169636504487903007154700006060841*c_0110_5^2 - 6953432305200703276519277600512792886816190270736625/28393530448960\ 884385169636504487903007154700006060841, c_0011_4 - 269322522150013666031606761877104512578016689780217389/13941\ 223450439794233118291523703560376512957702975872931*c_0110_5^33 + 7540938498833715020096539346408626233775783775396523057/13941223450\ 439794233118291523703560376512957702975872931*c_0110_5^31 + 68681582271462046906811177305030746796292245847715889725/1394122345\ 0439794233118291523703560376512957702975872931*c_0110_5^29 + 1124126864090382400717857969700388295965482521064385536862/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^27 + 3122449193209686080935268880756826848901037214786699105194/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^25 - 5591878238419118969934931052532517874050093091100732458355/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^23 - 26623602125245368024785380925359431715607511937024029811697/1394122\ 3450439794233118291523703560376512957702975872931*c_0110_5^21 - 687479771971131693236902074892256489629263230903963041525/139412234\ 50439794233118291523703560376512957702975872931*c_0110_5^19 + 76645930612745190530364175948822608985311005904395056725450/1394122\ 3450439794233118291523703560376512957702975872931*c_0110_5^17 - 2521202549474412484753966147401580493961103415655434441922/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^15 - 115038436785735067519109191979118233762193789711217791689179/139412\ 23450439794233118291523703560376512957702975872931*c_0110_5^13 + 103880526453686461783326052467113869180825800555779588247573/139412\ 23450439794233118291523703560376512957702975872931*c_0110_5^11 - 28816648179309174153455954931402466418339532909126206384992/1394122\ 3450439794233118291523703560376512957702975872931*c_0110_5^9 - 6341020980712568761851724206477128263897075038071577061064/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^7 + 2841728459923575302977308325935278981133679948641186752401/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^5 + 284287716286074406062380526293900892294195508954883059612/139412234\ 50439794233118291523703560376512957702975872931*c_0110_5^3 - 78940762230331031299993419161817276940873680602486338077/1394122345\ 0439794233118291523703560376512957702975872931*c_0110_5, c_0101_0 + 408464287742996919559805758809031577766587106354719828/13941\ 223450439794233118291523703560376512957702975872931*c_0110_5^33 - 11426619895345378195075627279101861796370189263378968707/1394122345\ 0439794233118291523703560376512957702975872931*c_0110_5^31 - 104445929869871245738135817674760095058874469604425856142/139412234\ 50439794233118291523703560376512957702975872931*c_0110_5^29 - 1707663550520230330918550261589096952290041269916847437004/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^27 - 4779863754611895491916934869795117086050905556106426102043/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^25 + 8337719504381302032097836587469318900809467219107836768671/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^23 + 40519223219427066557509750569960982477836827395763364072910/1394122\ 3450439794233118291523703560376512957702975872931*c_0110_5^21 + 2158032345342565531691537691477963017655791779953612757644/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^19 - 115638254957084076391512493979485962445177486302548977678832/139412\ 23450439794233118291523703560376512957702975872931*c_0110_5^17 + 1045090054316594016299287595591644822394866231005556652290/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^15 + 173032615507859137290955485616433012022668227928730918962772/139412\ 23450439794233118291523703560376512957702975872931*c_0110_5^13 - 153372083939237374117822706821590784468515677908646704899421/139412\ 23450439794233118291523703560376512957702975872931*c_0110_5^11 + 41975878546078434711120423535322525310186356715157161859382/1394122\ 3450439794233118291523703560376512957702975872931*c_0110_5^9 + 8820798535133600957258598968458977562579273369079509306845/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^7 - 3519009404692045642445085387649531064807744208009507963956/13941223\ 450439794233118291523703560376512957702975872931*c_0110_5^5 - 498075715530750896700799782819813122693623009073468421639/139412234\ 50439794233118291523703560376512957702975872931*c_0110_5^3 + 87290481486195977842783414486209772616929462452582539016/1394122345\ 0439794233118291523703560376512957702975872931*c_0110_5, c_0101_1 - 11147086241196012259343034479101717845205014935138/283935304\ 48960884385169636504487903007154700006060841*c_0110_5^32 + 315801962606768871697177457401496202797414909304275/283935304489608\ 84385169636504487903007154700006060841*c_0110_5^30 + 2742226301512701689266589326859510315438483451492365/28393530448960\ 884385169636504487903007154700006060841*c_0110_5^28 + 45510273945946680976365824717750704984285150446150852/2839353044896\ 0884385169636504487903007154700006060841*c_0110_5^26 + 113088564811629936466118374993059702195958197349457426/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^24 - 286260556068281662536222299631734899134013408168402868/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^22 - 1064812764742802902136494058994698264595670291480359102/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^20 + 372458031482394002496335061941706162014246212424373012/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^18 + 3487962053505222489957319495423381661015554807427828652/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^16 - 965185010569091433295364139232894592427738145081785345/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^14 - 5467620065307822168327386858817110025829553469283366106/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^12 + 5395638408579124521279233998263670375545368603151637267/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^10 - 1584919405151649244206454942659585375324381143285902904/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^8 - 196656789773687666222923175938545817894263664939388485/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^6 + 105024282667610444095188949624778512079371397256865703/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^4 + 17173526598368696436380708467710229644844556026333897/2839353044896\ 0884385169636504487903007154700006060841*c_0110_5^2 + 20520588670452514245449267264141881336889491408165411/2839353044896\ 0884385169636504487903007154700006060841, c_0101_3 + 45034070184202031040652169152404441468757909996351/283935304\ 48960884385169636504487903007154700006060841*c_0110_5^32 - 1263834957338528626630922152444133952204173093609185/28393530448960\ 884385169636504487903007154700006060841*c_0110_5^30 - 11403110108549484937107123550161052198230923952797644/2839353044896\ 0884385169636504487903007154700006060841*c_0110_5^28 - 187235695599778257187367755142181346533306107610193881/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^26 - 510059040737606975438545788829369798434689416851046626/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^24 + 967926635380320310809979029943886317362591972076743279/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^22 + 4391990638552011501107444825538058466157211624051576448/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^20 - 157175307664521172835367280840466060021653344479195733/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^18 - 12805173197384441525042791106954573502084146557702749000/2839353044\ 8960884385169636504487903007154700006060841*c_0110_5^16 + 1184553025538759149944766029794327621309481549849030128/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^14 + 19080416467028816409901055462045820054389078101504521854/2839353044\ 8960884385169636504487903007154700006060841*c_0110_5^12 - 18513682238867847391133089978914279111056866401648953380/2839353044\ 8960884385169636504487903007154700006060841*c_0110_5^10 + 6127372287693930256126337864870845734314117428597479882/28393530448\ 960884385169636504487903007154700006060841*c_0110_5^8 + 565292951316007187002177110991669772714206561671428058/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^6 - 411610717973343129657357621316833012336241667154388726/283935304489\ 60884385169636504487903007154700006060841*c_0110_5^4 - 65982917000521517540988102978767966194253206086774622/2839353044896\ 0884385169636504487903007154700006060841*c_0110_5^2 + 8584884089264302162500338576135517113127193677360187/28393530448960\ 884385169636504487903007154700006060841, c_0110_5^34 - 28*c_0110_5^32 - 255*c_0110_5^30 - 4174*c_0110_5^28 - 11594*c_0110_5^26 + 20739*c_0110_5^24 + 98764*c_0110_5^22 + 2630*c_0110_5^20 - 283926*c_0110_5^18 + 9661*c_0110_5^16 + 425424*c_0110_5^14 - 386224*c_0110_5^12 + 109534*c_0110_5^10 + 21585*c_0110_5^8 - 9882*c_0110_5^6 - 1105*c_0110_5^4 + 271*c_0110_5^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB