Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2412647246] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0313 geometric_solution 4.34957121 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 -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 2.355848758546 0.153450331195 0 2 2 0 0132 0132 3201 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 -1 0 1 0 0 1 -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.973436498645 0.497137989246 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -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 0 -1 -1 0 1 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.187147786166 0.180243359872 4 2 5 2 0132 2310 0132 0132 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 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.796676766607 1.418443074824 3 6 5 5 0132 0132 0213 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 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.135765897077 0.808557595767 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 1 0 -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 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 0.135765897077 0.808557595767 5 4 6 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.798026854222 1.202856716416 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : 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' : negation(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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], '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_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 6597808474665482782676417642762715564108423527729305536986331651509\ 78217/2004603366677861283730535846625166543235596296171932360026369\ 535597120000*c_0101_6^31 + 2039995597178569915476479202464414894836\ 9082635812829185200414911577540277/10023016833389306418652679233125\ 83271617798148085966180013184767798560000*c_0101_6^29 - 3998331208683817923701522420607823908085306613472130932688765643556\ 41449687/1002301683338930641865267923312583271617798148085966180013\ 184767798560000*c_0101_6^27 + 1224774157427919253104230054728566607\ 8427206533196762035261277924862844036903/20046033666778612837305358\ 46625166543235596296171932360026369535597120000*c_0101_6^25 - 4099438602313455653388986363568322529329351411697803066959049279301\ 674141811/200460336667786128373053584662516654323559629617193236002\ 636953559712000*c_0101_6^23 + 1563976889917922451111843695883918704\ 8480407721201789458553200565006111231887/40092067333557225674610716\ 9325033308647119259234386472005273907119424000*c_0101_6^21 - 6436955038453527645897030745464449710197995020170936476417831732917\ 74504238071/2004603366677861283730535846625166543235596296171932360\ 026369535597120000*c_0101_6^19 + 1986056310765727462008372910380110\ 82203754306977526900186456511023032437712323/5011508416694653209326\ 33961656291635808899074042983090006592383899280000*c_0101_6^17 - 2133278249356195692144164827127791801570986698744428349620539806194\ 24762433349/2505754208347326604663169808281458179044495370214915450\ 03296191949640000*c_0101_6^15 + 16879011454603706641381609983331585\ 1894527982242366383016552170765840809916313/69124254023374527025190\ 891262936777352951596419721805518150673641280000*c_0101_6^13 - 2433030947796387577508838175748289583006971307230948510806312576332\ 39864938937/1252877104173663302331584904140729089522247685107457725\ 01648095974820000*c_0101_6^11 + 87766563794709278828510092845833988\ 0591211905114606225352004432599597111255767/40092067333557225674610\ 7169325033308647119259234386472005273907119424000*c_0101_6^9 - 3307535414095488011569999033016813118745022123277089719250971823750\ 236742250681/200460336667786128373053584662516654323559629617193236\ 0026369535597120000*c_0101_6^7 - 9259792338624721382695442023539551\ 5489110640448747732048990776934590840991683/50115084166946532093263\ 3961656291635808899074042983090006592383899280000*c_0101_6^5 - 5347139004272666117718889489130791419164058416138667634472108218586\ 6908629/31321927604341582558289622603518227238056192127686443125412\ 02399370500*c_0101_6^3 + 407995732154975518709316866720240672814081\ 890898048245340707773893987439401/313219276043415825582896226035182\ 27238056192127686443125412023993705000*c_0101_6, c_0011_0 - 1, c_0011_3 - 892859061061277593576837300461904227743617332040090414749478\ 011/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^30 + 27606708861054069891193536264856959459230193199\ 786305188679382029/691242540233745270251908912629367773529515964197\ 2180551815067364128*c_0101_6^28 - 541086659772629312003678521142752\ 551930561011692736262763001406225/691242540233745270251908912629367\ 7735295159641972180551815067364128*c_0101_6^26 + 1657447305219079735826926895020172148564612181279478226135357192914\ 9/13824850804674905405038178252587355470590319283944361103630134728\ 256*c_0101_6^24 - 2773765748930660592656974195758425292306769071403\ 6610756712129849999/69124254023374527025190891262936777352951596419\ 72180551815067364128*c_0101_6^22 + 1057467443979665229398967913396598014737960192811187449588421556381\ 21/1382485080467490540503817825258735547059031928394436110363013472\ 8256*c_0101_6^20 - 870830839708909950698796919787099570190344105851\ 718222476627730023097/138248508046749054050381782525873554705903192\ 83944361103630134728256*c_0101_6^18 + 1343464811038934376552936842745939913465782266313916306875960689876\ 01/1728106350584363175629772281573419433823789910493045137953766841\ 032*c_0101_6^16 - 2881085325972427305037736640796985411032895623635\ 53466947232431053657/1728106350584363175629772281573419433823789910\ 493045137953766841032*c_0101_6^14 + 6620250763345111074635462943249286034656485901005076180798013271178\ 783/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^12 - 13140309780967657212879781783404266739564337487\ 89822780247718266124279/3456212701168726351259544563146838867647579\ 820986090275907533682064*c_0101_6^10 + 5907419086960049000954364516426097489614296527607132425615151015096\ 985/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^8 - 445649292294878155343115734464976795552848829325\ 4744213688799545993119/13824850804674905405038178252587355470590319\ 283944361103630134728256*c_0101_6^6 - 6654219683536676149970481671653433925235659567067394774572413425501\ 7/17281063505843631756297722815734194338237899104930451379537668410\ 32*c_0101_6^4 - 247327209786074393630216459385974367453485182408183\ 9334653924217587/86405317529218158781488614078670971691189495524652\ 2568976883420516*c_0101_6^2 + 6491391866136858138545529389553796899\ 38541073589191443525665498929/2160132938230453969537215351966774292\ 27973738811630642244220855129, c_0011_5 - 689128646690275962415282697387869546343977108269074543066364\ 1169/13824850804674905405038178252587355470590319283944361103630134\ 728256*c_0101_6^31 + 2130718938695551532531048432489153152266523922\ 75771401625935287947/6912425402337452702519089126293677735295159641\ 972180551815067364128*c_0101_6^29 - 4176075759965457735036699238028845590924159482545396205057866791427\ /691242540233745270251908912629367773529515964197218055181506736412\ 8*c_0101_6^27 + 127921661271268047450636649684761664304227519618797\ 243540205566108231/138248508046749054050381782525873554705903192839\ 44361103630134728256*c_0101_6^25 - 2140625201322292980632330184834863343272672933975261399603366040840\ 57/6912425402337452702519089126293677735295159641972180551815067364\ 128*c_0101_6^23 + 8167502929473907364941032960137310863104950213573\ 94574523771264850427/1382485080467490540503817825258735547059031928\ 3944361103630134728256*c_0101_6^21 - 6723540994863794611559425203085779784642456478060813741311369159966\ 051/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^19 + 12961561396471553688304178439685394199541773875\ 3002350707028459126452/21601329382304539695372153519667742922797373\ 8811630642244220855129*c_0101_6^17 - 2228947005357424823468277943854216610664158667878712042773741628615\ 825/172810635058436317562977228157341943382378991049304513795376684\ 1032*c_0101_6^15 + 511310887464761062605834227201782154173727276763\ 03062751446323522810589/1382485080467490540503817825258735547059031\ 9283944361103630134728256*c_0101_6^13 - 1016520792492955832882400800063129856426267834232997618599229566396\ 0063/34562127011687263512595445631468388676475798209860902759075336\ 82064*c_0101_6^11 + 45895796107964946796129743563218051230466056586\ 683326562322294116481147/138248508046749054050381782525873554705903\ 19283944361103630134728256*c_0101_6^9 - 3459126541435564332660843846431658320615720450746146910687006051109\ 8485/13824850804674905405038178252587355470590319283944361103630134\ 728256*c_0101_6^7 - 11938195641181827538746187986015352427895513798\ 4561345345364113843819/43202658764609079390744307039335485845594747\ 7623261284488441710258*c_0101_6^5 - 1323123746407433300236134367482491075157751075364783594177078512165\ 3/43202658764609079390744307039335485845594747762326128448844171025\ 8*c_0101_6^3 + 8373519950609882277090632212336343301345506720591175\ 740419757643629/432026587646090793907443070393354858455947477623261\ 284488441710258*c_0101_6, c_0101_0 + 225261518152455406756250255771327671291864816490655345735210\ 26615/1382485080467490540503817825258735547059031928394436110363013\ 4728256*c_0101_6^31 - 435314881641617740966040330928326940638154200\ 84292574600141495821/4320265876460907939074430703933548584559474776\ 23261284488441710258*c_0101_6^29 + 1365172736181819914108678718517199182904387150863158264976838707194\ 3/69124254023374527025190891262936777352951596419721805518150673641\ 28*c_0101_6^27 - 41818617609605349691087552965361487109385214777915\ 1445687522334587253/13824850804674905405038178252587355470590319283\ 944361103630134728256*c_0101_6^25 + 1750007822079816472422413126670862093537752554484437010752796824561\ 09/1728106350584363175629772281573419433823789910493045137953766841\ 032*c_0101_6^23 - 2670730224022498223906258575167801171014282237060\ 847266075417708339433/138248508046749054050381782525873554705903192\ 83944361103630134728256*c_0101_6^21 + 2197785114378088636596114624994212362620327582208604465863342806676\ 5399/13824850804674905405038178252587355470590319283944361103630134\ 728256*c_0101_6^19 - 1357072160795591632286958641493096494758989035\ 6151959286792283970550953/69124254023374527025190891262936777352951\ 59641972180551815067364128*c_0101_6^17 + 7283396005692093527871633809628732945398542783402894831008274551113\ 095/172810635058436317562977228157341943382378991049304513795376684\ 1032*c_0101_6^15 - 167143075459428950165887804945274780689810765221\ 224985953487458508591387/138248508046749054050381782525873554705903\ 19283944361103630134728256*c_0101_6^13 + 6650111682963059387831452801187239382117785147521723059524042318684\ 5945/69124254023374527025190891262936777352951596419721805518150673\ 64128*c_0101_6^11 - 14974595604835879709845680387162892366340676439\ 9929060371638985741975781/13824850804674905405038178252587355470590\ 319283944361103630134728256*c_0101_6^9 + 1128933167858867198115208097989282111261549026682155540003531727709\ 66741/1382485080467490540503817825258735547059031928394436110363013\ 4728256*c_0101_6^7 + 6362434119388252139972425253975229634116975660\ 886649443431877954792785/691242540233745270251908912629367773529515\ 9641972180551815067364128*c_0101_6^5 + 3116481826445741856289793271416400048055975858531930101065617787159\ 5/43202658764609079390744307039335485845594747762326128448844171025\ 8*c_0101_6^3 - 1406047893928141837353208066834625935996318256588860\ 2683806132065049/21601329382304539695372153519667742922797373881163\ 0642244220855129*c_0101_6, c_0101_1 + 146354624151022963168744097547797275537356097437008177990939\ 93627/1382485080467490540503817825258735547059031928394436110363013\ 4728256*c_0101_6^30 - 452510876730619309791501492579690449938341347\ 750325884792052462455/691242540233745270251908912629367773529515964\ 1972180551815067364128*c_0101_6^28 + 8868773674089866524486875995324771120532247771997248276872877103213\ /691242540233745270251908912629367773529515964197218055181506736412\ 8*c_0101_6^26 - 271665616462138551803089379361931964935857272740582\ 633354084587434389/138248508046749054050381782525873554705903192839\ 44361103630134728256*c_0101_6^24 + 4545405782247170992609890711767098294807047993189267539606796445903\ 57/6912425402337452702519089126293677735295159641972180551815067364\ 128*c_0101_6^22 - 1733731052143631507989012988168896244768202849103\ 974668380661429867633/138248508046749054050381782525873554705903192\ 83944361103630134728256*c_0101_6^20 + 1427698395738059665531097794503831061085635542577788053559153388641\ 0549/13824850804674905405038178252587355470590319283944361103630134\ 728256*c_0101_6^18 - 4402043871237917332208858692412846662173510710\ 154523509578561020596641/345621270116872635125954456314683886764757\ 9820986090275907533682064*c_0101_6^16 + 4729951204469808025964319103421409570164148304792240766091810309799\ 457/172810635058436317562977228157341943382378991049304513795376684\ 1032*c_0101_6^14 - 108546024305892631928686393806077698837575455236\ 383323309540212914630239/138248508046749054050381782525873554705903\ 19283944361103630134728256*c_0101_6^12 + 2695269429740097893284986398221099666534372074725795110954150368867\ 883/432026587646090793907443070393354858455947477623261284488441710\ 258*c_0101_6^10 - 9726612167331659554339458654172185483873735662669\ 2308754735328666785769/13824850804674905405038178252587355470590319\ 283944361103630134728256*c_0101_6^8 + 7329427433408375976718719794205719165597642819397301708821309937709\ 1035/13824850804674905405038178252587355470590319283944361103630134\ 728256*c_0101_6^6 + 20662148721118407428546474654004412496188213099\ 72251456764310566260297/3456212701168726351259544563146838867647579\ 820986090275907533682064*c_0101_6^4 + 4918556585263965254096095222740294787613833855659863651198218755317\ 5/86405317529218158781488614078670971691189495524652256897688342051\ 6*c_0101_6^2 - 9176053965805726525567657461554210589665354126159397\ 572216059435921/216013293823045396953721535196677429227973738811630\ 642244220855129, c_0101_3 - 249833295638697836137561216715792240180098450961927758060433\ 059/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^30 + 77264608861957342775086699188168972453092398539\ 88564122215768781/6912425402337452702519089126293677735295159641972\ 180551815067364128*c_0101_6^28 - 1515135643083010660872691516492054\ 41975239268320400208164620711033/6912425402337452702519089126293677\ 735295159641972180551815067364128*c_0101_6^26 + 4642270131753092992709151002388952706534310284366962278026889696693\ /138248508046749054050381782525873554705903192839443611036301347282\ 56*c_0101_6^24 - 77965041605255930843250538163348436219423127979676\ 51430973019745519/6912425402337452702519089126293677735295159641972\ 180551815067364128*c_0101_6^22 + 2988647053593376107877734820889231\ 4111411714094713596065409726953537/13824850804674905405038178252587\ 355470590319283944361103630134728256*c_0101_6^20 - 2443137237861375594899323405676720429754873111404742269870968482948\ 81/1382485080467490540503817825258735547059031928394436110363013472\ 8256*c_0101_6^18 + 380740852507137944846319190248700012472251144753\ 59874762529793469743/1728106350584363175629772281573419433823789910\ 493045137953766841032*c_0101_6^16 - 8167944871977153205401670857035857390797332003069933251700014014664\ 9/17281063505843631756297722815734194338237899104930451379537668410\ 32*c_0101_6^14 + 18645642334779911046972457184514287316087374695421\ 92759252025337982567/1382485080467490540503817825258735547059031928\ 3944361103630134728256*c_0101_6^12 - 3772642926231008114704709881132768180133815715871287136608013698699\ 39/3456212701168726351259544563146838867647579820986090275907533682\ 064*c_0101_6^10 + 1703383940810773029007097127081737224468933848597\ 108013434889982065233/138248508046749054050381782525873554705903192\ 83944361103630134728256*c_0101_6^8 - 1285527946040590110150737136161103435646980350672079365687879969730\ 583/138248508046749054050381782525873554705903192839443611036301347\ 28256*c_0101_6^6 - 120438617892588965348259368958394487607750010571\ 65688064211616519135/1728106350584363175629772281573419433823789910\ 493045137953766841032*c_0101_6^4 - 1723008544713165921258604944112923158729927590849956404518459916667\ /864053175292181587814886140786709716911894955246522568976883420516\ *c_0101_6^2 + 12575793078004580838651454305461117616143332583311842\ 8966630764729/21601329382304539695372153519667742922797373881163064\ 2244220855129, c_0101_6^32 - 62*c_0101_6^30 + 1222*c_0101_6^28 - 18759*c_0101_6^26 + 65130*c_0101_6^24 - 128555*c_0101_6^22 + 994763*c_0101_6^20 - 1361576*c_0101_6^18 + 2781176*c_0101_6^16 - 7836781*c_0101_6^14 + 7098276*c_0101_6^12 - 7604955*c_0101_6^10 + 6088093*c_0101_6^8 - 249304*c_0101_6^6 - 37520*c_0101_6^4 - 48192*c_0101_6^2 + 6400 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB