Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1966401884] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0041 geometric_solution 3.60879230 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 0 0 0 0 0 0 0 0 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 1.274831880306 0.064922779831 0 2 2 0 3201 0132 1023 0132 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 1.075206768150 0.041316068037 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102578699744 0.080333870297 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 -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 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.120652876402 0.210621003809 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 -1 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 -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.815511619441 0.419768634114 4 6 6 6 0132 0321 1302 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 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.503164853193 0.509232493145 5 5 4 5 2031 1302 0132 0321 0 0 0 0 0 0 -1 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 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.503164853193 0.509232493145 ==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' : 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' : 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' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : 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_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 38172017498740976517171642463943736297777/1205369580747645562148756\ 4355484488615120*c_0101_4^19 + 429530627590038915661784958325919337\ 1321/1205369580747645562148756435548448861512*c_0101_4^18 + 1464101395466083871422106061203794994191523/12053695807476455621487\ 564355484488615120*c_0101_4^17 + 2426729540248380130528495841185553\ 616608669/12053695807476455621487564355484488615120*c_0101_4^16 - 8618574764486798362096943690549979753860611/60268479037382278107437\ 82177742244307560*c_0101_4^15 - 31991113027017637322650179345760077\ 33093163/1205369580747645562148756435548448861512*c_0101_4^14 + 15877726768106389330200788573958729322487215/2410739161495291124297\ 512871096897723024*c_0101_4^13 + 4410978782953769220096752832792433\ 7240938037/3013423951869113905371891088871122153780*c_0101_4^12 - 12774776643673578547269246477071542852122237/7533559879672784763429\ 72772217780538445*c_0101_4^11 - 40963320915808151389347839546929347\ 5991670903/12053695807476455621487564355484488615120*c_0101_4^10 + 8655939853539582589385537755715539862315027/75335598796727847634297\ 2772217780538445*c_0101_4^9 + 5305229239061681656101031619646088289\ 5086781/927207369805881201652889565806499124240*c_0101_4^8 - 16377387877564549872620898624249170558492921/3013423951869113905371\ 891088871122153780*c_0101_4^7 - 49146351572422858812908920626071796\ 7263007713/12053695807476455621487564355484488615120*c_0101_4^6 - 6033934717059251499481004128018587671796303/24107391614952911242975\ 12871096897723024*c_0101_4^5 + 132357872790643808730509422754175944\ 357114137/12053695807476455621487564355484488615120*c_0101_4^4 + 2164921612557158969858994051473115718439095/60268479037382278107437\ 8217774224430756*c_0101_4^3 - 3445122511661703715370529477976051950\ 431689/6026847903738227810743782177742244307560*c_0101_4^2 - 8264233967204448257408915147547907222148077/12053695807476455621487\ 564355484488615120*c_0101_4 - 1846227192281567442909727371513451051\ 657793/12053695807476455621487564355484488615120, c_0011_0 - 1, c_0011_1 + 109861501362275892149102859455242779/11590092122573515020661\ 119572581239053*c_0101_4^19 - 194084731223761712833141378994384046/\ 11590092122573515020661119572581239053*c_0101_4^18 - 4093273576955815351915828413536854364/11590092122573515020661119572\ 581239053*c_0101_4^17 - 4313575232010930635972167044113701058/11590\ 092122573515020661119572581239053*c_0101_4^16 + 52521211467775293003139531453229217085/1159009212257351502066111957\ 2581239053*c_0101_4^15 + 57088100645571136023049998546545780075/115\ 90092122573515020661119572581239053*c_0101_4^14 - 270948888715182139412443879280910236821/115900921225735150206611195\ 72581239053*c_0101_4^13 - 323609083329947127376577377513528000753/1\ 1590092122573515020661119572581239053*c_0101_4^12 + 848590024871737532445208918938373065312/115900921225735150206611195\ 72581239053*c_0101_4^11 + 617133255528058976507222629504725498922/1\ 1590092122573515020661119572581239053*c_0101_4^10 - 1009508513180741838092795397926592217159/11590092122573515020661119\ 572581239053*c_0101_4^9 - 1354957449901254201468327323083511551964/\ 11590092122573515020661119572581239053*c_0101_4^8 + 1412945055162556959264400245202839885407/11590092122573515020661119\ 572581239053*c_0101_4^7 + 721190694323791610531168590357658118879/1\ 1590092122573515020661119572581239053*c_0101_4^6 - 790734698488416362818481434459022211840/115900921225735150206611195\ 72581239053*c_0101_4^5 - 64136793706675433381813079598466099011/115\ 90092122573515020661119572581239053*c_0101_4^4 + 125745364258779574230035217402344678233/115900921225735150206611195\ 72581239053*c_0101_4^3 + 13252700784912690755213624035438538868/115\ 90092122573515020661119572581239053*c_0101_4^2 - 13523061125410574102108431082390230979/1159009212257351502066111957\ 2581239053*c_0101_4 - 2275354933542894752674337639534064349/1159009\ 2122573515020661119572581239053, c_0011_6 - 182707228933213028887550175153130628/11590092122573515020661\ 119572581239053*c_0101_4^19 + 30764257868701166900361147171214378/1\ 1590092122573515020661119572581239053*c_0101_4^18 + 7131407969950018429979083308667006375/11590092122573515020661119572\ 581239053*c_0101_4^17 + 18376711257601447324215289851889342548/1159\ 0092122573515020661119572581239053*c_0101_4^16 - 68562781557443628036855014629046646920/1159009212257351502066111957\ 2581239053*c_0101_4^15 - 226376892918914315506360162341833201750/11\ 590092122573515020661119572581239053*c_0101_4^14 + 202427534427811472934045792387232872335/115900921225735150206611195\ 72581239053*c_0101_4^13 + 1134566797668208155364281629554659551119/\ 11590092122573515020661119572581239053*c_0101_4^12 - 46493534745529582150360233207025281114/1159009212257351502066111957\ 2581239053*c_0101_4^11 - 2505554458629414609079885334406302143075/1\ 1590092122573515020661119572581239053*c_0101_4^10 - 1438115968957587280281534079191582154881/11590092122573515020661119\ 572581239053*c_0101_4^9 + 3053425268168230429194944452153147152398/\ 11590092122573515020661119572581239053*c_0101_4^8 + 2680685497043235030385530712274306242181/11590092122573515020661119\ 572581239053*c_0101_4^7 - 1425511870629033776344743531536072477793/\ 11590092122573515020661119572581239053*c_0101_4^6 - 1892164460431495149859437323177895891632/11590092122573515020661119\ 572581239053*c_0101_4^5 - 85798551784774092731632436746279819296/11\ 590092122573515020661119572581239053*c_0101_4^4 + 417735233893651489334499753293924336700/115900921225735150206611195\ 72581239053*c_0101_4^3 + 104673264593208420759737632538328486459/11\ 590092122573515020661119572581239053*c_0101_4^2 - 4613391067917475106153411210921745260/11590092122573515020661119572\ 581239053*c_0101_4 - 3641255130484740946159701290057390669/11590092\ 122573515020661119572581239053, c_0101_0 + 24137583645815696092579504174133946/115900921225735150206611\ 19572581239053*c_0101_4^19 + 302854036338461485635901835479867429/1\ 1590092122573515020661119572581239053*c_0101_4^18 - 1235740438177182910985926481360509751/11590092122573515020661119572\ 581239053*c_0101_4^17 - 14187335887638275151873440444260677523/1159\ 0092122573515020661119572581239053*c_0101_4^16 - 12487079593274869825644819257410845353/1159009212257351502066111957\ 2581239053*c_0101_4^15 + 162483273692515312336338343692403671730/11\ 590092122573515020661119572581239053*c_0101_4^14 + 248133792361352715367681486793026901158/115900921225735150206611195\ 72581239053*c_0101_4^13 - 715615382596018981161725134710135178137/1\ 1590092122573515020661119572581239053*c_0101_4^12 - 1447886575524682475679883805915903508481/11590092122573515020661119\ 572581239053*c_0101_4^11 + 1622882832957543757739142374998121902072\ /11590092122573515020661119572581239053*c_0101_4^10 + 3385473493506989629893160044405338041954/11590092122573515020661119\ 572581239053*c_0101_4^9 - 765666413469104966446593050266961964898/1\ 1590092122573515020661119572581239053*c_0101_4^8 - 5259312314611640416617614627640524145893/11590092122573515020661119\ 572581239053*c_0101_4^7 - 63114524849605954244143987903955489513/11\ 590092122573515020661119572581239053*c_0101_4^6 + 3143821051986074784578121107730701298974/11590092122573515020661119\ 572581239053*c_0101_4^5 + 500839328788717640134735276390487497270/1\ 1590092122573515020661119572581239053*c_0101_4^4 - 473095163799058622425483970452606144296/115900921225735150206611195\ 72581239053*c_0101_4^3 - 213835288020148220037207942612707402806/11\ 590092122573515020661119572581239053*c_0101_4^2 - 35927125659682351795634088581305003188/1159009212257351502066111957\ 2581239053*c_0101_4 + 3191890759143540933097081897478398006/1159009\ 2122573515020661119572581239053, c_0101_2 - 232332643555640205677565522933882620/11590092122573515020661\ 119572581239053*c_0101_4^19 + 466524623695136254327155424058243012/\ 11590092122573515020661119572581239053*c_0101_4^18 + 8652776460576064254534201477120829027/11590092122573515020661119572\ 581239053*c_0101_4^17 + 6972093733832152421447064470849808282/11590\ 092122573515020661119572581239053*c_0101_4^16 - 116917090134908306081304329574691547283/115900921225735150206611195\ 72581239053*c_0101_4^15 - 101759296951617901395782659464152194914/1\ 1590092122573515020661119572581239053*c_0101_4^14 + 639607846473219575874502021803093748125/115900921225735150206611195\ 72581239053*c_0101_4^13 + 638892082223229608971920688631408285996/1\ 1590092122573515020661119572581239053*c_0101_4^12 - 2098802853297028370186711296523739713933/11590092122573515020661119\ 572581239053*c_0101_4^11 - 1321478229068991203634600300504146997481\ /11590092122573515020661119572581239053*c_0101_4^10 + 2721615622069327780715931684795831133261/11590092122573515020661119\ 572581239053*c_0101_4^9 + 3257158944267604567997005116418600906860/\ 11590092122573515020661119572581239053*c_0101_4^8 - 3659280758799341606645171686366977114376/11590092122573515020661119\ 572581239053*c_0101_4^7 - 2101279183335830456412681053229645053324/\ 11590092122573515020661119572581239053*c_0101_4^6 + 1926293966434983280164460431491270572777/11590092122573515020661119\ 572581239053*c_0101_4^5 + 540392764117464896781221336714675630658/1\ 1590092122573515020661119572581239053*c_0101_4^4 - 215771204560582937264703268945933238482/115900921225735150206611195\ 72581239053*c_0101_4^3 - 109164548827601635556327046993513475084/11\ 590092122573515020661119572581239053*c_0101_4^2 - 19438257297313456387402798159079334611/1159009212257351502066111957\ 2581239053*c_0101_4 - 920524470486836170375686290996995402/11590092\ 122573515020661119572581239053, c_0101_3 - 952085888966810768850607434691241069/11590092122573515020661\ 119572581239053*c_0101_4^19 + 733335571952975697166540883041093388/\ 11590092122573515020661119572581239053*c_0101_4^18 + 36623521534107363685998963289370983734/1159009212257351502066111957\ 2581239053*c_0101_4^17 + 73663439657887097818909416005521207240/115\ 90092122573515020661119572581239053*c_0101_4^16 - 397858385582014656342042663057373913196/115900921225735150206611195\ 72581239053*c_0101_4^15 - 927783953134193670669981184147978787803/1\ 1590092122573515020661119572581239053*c_0101_4^14 + 1585366640674839818260052520164622945152/11590092122573515020661119\ 572581239053*c_0101_4^13 + 4819497746270042475595307448450775893069\ /11590092122573515020661119572581239053*c_0101_4^12 - 3120848141573034779417331091562092774711/11590092122573515020661119\ 572581239053*c_0101_4^11 - 1057259186819681995292203544421174533532\ 6/11590092122573515020661119572581239053*c_0101_4^10 - 846447857551495719387888193530102983577/115900921225735150206611195\ 72581239053*c_0101_4^9 + 15277739502827406015648138772027937858439/\ 11590092122573515020661119572581239053*c_0101_4^8 + 3710624323780037688313766937186036260392/11590092122573515020661119\ 572581239053*c_0101_4^7 - 8578618463447886059485110188449329832914/\ 11590092122573515020661119572581239053*c_0101_4^6 - 3330840922705532675573132246095419238226/11590092122573515020661119\ 572581239053*c_0101_4^5 + 934097961831488437198682572480259955142/1\ 1590092122573515020661119572581239053*c_0101_4^4 + 941851498614291821187131237022062433674/115900921225735150206611195\ 72581239053*c_0101_4^3 + 193141662075866325966787296261512863424/11\ 590092122573515020661119572581239053*c_0101_4^2 - 10840463494860845550989541173838372670/1159009212257351502066111957\ 2581239053*c_0101_4 - 5723205729582986042009561477654877409/1159009\ 2122573515020661119572581239053, c_0101_4^20 - 39*c_0101_4^18 - 107*c_0101_4^17 + 356*c_0101_4^16 + 1290*c_0101_4^15 - 895*c_0101_4^14 - 6274*c_0101_4^13 - 664*c_0101_4^12 + 13319*c_0101_4^11 + 9414*c_0101_4^10 - 14809*c_0101_4^9 - 15878*c_0101_4^8 + 5449*c_0101_4^7 + 10005*c_0101_4^6 + 1909*c_0101_4^5 - 1590*c_0101_4^4 - 966*c_0101_4^3 - 159*c_0101_4^2 + 19*c_0101_4 + 10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB