Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 4189611288] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1909 geometric_solution 5.51573883 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.304211674706 0.581359325822 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 0 0 0 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.636854644410 1.058798360853 1 3 0 4 1230 0132 0132 2310 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 -1 0 0 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636854644410 1.058798360853 1 2 3 3 0132 0132 1230 3012 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 -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.002835295891 0.999150826899 2 5 5 1 3201 0132 3201 0132 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 1 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 0.210802728082 0.473036733124 4 4 6 6 2310 0132 3201 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 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 2.504446941678 2.753690909601 5 6 5 6 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.474033651882 0.209636720280 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 10861796468136988513786059390484253626769176853901772/7894998821522\ 81311938776299406769856675581822675515*c_0101_5^35 - 162485296293281388604536540036904426346986175482209559/789499882152\ 281311938776299406769856675581822675515*c_0101_5^33 - 1657611866502663368937844901573536197078566739435761566/78949988215\ 2281311938776299406769856675581822675515*c_0101_5^31 + 2276222587584773827523193914829277971554517337745470723/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^29 + 70707836469959928479880019553760355612138426014972454024/7894998821\ 52281311938776299406769856675581822675515*c_0101_5^27 - 332538943818118991189145321502062917937654116786614822141/789499882\ 152281311938776299406769856675581822675515*c_0101_5^25 + 612148534904892177802052338734480153485285223212207300237/789499882\ 152281311938776299406769856675581822675515*c_0101_5^23 - 1328023956844785179989052784416717438323655734734637614836/78949988\ 2152281311938776299406769856675581822675515*c_0101_5^21 + 2571494248802543535839918737392173275043996300410659123282/78949988\ 2152281311938776299406769856675581822675515*c_0101_5^19 - 3049018974140117642423973021867060018423236300570440715871/78949988\ 2152281311938776299406769856675581822675515*c_0101_5^17 + 529370223341326626346232560664239744683860808271458373316/157899976\ 430456262387755259881353971335116364535103*c_0101_5^15 - 1502974950419909716769735072143679653501057435518474746391/78949988\ 2152281311938776299406769856675581822675515*c_0101_5^13 + 298543640653080852597327783624308653901877522336142944651/789499882\ 152281311938776299406769856675581822675515*c_0101_5^11 - 50071722983943515216127038859955860939811821129107326343/7894998821\ 52281311938776299406769856675581822675515*c_0101_5^9 - 83006583065453791515462890871724393789755414069099256001/7894998821\ 52281311938776299406769856675581822675515*c_0101_5^7 + 1002979832633120376925325974823338975248353215415109173/78949988215\ 2281311938776299406769856675581822675515*c_0101_5^5 + 281682448307462535231414315528326940855121344239888518/157899976430\ 456262387755259881353971335116364535103*c_0101_5^3 - 186383447809745433839112414298237601924701600432065404/789499882152\ 281311938776299406769856675581822675515*c_0101_5, c_0011_0 - 1, c_0011_1 - 4538214079524737040131597572279329084913912764386/1578999764\ 30456262387755259881353971335116364535103*c_0101_5^35 + 67068318872005846663134667589454903431545836008054/1578999764304562\ 62387755259881353971335116364535103*c_0101_5^33 + 704826004877398364584891704710908509786935793164548/157899976430456\ 262387755259881353971335116364535103*c_0101_5^31 - 4629711523258056779912263249515861387201744494296991/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^29 - 30399024619267183035692517887686810573458404225229407/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^27 + 133580175953074120372622881962048693656162974266564452/157899976430\ 456262387755259881353971335116364535103*c_0101_5^25 - 230798344394123914472541212495456877294246828366176777/157899976430\ 456262387755259881353971335116364535103*c_0101_5^23 + 509163875654185207923667426017076312628847305676856152/157899976430\ 456262387755259881353971335116364535103*c_0101_5^21 - 974630487131967206308460976816501107888152250463229799/157899976430\ 456262387755259881353971335116364535103*c_0101_5^19 + 1080951852852398673670511571009242472781240244926635783/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^17 - 877948417370727321068109857575848961486584352720745525/157899976430\ 456262387755259881353971335116364535103*c_0101_5^15 + 428540443913911850596551414638849000724406446071019260/157899976430\ 456262387755259881353971335116364535103*c_0101_5^13 - 9661095318948224108622270715637384870524265571666203/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^11 - 4770224475183538048253529852197920399870501372139978/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^9 + 41750624422854079921071514785046157538184038880776378/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^7 + 5441107502689337492053570696274617884142304012313839/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^5 - 480016219431644923730339861048651364136100772262151/157899976430456\ 262387755259881353971335116364535103*c_0101_5^3 + 418764600438260203478946111550834981661140643961702/157899976430456\ 262387755259881353971335116364535103*c_0101_5, c_0011_4 + 232256675772816299539015304191198840597388934845/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^34 - 2075109072056385868016515615966105696659151383350/15789997643045626\ 2387755259881353971335116364535103*c_0101_5^32 - 56514995492601336196105386511979742500487863541351/1578999764304562\ 62387755259881353971335116364535103*c_0101_5^30 + 31938822674709593447727892440080356087247959933639/1578999764304562\ 62387755259881353971335116364535103*c_0101_5^28 + 2998251568817033800358433931960243779945489714717383/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^26 + 1844979575978216779814325331310389026694576650183883/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^24 - 30581237788838451769585443441547960518398543054205791/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^22 + 55064671363881730184778820258907311421457328854251928/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^20 - 125876659271209078917795054817243687758598240597175113/157899976430\ 456262387755259881353971335116364535103*c_0101_5^18 + 286813085083079502992738168950743617762799611473324480/157899976430\ 456262387755259881353971335116364535103*c_0101_5^16 - 377084354148151682737459165635116834904265289771368444/157899976430\ 456262387755259881353971335116364535103*c_0101_5^14 + 363918105778461029611352098541941740168874415938852822/157899976430\ 456262387755259881353971335116364535103*c_0101_5^12 - 241224774322209051341816186229115456977500880876064612/157899976430\ 456262387755259881353971335116364535103*c_0101_5^10 + 75150993120942111241215008392677510108367634104405319/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^8 - 23819667586272044039713442641269965302695708750033522/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^6 - 6305458943106056628946311709297188904787225325313875/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^4 + 101023823898860300931126121017761741856043417967547/157899976430456\ 262387755259881353971335116364535103*c_0101_5^2 - 105388281279081374433610562476845317504680646150932/157899976430456\ 262387755259881353971335116364535103, c_0011_6 - 2838094819316540600595937823440578961616012441191/1578999764\ 30456262387755259881353971335116364535103*c_0101_5^34 + 43153266977849700275603407606326157147970000355931/1578999764304562\ 62387755259881353971335116364535103*c_0101_5^32 + 422640279274533757852906874146292707425500108621969/157899976430456\ 262387755259881353971335116364535103*c_0101_5^30 - 3079383510437355496154841137029335994995506754759386/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^28 - 17738325874044915642890458377918332485772525278612893/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^26 + 91365285803509072663076314260900184608086482540719250/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^24 - 181544724499788340950298267496375527543088262347372811/157899976430\ 456262387755259881353971335116364535103*c_0101_5^22 + 388303809772920828317691119775750060727600287991276248/157899976430\ 456262387755259881353971335116364535103*c_0101_5^20 - 761941994510276139847591109860468418731222245133552452/157899976430\ 456262387755259881353971335116364535103*c_0101_5^18 + 971451110750654102761309365325186361808653269364648532/157899976430\ 456262387755259881353971335116364535103*c_0101_5^16 - 907349801089254060869851453890850993657984487752770720/157899976430\ 456262387755259881353971335116364535103*c_0101_5^14 + 591748249237199942753886835645813768374994961527440923/157899976430\ 456262387755259881353971335116364535103*c_0101_5^12 - 204639578558937530242720078130348542471416780225963619/157899976430\ 456262387755259881353971335116364535103*c_0101_5^10 + 55058557195692242259761029708139743308014829416835662/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^8 + 8259875266802453915642074547331966742138036107147710/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^6 - 2839775930320781159118127034143656204504637679900426/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^4 - 228084435043131982004686860023990295488065287312687/157899976430456\ 262387755259881353971335116364535103*c_0101_5^2 - 54138368642502097577073907221268488671761013952959/1578999764304562\ 62387755259881353971335116364535103, c_0101_0 - 15069305354690347323452027895459957853171721852566/157899976\ 430456262387755259881353971335116364535103*c_0101_5^34 + 224542243049546151873919742544976266734501874477764/157899976430456\ 262387755259881353971335116364535103*c_0101_5^32 + 2312841698157050666807936585728445444094961273579163/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^30 - 15653134514177474519975213954676791811901505697816656/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^28 - 99008536604732907516568096280997748860747738798792383/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^26 + 455476371447725649061816646271872276662494474042198230/157899976430\ 456262387755259881353971335116364535103*c_0101_5^24 - 822871787225470440329711927119823246528173776121416573/157899976430\ 456262387755259881353971335116364535103*c_0101_5^22 + 1796147981876745596402886224914668308993476287429771444/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^20 - 3466282820941665443780118759981958807632707110823484366/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^18 + 4035254088813833910510934523885309588589503422860034886/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^16 - 3452828268571145765941368193523368021465426697570705369/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^14 + 1905593230044080913048495533085296005146095421196821338/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^12 - 324864507649967012469183068068582016146102986705780973/157899976430\ 456262387755259881353971335116364535103*c_0101_5^10 + 66696952890717076573731576055419359422949474094611575/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^8 + 112254705073418616295993641255041260050703493670062274/157899976430\ 456262387755259881353971335116364535103*c_0101_5^6 + 7999943479082044270517640938267032063064789133230027/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^4 - 1759084376595045636349192155853002173046983744146698/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^2 + 105572932146711167926067315224787080176152895405838/157899976430456\ 262387755259881353971335116364535103, c_0101_1 + 45715648489544248758298539422586836652182092729314/157899976\ 430456262387755259881353971335116364535103*c_0101_5^35 - 677766207180726837725270328282344470591026307614191/157899976430456\ 262387755259881353971335116364535103*c_0101_5^33 - 7068166431090104276389023166531719728239105782038200/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^31 + 46971115727922759507455385023163862750465894626062321/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^29 + 304018613815984803535946759755536555845217051588024572/157899976430\ 456262387755259881353971335116364535103*c_0101_5^27 - 1359994482139281945939388988797283434210775276373591477/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^25 + 2388665176013124829953440537577962258639267617938860305/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^23 - 5240122489931157903653373052411421087475331612919702092/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^21 + 10064272177260734253362892843666058456416621484262941746/1578999764\ 30456262387755259881353971335116364535103*c_0101_5^19 - 11362205215974119494787929177238697836160176595447158801/1578999764\ 30456262387755259881353971335116364535103*c_0101_5^17 + 9376300505924823019950051910511640444816635948403560032/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^15 - 4766285150358342027485560927380504594429504174557531492/15789997643\ 0456262387755259881353971335116364535103*c_0101_5^13 + 338593966491401245553398788651647318402106707965630333/157899976430\ 456262387755259881353971335116364535103*c_0101_5^11 + 11222050472628446990411240766519090401488294883087534/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^9 - 402556039277381815763473790463225290120903539315927062/157899976430\ 456262387755259881353971335116364535103*c_0101_5^7 - 35891125267824245329874858727978132216681716915978297/1578999764304\ 56262387755259881353971335116364535103*c_0101_5^5 + 6033062250372666994371466604342497893715512992041001/15789997643045\ 6262387755259881353971335116364535103*c_0101_5^3 - 639171107015031632674493754125068697364413360561170/157899976430456\ 262387755259881353971335116364535103*c_0101_5, c_0101_5^36 - 15*c_0101_5^34 - 152*c_0101_5^32 + 1054*c_0101_5^30 + 6467*c_0101_5^28 - 30879*c_0101_5^26 + 57610*c_0101_5^24 - 124591*c_0101_5^22 + 241780*c_0101_5^20 - 290471*c_0101_5^18 + 255359*c_0101_5^16 - 148588*c_0101_5^14 + 33377*c_0101_5^12 - 5878*c_0101_5^10 - 7426*c_0101_5^8 + 398*c_0101_5^6 + 118*c_0101_5^4 - 22*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB