Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 324177860] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1547 geometric_solution 5.33947334 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.473352835456 0.485689862673 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819148099901 0.372244379387 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 -1 1 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 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.663013821712 0.576529003864 2 5 4 1 2031 0132 1023 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 0 0 -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.663013821712 0.576529003864 2 4 3 4 0132 1302 1023 2031 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 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276511456079 1.151669029122 6 3 2 6 0132 0132 0132 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 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.508322863256 0.137972420793 5 5 6 6 0132 2310 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 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 1.261982719563 0.949158046858 ==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' : negation(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_0101_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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_1001_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2345199382334338379374134508928075170423/16188354655442493449790530\ 5790857599616*c_1001_1^19 - 334349785433255260464662040787017726443\ 29/161883546554424934497905305790857599616*c_1001_1^18 + 178990703339813046119238314027617672748817/161883546554424934497905\ 305790857599616*c_1001_1^17 - 3227252395404731040155531572404017691\ 3379/20235443319303116812238163223857199952*c_1001_1^16 - 757917622186818903655135118558468824878617/809417732772124672489526\ 52895428799808*c_1001_1^15 + 30349535413888526353604186288665432967\ 56847/80941773277212467248952652895428799808*c_1001_1^14 + 611805907634992280265539962986289392146617/161883546554424934497905\ 305790857599616*c_1001_1^13 - 1462946154010570095131772400577996617\ 4929457/80941773277212467248952652895428799808*c_1001_1^12 + 142935425991700079118506062947472678123455/126471520745644480076488\ 5201491074997*c_1001_1^11 + 157531576297689136355362280569175326336\ 20025/40470886638606233624476326447714399904*c_1001_1^10 - 60237837816481166739220323746431070601929623/1618835465544249344979\ 05305790857599616*c_1001_1^9 - 687917529082939783447936927279343887\ 21408905/161883546554424934497905305790857599616*c_1001_1^8 + 86254061309547875184743923396244745628008393/1618835465544249344979\ 05305790857599616*c_1001_1^7 + 346197202771489684273540849953173543\ 03571815/161883546554424934497905305790857599616*c_1001_1^6 - 62166038431491502503706590697235682265919489/1618835465544249344979\ 05305790857599616*c_1001_1^5 - 436369294653496793664387311987416842\ 4131807/161883546554424934497905305790857599616*c_1001_1^4 + 20313575950949332252829257781147490681833637/1618835465544249344979\ 05305790857599616*c_1001_1^3 + 460750968375923465844886045268795755\ 51359/40470886638606233624476326447714399904*c_1001_1^2 - 318782288619599096397021332957627083109997/202354433193031168122381\ 63223857199952*c_1001_1 - 2812154166486406912465610630560136147639/\ 1264715207456444800764885201491074997, c_0011_0 - 1, c_0011_1 - 10207494811847914887795900421363853/252943041491288960152977\ 0402982149994*c_1001_1^19 + 323768739721627210899836770549635763/50\ 58860829825779203059540805964299988*c_1001_1^18 - 2026823105880070292959713271269323333/50588608298257792030595408059\ 64299988*c_1001_1^17 + 4783246276445306632313716540829726331/505886\ 0829825779203059540805964299988*c_1001_1^16 + 2333165574712171185133924827238879704/12647152074564448007648852014\ 91074997*c_1001_1^15 - 36645739363175633374800223565545582847/25294\ 30414912889601529770402982149994*c_1001_1^14 + 20075459713268975105271272154800668737/1264715207456444800764885201\ 491074997*c_1001_1^13 + 253265228759674218527448262168564498451/505\ 8860829825779203059540805964299988*c_1001_1^12 - 277160687206359272641985933558669371267/252943041491288960152977040\ 2982149994*c_1001_1^11 - 64451491339661121836375846243240200584/126\ 4715207456444800764885201491074997*c_1001_1^10 + 659866023227659660459187159162128985727/252943041491288960152977040\ 2982149994*c_1001_1^9 - 291887245848240761647475802765484347363/505\ 8860829825779203059540805964299988*c_1001_1^8 - 1509362074660400331770602890426915839953/50588608298257792030595408\ 05964299988*c_1001_1^7 + 909201768453893504394245378062212907749/50\ 58860829825779203059540805964299988*c_1001_1^6 + 775184097376351993087949410934686039387/505886082982577920305954080\ 5964299988*c_1001_1^5 - 768426308795950052753431295110002123909/505\ 8860829825779203059540805964299988*c_1001_1^4 - 79841638422183590585382547401654691435/5058860829825779203059540805\ 964299988*c_1001_1^3 + 213360538684609577425813642798446487567/5058\ 860829825779203059540805964299988*c_1001_1^2 - 4927809735328138104704339294366234961/12647152074564448007648852014\ 91074997*c_1001_1 - 2940719558236109806330104827463953483/126471520\ 7456444800764885201491074997, c_0011_3 + 1464153511213731558221028635051486041/2023544331930311681223\ 8163223857199952*c_1001_1^19 - 209180262241908445401903711362621274\ 61/20235443319303116812238163223857199952*c_1001_1^18 + 112461760236266521077277040283217980897/202354433193031168122381632\ 23857199952*c_1001_1^17 - 82873769964808290061526158232643070973/10\ 117721659651558406119081611928599976*c_1001_1^16 - 467725493388567517922314616318439877687/101177216596515584061190816\ 11928599976*c_1001_1^15 + 1905673769466996156082338904254949662827/\ 10117721659651558406119081611928599976*c_1001_1^14 + 209017311194316296757908286850972428811/202354433193031168122381632\ 23857199952*c_1001_1^13 - 1130302588766529296237787716967727569675/\ 1264715207456444800764885201491074997*c_1001_1^12 + 3022081012923925985816744339530236174333/50588608298257792030595408\ 05964299988*c_1001_1^11 + 9501625743753886922755518107675384593147/\ 5058860829825779203059540805964299988*c_1001_1^10 - 38629430276712646213869981013175120658641/2023544331930311681223816\ 3223857199952*c_1001_1^9 - 3956892292926893000162660260928157321720\ 9/20235443319303116812238163223857199952*c_1001_1^8 + 54152734477556090383362974386390169997945/2023544331930311681223816\ 3223857199952*c_1001_1^7 + 1730983797731055778220203016191501203605\ 5/20235443319303116812238163223857199952*c_1001_1^6 - 37876910220737937701029515120170428328461/2023544331930311681223816\ 3223857199952*c_1001_1^5 + 93918559083664591689319987860975975809/2\ 0235443319303116812238163223857199952*c_1001_1^4 + 11596843746449912750978197371814170791609/2023544331930311681223816\ 3223857199952*c_1001_1^3 - 364329973766028031331075613015570674635/\ 10117721659651558406119081611928599976*c_1001_1^2 - 79495083155859472624570684119679597709/1264715207456444800764885201\ 491074997*c_1001_1 - 7510778371893280940835087761740530646/12647152\ 07456444800764885201491074997, c_0101_0 - 85997747924448891271238707584630369/202354433193031168122381\ 63223857199952*c_1001_1^19 + 1275949904463430442352004091085186675/\ 20235443319303116812238163223857199952*c_1001_1^18 - 7307182541754753272341007979558130819/20235443319303116812238163223\ 857199952*c_1001_1^17 + 3432437041590356895864650508740456065/50588\ 60829825779203059540805964299988*c_1001_1^16 + 23849779607151941736990686388366658903/1011772165965155840611908161\ 1928599976*c_1001_1^15 - 125770291723270302941350241869372694765/10\ 117721659651558406119081611928599976*c_1001_1^14 + 127268192808095975129693765898628406217/202354433193031168122381632\ 23857199952*c_1001_1^13 + 503628966391068347211952926519012512181/1\ 0117721659651558406119081611928599976*c_1001_1^12 - 163539693950851852167188713577491691491/252943041491288960152977040\ 2982149994*c_1001_1^11 - 387032581342794548619043468587306048739/50\ 58860829825779203059540805964299988*c_1001_1^10 + 3353691238300104290942107705222854784145/20235443319303116812238163\ 223857199952*c_1001_1^9 + 458241446183038347695321843190928750747/2\ 0235443319303116812238163223857199952*c_1001_1^8 - 3956372064706158806609495576253580641387/20235443319303116812238163\ 223857199952*c_1001_1^7 + 1385740122303500604937091567574617037451/\ 20235443319303116812238163223857199952*c_1001_1^6 + 2057223194319251942345939865595446295355/20235443319303116812238163\ 223857199952*c_1001_1^5 - 1525953950128974630583196788162005867891/\ 20235443319303116812238163223857199952*c_1001_1^4 - 159493097096093631552676954974767201991/202354433193031168122381632\ 23857199952*c_1001_1^3 + 53329422194886502641125998870173972893/252\ 9430414912889601529770402982149994*c_1001_1^2 - 14052671272425680431083757584411784543/2529430414912889601529770402\ 982149994*c_1001_1 - 1383950886810315606855288079146192254/12647152\ 07456444800764885201491074997, c_0101_4 + 617333302495241171817667754828926807/20235443319303116812238\ 163223857199952*c_1001_1^19 - 8863617863403268620572370400489375063\ /20235443319303116812238163223857199952*c_1001_1^18 + 48107598137027934257337054649389763091/2023544331930311681223816322\ 3857199952*c_1001_1^17 - 37063647416755432957665904694788043941/101\ 17721659651558406119081611928599976*c_1001_1^16 - 192480077337717700281651556445343139505/101177216596515584061190816\ 11928599976*c_1001_1^15 + 814687709644176952675309529120787857041/1\ 0117721659651558406119081611928599976*c_1001_1^14 - 66334613190269613931182698550736332499/2023544331930311681223816322\ 3857199952*c_1001_1^13 - 1871916089352907855645695811404580966781/5\ 058860829825779203059540805964299988*c_1001_1^12 + 1421652516754821483118710165517197538309/50588608298257792030595408\ 05964299988*c_1001_1^11 + 3745140606958307762290124676578001859857/\ 5058860829825779203059540805964299988*c_1001_1^10 - 17156718752921424121974894167018874142319/2023544331930311681223816\ 3223857199952*c_1001_1^9 - 1413814127720562657583463837619345624935\ 5/20235443319303116812238163223857199952*c_1001_1^8 + 23025064487468193296554807883935217728507/2023544331930311681223816\ 3223857199952*c_1001_1^7 + 4277682542601542416087753817185405333029\ /20235443319303116812238163223857199952*c_1001_1^6 - 15129856296381133657569368469710701182383/2023544331930311681223816\ 3223857199952*c_1001_1^5 + 1769117992310294212360958953541687099603\ /20235443319303116812238163223857199952*c_1001_1^4 + 4044971418861108336837760115582873946979/20235443319303116812238163\ 223857199952*c_1001_1^3 - 341586550548957118398280183933645339759/1\ 0117721659651558406119081611928599976*c_1001_1^2 - 22239196928792646392894928519677228314/1264715207456444800764885201\ 491074997*c_1001_1 - 967479995682719192200513389531948060/126471520\ 7456444800764885201491074997, c_0101_6 + 330414276208561413931469014479281385/20235443319303116812238\ 163223857199952*c_1001_1^19 - 4580492420098064827028433761976854867\ /20235443319303116812238163223857199952*c_1001_1^18 + 23447688510956010768323916733964262395/2023544331930311681223816322\ 3857199952*c_1001_1^17 - 6893300497593591098243582358475420813/5058\ 860829825779203059540805964299988*c_1001_1^16 - 111256005507366811794821738912894991819/101177216596515584061190816\ 11928599976*c_1001_1^15 + 383565740344176515590619386950134290453/1\ 0117721659651558406119081611928599976*c_1001_1^14 + 363299068666082796654434368685405631231/202354433193031168122381632\ 23857199952*c_1001_1^13 - 1962794711937245202815527281052123195505/\ 10117721659651558406119081611928599976*c_1001_1^12 + 71457962079850141440584734745667430469/1264715207456444800764885201\ 491074997*c_1001_1^11 + 2248236108012230266130203193366022053983/50\ 58860829825779203059540805964299988*c_1001_1^10 - 5222908683442440823937114522802884463993/20235443319303116812238163\ 223857199952*c_1001_1^9 - 10867479072677425641303084959651528648187\ /20235443319303116812238163223857199952*c_1001_1^8 + 8267657243852794224303410496486729762899/20235443319303116812238163\ 223857199952*c_1001_1^7 + 6872754484695306231163301992259838299933/\ 20235443319303116812238163223857199952*c_1001_1^6 - 6379817070322214551799447622547772841187/20235443319303116812238163\ 223857199952*c_1001_1^5 - 2090855146564576279313631295544459011573/\ 20235443319303116812238163223857199952*c_1001_1^4 + 2190604516793350665226579270483942559311/20235443319303116812238163\ 223857199952*c_1001_1^3 + 50430839022235951028689181984734437377/25\ 29430414912889601529770402982149994*c_1001_1^2 - 17353966631608925922057925609812096653/1264715207456444800764885201\ 491074997*c_1001_1 - 3546724747277960201634844542617096450/12647152\ 07456444800764885201491074997, c_1001_1^20 - 15*c_1001_1^19 + 87*c_1001_1^18 - 168*c_1001_1^17 - 558*c_1001_1^16 + 3058*c_1001_1^15 - 1713*c_1001_1^14 - 12446*c_1001_1^13 + 17040*c_1001_1^12 + 20060*c_1001_1^11 - 44769*c_1001_1^10 - 8271*c_1001_1^9 + 55999*c_1001_1^8 - 14319*c_1001_1^7 - 34055*c_1001_1^6 + 18183*c_1001_1^5 + 7811*c_1001_1^4 - 5948*c_1001_1^3 - 552*c_1001_1^2 + 512*c_1001_1 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB