Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2951623506] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2109 geometric_solution 5.60761963 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254385468138 0.601501492846 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.031413588402 0.683657409423 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 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 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.116364574905 0.995167295506 2 4 0 5 1230 2310 0132 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1.116364574905 0.995167295506 2 6 6 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659823322315 0.419787292418 3 5 5 2 3201 1230 3012 0132 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238208740155 0.643750894915 6 4 4 6 3201 0132 1023 2310 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 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 1.162771418358 0.517817152179 ==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' : 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_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 5618562058618379677834682680380145048830101/36464669411609596022430\ 4212319432379500655*c_0101_6^24 - 169357180551144359555034032784694\ 8311477211/364646694116095960224304212319432379500655*c_0101_6^23 + 207676507810771732340861545423186253303723478/364646694116095960224\ 304212319432379500655*c_0101_6^22 + 49863821397811034953051771398728351257875589/3646466941160959602243\ 04212319432379500655*c_0101_6^21 - 210996597004419788544959315736221670126559277/331496994650996327476\ 64019301766579954605*c_0101_6^20 + 192703483590168790520801092133013317584711858/364646694116095960224\ 304212319432379500655*c_0101_6^19 + 7771171475078103672816696403345682466091213179/36464669411609596022\ 4304212319432379500655*c_0101_6^18 - 4585966663929665724792263082053337948889442507/36464669411609596022\ 4304212319432379500655*c_0101_6^17 - 6733395369759050812376164527155162982212472064/36464669411609596022\ 4304212319432379500655*c_0101_6^16 + 18229118266680305177296862852817582573096165669/3646466941160959602\ 24304212319432379500655*c_0101_6^15 + 7241257187938698530181637447895262757600179311/36464669411609596022\ 4304212319432379500655*c_0101_6^14 - 22810696340264836131334933977802529196503839141/3646466941160959602\ 24304212319432379500655*c_0101_6^13 - 16308876418027738052681254397058947902743878097/3646466941160959602\ 24304212319432379500655*c_0101_6^12 + 14403169753401299419181102389506910575275242686/3646466941160959602\ 24304212319432379500655*c_0101_6^11 + 1561360221574790994620217205159108725833873152/33149699465099632747\ 664019301766579954605*c_0101_6^10 - 978604816525174200901021002695846825262951246/729293388232191920448\ 60842463886475900131*c_0101_6^9 - 846156784202988867550099493962354\ 8685657076944/364646694116095960224304212319432379500655*c_0101_6^8 - 753543925790864597288828113679589133092707987/3646466941160959602\ 24304212319432379500655*c_0101_6^7 + 1164065156967825825389861971505229585704628839/36464669411609596022\ 4304212319432379500655*c_0101_6^6 + 43854163289222539459788355244365893330037079/3314969946509963274766\ 4019301766579954605*c_0101_6^5 + 1667380854436447856629917922822345\ 24634678417/364646694116095960224304212319432379500655*c_0101_6^4 + 20112324475445370022480130417890442521218962/3314969946509963274766\ 4019301766579954605*c_0101_6^3 + 5632349124957426400975966332203135\ 452687027/72929338823219192044860842463886475900131*c_0101_6^2 - 23457002136384137958525443893085302937537789/3646466941160959602243\ 04212319432379500655*c_0101_6 + 20224011759092576017219689073754745\ 263752123/364646694116095960224304212319432379500655, c_0011_0 - 1, c_0011_2 - 2683188163396775079762296102310921469905/6629939893019926549\ 532803860353315990921*c_0101_6^24 - 731769822316732339319919617516581424431/662993989301992654953280386\ 0353315990921*c_0101_6^23 + 100610651823861213175269094080365014935\ 057/6629939893019926549532803860353315990921*c_0101_6^22 + 21206496642567298328975431210697679015983/6629939893019926549532803\ 860353315990921*c_0101_6^21 - 1161385781091096431362044330209871807\ 484443/6629939893019926549532803860353315990921*c_0101_6^20 + 118056589763746645228568947767501422112575/662993989301992654953280\ 3860353315990921*c_0101_6^19 + 429778409176047936949920866601011205\ 2506841/6629939893019926549532803860353315990921*c_0101_6^18 - 2417757726871851431978477274444503903258508/66299398930199265495328\ 03860353315990921*c_0101_6^17 - 51556333621912209271237571032080099\ 51826033/6629939893019926549532803860353315990921*c_0101_6^16 + 10182211988112319723783965221026007164708622/6629939893019926549532\ 803860353315990921*c_0101_6^15 + 4966700411601227341398093474461318\ 208555162/6629939893019926549532803860353315990921*c_0101_6^14 - 15810070383131107603564237958511915831864996/6629939893019926549532\ 803860353315990921*c_0101_6^13 - 8999285125472696264355301624305824\ 258847021/6629939893019926549532803860353315990921*c_0101_6^12 + 13465601214394139875916734889312395444571891/6629939893019926549532\ 803860353315990921*c_0101_6^11 + 1182994033902364730435272032597270\ 1596807493/6629939893019926549532803860353315990921*c_0101_6^10 - 7399913544565999326813936193502246693241707/66299398930199265495328\ 03860353315990921*c_0101_6^9 - 860649229548878197501429116146859146\ 6945143/6629939893019926549532803860353315990921*c_0101_6^8 + 1974969833810111123910925838918028106874343/66299398930199265495328\ 03860353315990921*c_0101_6^7 + 336392596286437292994481364862092063\ 0036276/6629939893019926549532803860353315990921*c_0101_6^6 + 65640399414345268135774363710276218629117/6629939893019926549532803\ 860353315990921*c_0101_6^5 - 76444263399457256045606460335534475994\ 0255/6629939893019926549532803860353315990921*c_0101_6^4 - 66611323445215048524007373818853925469880/6629939893019926549532803\ 860353315990921*c_0101_6^3 + 12697892521752431825684565813706021190\ 0723/6629939893019926549532803860353315990921*c_0101_6^2 - 8195273743697489697709508309273919383733/66299398930199265495328038\ 60353315990921*c_0101_6 - 6821033811164421257211275381091673957793/\ 6629939893019926549532803860353315990921, c_0011_5 - 31206439762058394155743069754107162406122/662993989301992654\ 9532803860353315990921*c_0101_6^24 - 10105996798127388481260204668243853535965/6629939893019926549532803\ 860353315990921*c_0101_6^23 + 1161410768366759767878599086835722931\ 596978/6629939893019926549532803860353315990921*c_0101_6^22 + 306889595713758987127268047686541494177617/662993989301992654953280\ 3860353315990921*c_0101_6^21 - 131872610970583979435299489497608307\ 89074925/6629939893019926549532803860353315990921*c_0101_6^20 + 648258485769700819198059597094178735663756/662993989301992654953280\ 3860353315990921*c_0101_6^19 + 466003293615037169705683209366041152\ 85687131/6629939893019926549532803860353315990921*c_0101_6^18 - 24087892300917682610735501457380319275249837/6629939893019926549532\ 803860353315990921*c_0101_6^17 - 4998862994272676018971890041798094\ 9594123591/6629939893019926549532803860353315990921*c_0101_6^16 + 104748592981958011558189787810780610385358813/662993989301992654953\ 2803860353315990921*c_0101_6^15 + 559954000039528227258627756745360\ 10200842264/6629939893019926549532803860353315990921*c_0101_6^14 - 151193923229087533942262674592181552960391065/662993989301992654953\ 2803860353315990921*c_0101_6^13 - 111811205541624030146144773655878\ 165700835228/6629939893019926549532803860353315990921*c_0101_6^12 + 114019222566674364323187890261397429088742720/662993989301992654953\ 2803860353315990921*c_0101_6^11 + 130912725690700272481676854035318\ 409192116866/6629939893019926549532803860353315990921*c_0101_6^10 - 48271612076428019610855795156176122785820142/6629939893019926549532\ 803860353315990921*c_0101_6^9 - 83542679149177803382268277988628092\ 269727392/6629939893019926549532803860353315990921*c_0101_6^8 + 1174096333670433480942344516536974881879091/66299398930199265495328\ 03860353315990921*c_0101_6^7 + 273909097631347034983354485142178416\ 73485860/6629939893019926549532803860353315990921*c_0101_6^6 + 5478720377906983930337034040732398904989906/66299398930199265495328\ 03860353315990921*c_0101_6^5 - 458569693782046872958177571880984609\ 4152475/6629939893019926549532803860353315990921*c_0101_6^4 - 704792948108991116032539631718440031558360/662993989301992654953280\ 3860353315990921*c_0101_6^3 + 8175918236230835484915091130537765903\ 31365/6629939893019926549532803860353315990921*c_0101_6^2 + 28369680897772399696468867899799285064817/6629939893019926549532803\ 860353315990921*c_0101_6 - 4782611000305480830532252554787389321805\ 7/6629939893019926549532803860353315990921, c_0101_0 - 19773170798093885802172807318413527220591/662993989301992654\ 9532803860353315990921*c_0101_6^24 - 7767716787545077726580929071463162245301/66299398930199265495328038\ 60353315990921*c_0101_6^23 + 73686954313889254473692648701896201028\ 4842/6629939893019926549532803860353315990921*c_0101_6^22 + 244770612507285820135253915902181797050723/662993989301992654953280\ 3860353315990921*c_0101_6^21 - 839444675364968192518876044957523427\ 4063785/6629939893019926549532803860353315990921*c_0101_6^20 - 145857652580785217847785469250619237098551/662993989301992654953280\ 3860353315990921*c_0101_6^19 + 301324125089956656073087161330476227\ 88565831/6629939893019926549532803860353315990921*c_0101_6^18 - 13630665193309311583790094888034737301860468/6629939893019926549532\ 803860353315990921*c_0101_6^17 - 3449516565933103596945758393942261\ 2908325573/6629939893019926549532803860353315990921*c_0101_6^16 + 66420034532168684417965951866001045263154020/6629939893019926549532\ 803860353315990921*c_0101_6^15 + 4061997724102067048199866063732657\ 8034754072/6629939893019926549532803860353315990921*c_0101_6^14 - 98317715038961883692210018054250429818307372/6629939893019926549532\ 803860353315990921*c_0101_6^13 - 7657664796990280754687693688706817\ 7128946794/6629939893019926549532803860353315990921*c_0101_6^12 + 73045952729727709867618498273558056234220862/6629939893019926549532\ 803860353315990921*c_0101_6^11 + 8904335038287858607621961661201840\ 6882456769/6629939893019926549532803860353315990921*c_0101_6^10 - 30082250223029491780742736976708901595619610/6629939893019926549532\ 803860353315990921*c_0101_6^9 - 57004128488485145441885443893233995\ 717942932/6629939893019926549532803860353315990921*c_0101_6^8 + 203017551129753610119849319833655487376082/662993989301992654953280\ 3860353315990921*c_0101_6^7 + 1863014731175524375034951735831270404\ 2866369/6629939893019926549532803860353315990921*c_0101_6^6 + 3902413306190686238418603438895818481193224/66299398930199265495328\ 03860353315990921*c_0101_6^5 - 315147328041567049814254269075670228\ 5110538/6629939893019926549532803860353315990921*c_0101_6^4 - 515425978196548134170875016653830534892597/662993989301992654953280\ 3860353315990921*c_0101_6^3 + 5704645799488426033555991049153900061\ 93994/6629939893019926549532803860353315990921*c_0101_6^2 + 474747141542349013533488842064439853079/662993989301992654953280386\ 0353315990921*c_0101_6 - 33658259928937726690274362674274530546310/\ 6629939893019926549532803860353315990921, c_0101_1 - 15308620731896854393058913633763757710236/662993989301992654\ 9532803860353315990921*c_0101_6^24 - 3210140767379262396657469517985961689083/66299398930199265495328038\ 60353315990921*c_0101_6^23 + 56964472840481242209520936378532766616\ 4830/6629939893019926549532803860353315990921*c_0101_6^22 + 85698111109728787685527342560225661512889/6629939893019926549532803\ 860353315990921*c_0101_6^21 - 6461702115265580551364549385568119370\ 593944/6629939893019926549532803860353315990921*c_0101_6^20 + 1048110774706919271752868684105892082258067/66299398930199265495328\ 03860353315990921*c_0101_6^19 + 22546166495775752034289540745941585\ 349090551/6629939893019926549532803860353315990921*c_0101_6^18 - 14244766917748156304082169478557486196049063/6629939893019926549532\ 803860353315990921*c_0101_6^17 - 2226250623961041075537630353863396\ 5578138927/6629939893019926549532803860353315990921*c_0101_6^16 + 53115102038234259752111275308419846305203012/6629939893019926549532\ 803860353315990921*c_0101_6^15 + 2109390003511136219832979705296417\ 9080622141/6629939893019926549532803860353315990921*c_0101_6^14 - 74692420385428606396746592043682978308364666/6629939893019926549532\ 803860353315990921*c_0101_6^13 - 4673229720579764087745161086722234\ 8990184593/6629939893019926549532803860353315990921*c_0101_6^12 + 58949548567482109840985123911809619673655177/6629939893019926549532\ 803860353315990921*c_0101_6^11 + 5739335908746850040591220592408807\ 2231010802/6629939893019926549532803860353315990921*c_0101_6^10 - 28100878001918249714803535968231735766937845/6629939893019926549532\ 803860353315990921*c_0101_6^9 - 37133616427593681554515868186789737\ 065233526/6629939893019926549532803860353315990921*c_0101_6^8 + 3414520761534879710762729420213245286717863/66299398930199265495328\ 03860353315990921*c_0101_6^7 + 125817495258782974651859982879437432\ 79319513/6629939893019926549532803860353315990921*c_0101_6^6 + 1698109766771812812511574896796238293764923/66299398930199265495328\ 03860353315990921*c_0101_6^5 - 225550931484997400102151134653817448\ 3558665/6629939893019926549532803860353315990921*c_0101_6^4 - 124192751591458353188878532779482586420908/662993989301992654953280\ 3860353315990921*c_0101_6^3 + 3799647151201530701477157025291303390\ 88965/6629939893019926549532803860353315990921*c_0101_6^2 - 18621983833972009357944501316094049876283/6629939893019926549532803\ 860353315990921*c_0101_6 - 2034004324892084814536495620062902820200\ 9/6629939893019926549532803860353315990921, c_0101_2 - 1172016209865618232780657335231529038972/5099953763861481961\ 17907989257947383917*c_0101_6^24 - 159103332656845511990697472830686019502/509995376386148196117907989\ 257947383917*c_0101_6^23 + 4361466183990279186570491490486653778888\ 0/509995376386148196117907989257947383917*c_0101_6^22 + 3355364209871152265113505637740495525853/50999537638614819611790798\ 9257947383917*c_0101_6^21 - 494642877938855616185315695439903117946\ 398/509995376386148196117907989257947383917*c_0101_6^20 + 116088580679388825089730071589605659243187/509995376386148196117907\ 989257947383917*c_0101_6^19 + 1714441059729566879385454584333365131\ 206864/509995376386148196117907989257947383917*c_0101_6^18 - 1208245202760667529371159743632651475566936/50999537638614819611790\ 7989257947383917*c_0101_6^17 - 161117842509148926845512041706367128\ 1129425/509995376386148196117907989257947383917*c_0101_6^16 + 4153673992764963059301402149370419626466103/50999537638614819611790\ 7989257947383917*c_0101_6^15 + 133543436474720381079142463886916961\ 6619017/509995376386148196117907989257947383917*c_0101_6^14 - 5791049941191889942131559414872027566534814/50999537638614819611790\ 7989257947383917*c_0101_6^13 - 320663029463295350442974105819429896\ 4838288/509995376386148196117907989257947383917*c_0101_6^12 + 4740513245575074761591229250479545969875281/50999537638614819611790\ 7989257947383917*c_0101_6^11 + 409128444481803136536026768213014936\ 2295719/509995376386148196117907989257947383917*c_0101_6^10 - 2415587932710219478125398081714441088089550/50999537638614819611790\ 7989257947383917*c_0101_6^9 - 2711473090845770231237730868110587665\ 158012/509995376386148196117907989257947383917*c_0101_6^8 + 428073162423082715991088122396282260666143/509995376386148196117907\ 989257947383917*c_0101_6^7 + 95747042899190734510622709850387097297\ 9389/509995376386148196117907989257947383917*c_0101_6^6 + 73975728890173464244567530487624057283361/5099953763861481961179079\ 89257947383917*c_0101_6^5 - 181713929218062353664220626894582466345\ 502/509995376386148196117907989257947383917*c_0101_6^4 - 4727773622062161897985791772509136969430/50999537638614819611790798\ 9257947383917*c_0101_6^3 + 2949948909370651840991811614985149431792\ 0/509995376386148196117907989257947383917*c_0101_6^2 - 1628095848233655320720768627900367030517/50999537638614819611790798\ 9257947383917*c_0101_6 - 1702326606367252992694017687232552939828/5\ 09995376386148196117907989257947383917, c_0101_6^25 + c_0101_6^24 - 37*c_0101_6^23 - 35*c_0101_6^22 + 416*c_0101_6^21 + 265*c_0101_6^20 - 1508*c_0101_6^19 - 238*c_0101_6^18 + 2125*c_0101_6^17 - 2274*c_0101_6^16 - 4062*c_0101_6^15 + 3634*c_0101_6^14 + 6860*c_0101_6^13 - 1226*c_0101_6^12 - 6670*c_0101_6^11 - 1300*c_0101_6^10 + 3722*c_0101_6^9 + 1781*c_0101_6^8 - 898*c_0101_6^7 - 774*c_0101_6^6 + 24*c_0101_6^5 + 122*c_0101_6^4 - 10*c_0101_6^3 - 18*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB