Magma V2.19-8 Tue Aug 20 2013 16:18:56 on localhost [Seed = 3381154976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3097 geometric_solution 6.26212122 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286431324032 0.180757757282 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 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.216701200051 1.394936405024 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 0 0 -1 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.580841983096 0.861263183628 6 5 4 1 1023 0132 3201 0132 0 0 0 0 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 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.580841983096 0.861263183628 3 2 4 4 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 0.818602272130 1.102157963083 5 3 5 2 2031 0132 1302 0132 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 -1 0 1 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.867622219120 0.668434956875 6 3 2 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 -1 1 -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.494939871737 0.530489986932 ==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' : 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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 265748466814977222565044163551421299484734539759331850299555828790/\ 2799178895852948020355347385906441854466553471618543965168105135527\ *c_0101_4^33 + 4786646960040111510162608433765884972449245899518895\ 277068530676271/279917889585294802035534738590644185446655347161854\ 3965168105135527*c_0101_4^31 + 803149051080881682263713828708895272\ 1293173928238565213597768915889/27991788958529480203553473859064418\ 54466553471618543965168105135527*c_0101_4^29 - 1784544569850788864234991835368330774410486107535896761917105257727\ 36/2799178895852948020355347385906441854466553471618543965168105135\ 527*c_0101_4^27 - 4025735899857179029783808930445667514538398858754\ 10273376175945057368/2799178895852948020355347385906441854466553471\ 618543965168105135527*c_0101_4^25 - 6486502382761602705221764244855406981872684476079781666009366771351\ 90/2799178895852948020355347385906441854466553471618543965168105135\ 527*c_0101_4^23 - 1403988932179067975868061275772716141678996622592\ 5980722429616793620559/27991788958529480203553473859064418544665534\ 71618543965168105135527*c_0101_4^21 - 3913569362745869347572392878373883714879008960893301448617822838261\ 3676/27991788958529480203553473859064418544665534716185439651681051\ 35527*c_0101_4^19 - 53346605062364174518328720192084737742530260227\ 203100475559655048675450/279917889585294802035534738590644185446655\ 3471618543965168105135527*c_0101_4^17 - 1430184933984415540224262744250090658118294457186599699120488267360\ 8480/27991788958529480203553473859064418544665534716185439651681051\ 35527*c_0101_4^15 + 46657350238309844726601302563107451381419082043\ 3336960882721624661626926/27991788958529480203553473859064418544665\ 53471618543965168105135527*c_0101_4^13 + 1190183523604986303469840331623610823926096722360995796705574874573\ 62906/2799178895852948020355347385906441854466553471618543965168105\ 135527*c_0101_4^11 - 1437628297973186653775200300821723914276081578\ 6352484037761156463530362/27991788958529480203553473859064418544665\ 53471618543965168105135527*c_0101_4^9 + 1539623620208081543137841960368098531642706557371044993510367411143\ 42547/2799178895852948020355347385906441854466553471618543965168105\ 135527*c_0101_4^7 - 30645875650526310163208278813580969896270384706\ 383927438743799626113648/279917889585294802035534738590644185446655\ 3471618543965168105135527*c_0101_4^5 - 3000900219849224717136184971343546425161073651033388179034915242724\ 777/164657582108996942373843963876849520850973733624620233245182655\ 031*c_0101_4^3 + 37103542624637344021708881618991982296782760599052\ 78446623541109452316/2799178895852948020355347385906441854466553471\ 618543965168105135527*c_0101_4, c_0011_0 - 1, c_0011_1 + 21649989320503658909826814854448754303836523845535389303778/\ 33514671709545479823701193543018424761036786815513990076365287*c_01\ 01_4^32 + 380207931110002140764046132075520575050551652067670033350\ 242/33514671709545479823701193543018424761036786815513990076365287*\ c_0101_4^30 + 48504247870057678399763029002209121950557449427944267\ 6006053/33514671709545479823701193543018424761036786815513990076365\ 287*c_0101_4^28 - 1472247185554029269357123239545949724989761877054\ 6161063170077/33514671709545479823701193543018424761036786815513990\ 076365287*c_0101_4^26 - 2612658444539137848323073969218087832883849\ 5391647132065664829/33514671709545479823701193543018424761036786815\ 513990076365287*c_0101_4^24 - 4242041160259451640519399181871788376\ 6493421308691185902054349/33514671709545479823701193543018424761036\ 786815513990076365287*c_0101_4^22 - 1126899319988735697676421122212270760830564944996075535818167211/33\ 514671709545479823701193543018424761036786815513990076365287*c_0101\ _4^20 - 26843612548528224726740234343787516311567169728883844390903\ 93726/3351467170954547982370119354301842476103678681551399007636528\ 7*c_0101_4^18 - 323904223872722840079537249552371165468427895086118\ 9992077565702/33514671709545479823701193543018424761036786815513990\ 076365287*c_0101_4^16 + 6261620846429604950666729812164047571721446\ 4571174788923294324/33514671709545479823701193543018424761036786815\ 513990076365287*c_0101_4^14 + 3771729419732404724110704321470241893\ 7336707544603769711473846872/33514671709545479823701193543018424761\ 036786815513990076365287*c_0101_4^12 - 7252317999170376556411340733590716964048526563314266789460135680/33\ 514671709545479823701193543018424761036786815513990076365287*c_0101\ _4^10 + 55129051261994831164370152548455464015944499671816981584219\ 12046/3351467170954547982370119354301842476103678681551399007636528\ 7*c_0101_4^8 + 8955925129424410165518206807648351225761695952339762\ 451555801058/335146717095454798237011935430184247610367868155139900\ 76365287*c_0101_4^6 - 589240050575235277396118395764739992628815132\ 6854463643782338368/33514671709545479823701193543018424761036786815\ 513990076365287*c_0101_4^4 - 75828640718232137848688783706834178410\ 7698872539131683268900958/33514671709545479823701193543018424761036\ 786815513990076365287*c_0101_4^2 + 42800035643541858206353923834908499961395593300252525305227103/3351\ 4671709545479823701193543018424761036786815513990076365287, c_0011_3 - 918173357808605935873178732489224099194284962043753502711838\ /569749419062273157002920290231313220937625375863737831298209879*c_\ 0101_4^33 - 1628628721724070334666928822366375082734062184619092624\ 1664585/56974941906227315700292029023131322093762537586373783129820\ 9879*c_0101_4^31 - 233828085808101121930884728388388937169513794214\ 78587292528495/5697494190622731570029202902313132209376253758637378\ 31298209879*c_0101_4^29 + 62123979515038768457243808788486882040323\ 3806000256691398327507/56974941906227315700292029023131322093762537\ 5863737831298209879*c_0101_4^27 + 121856432903446034512478313222234\ 6611060393471416231992704127308/56974941906227315700292029023131322\ 0937625375863737831298209879*c_0101_4^25 + 1975249891383945105021564104016013597893767131378301173913770978/56\ 9749419062273157002920290231313220937625375863737831298209879*c_010\ 1_4^23 + 4807710348392317456995724017897842757836313265440091530803\ 5753614/56974941906227315700292029023131322093762537586373783129820\ 9879*c_0101_4^21 + 122209989553570383920555071747471391530543980167\ 802569008474289023/569749419062273157002920290231313220937625375863\ 737831298209879*c_0101_4^19 + 1559785632855829310365268777105407589\ 59225188226595563772122387765/5697494190622731570029202902313132209\ 37625375863737831298209879*c_0101_4^17 + 18252942577765072168009606967515333157279115512208065562280726024/5\ 69749419062273157002920290231313220937625375863737831298209879*c_01\ 01_4^15 - 160384622666681232206388514032574640946709855280308725054\ 0185132288/56974941906227315700292029023131322093762537586373783129\ 8209879*c_0101_4^13 + 263340384738192848750876045970009372412723543\ 74904234628590405992/5697494190622731570029202902313132209376253758\ 63737831298209879*c_0101_4^11 - 13140660906174288406661456224554395\ 8613835035892106989386303725406/56974941906227315700292029023131322\ 0937625375863737831298209879*c_0101_4^9 - 435915120352932719488933413126711296943863424548096799075585068453/\ 569749419062273157002920290231313220937625375863737831298209879*c_0\ 101_4^7 + 191267658720974326138237124306321002773188362221043839430\ 587663069/569749419062273157002920290231313220937625375863737831298\ 209879*c_0101_4^5 + 51129420403338920730498759875603240476452427018\ 57714516748970556/3351467170954547982370119354301842476103678681551\ 3990076365287*c_0101_4^3 - 4149456851112183670518558035585244253570\ 158304890735841370181406/569749419062273157002920290231313220937625\ 375863737831298209879*c_0101_4, c_0101_0 - 956554803985981397366968600272043747391240804122706642416277\ /569749419062273157002920290231313220937625375863737831298209879*c_\ 0101_4^33 - 1694901005796827429581352506511417621966066695222673994\ 9746227/56974941906227315700292029023131322093762537586373783129820\ 9879*c_0101_4^31 - 240455886182891180145323392774196293185400263213\ 05799527220219/5697494190622731570029202902313132209376253758637378\ 31298209879*c_0101_4^29 + 64756573471076670459051931715437051986595\ 1916121457643560461992/56974941906227315700292029023131322093762537\ 5863737831298209879*c_0101_4^27 + 125716053324902591029724250552330\ 9165970061775642403064742668817/56974941906227315700292029023131322\ 0937625375863737831298209879*c_0101_4^25 + 2037918613204872346288148645463705955609280901569795598793658613/56\ 9749419062273157002920290231313220937625375863737831298209879*c_010\ 1_4^23 + 5005433382264348143804138081055390851573515174742817555747\ 5552766/56974941906227315700292029023131322093762537586373783129820\ 9879*c_0101_4^21 + 126381959932932865023558834212127186664936447967\ 247847523204778170/569749419062273157002920290231313220937625375863\ 737831298209879*c_0101_4^19 + 1603996752588229876843229232198031456\ 54119678788500670380582456559/5697494190622731570029202902313132209\ 37625375863737831298209879*c_0101_4^17 + 16619961682524325218850055919540941487946040300741242041580257134/5\ 69749419062273157002920290231313220937625375863737831298209879*c_01\ 01_4^15 - 167053824154502476223738712773540915730263730580890470750\ 8628775775/56974941906227315700292029023131322093762537586373783129\ 8209879*c_0101_4^13 + 587182491855909675075446256081115652367764777\ 80533319900727658182/5697494190622731570029202902313132209376253758\ 63737831298209879*c_0101_4^11 - 14795210364664473027845620944597938\ 9888809985585661106416725194788/56974941906227315700292029023131322\ 0937625375863737831298209879*c_0101_4^9 - 447572601454307227183216409153165545376875620520385260678597577604/\ 569749419062273157002920290231313220937625375863737831298209879*c_0\ 101_4^7 + 206807128860060114290009656973702033591147471704825776492\ 960684061/569749419062273157002920290231313220937625375863737831298\ 209879*c_0101_4^5 + 49962443023348281072948992516987408513969002112\ 54652038538804996/3351467170954547982370119354301842476103678681551\ 3990076365287*c_0101_4^3 - 3810536021316082431723429121985664196983\ 458090749839172093607352/569749419062273157002920290231313220937625\ 375863737831298209879*c_0101_4, c_0101_1 - 31674493863103494536544120100910755142258580512458067266010/\ 33514671709545479823701193543018424761036786815513990076365287*c_01\ 01_4^32 - 552694115595681022297692449063374916144115437023823097191\ 379/33514671709545479823701193543018424761036786815513990076365287*\ c_0101_4^30 - 64757714985494729970718501057486671544869714173818731\ 3390549/33514671709545479823701193543018424761036786815513990076365\ 287*c_0101_4^28 + 2161099738233795823136579020370983649077313322873\ 3523062874476/33514671709545479823701193543018424761036786815513990\ 076365287*c_0101_4^26 + 3579356949188302560196936521162590942819627\ 0533586842621192399/33514671709545479823701193543018424761036786815\ 513990076365287*c_0101_4^24 + 5808364376541074944970026008724109705\ 1455123562850831137425534/33514671709545479823701193543018424761036\ 786815513990076365287*c_0101_4^22 + 1642232416895847773238848915183430613684801696733167015942777343/33\ 514671709545479823701193543018424761036786815513990076365287*c_0101\ _4^20 + 37428422272824895772654132759541458640034614394643687883160\ 30491/3351467170954547982370119354301842476103678681551399007636528\ 7*c_0101_4^18 + 432152342085956208412874309632682310775235176115313\ 4529008255374/33514671709545479823701193543018424761036786815513990\ 076365287*c_0101_4^16 - 5693553005992973693523465541322926002637518\ 77740652072765215390/3351467170954547982370119354301842476103678681\ 5513990076365287*c_0101_4^14 - 551082024861422553252668733523971860\ 56386603865024124726185207228/3351467170954547982370119354301842476\ 1036786815513990076365287*c_0101_4^12 + 16802990568746416475103224878792308919321216767062891981271529228/3\ 3514671709545479823701193543018424761036786815513990076365287*c_010\ 1_4^10 - 1007060121862986434062415310206575841753641328312322146644\ 7066658/33514671709545479823701193543018424761036786815513990076365\ 287*c_0101_4^8 - 11959492926780002938179545061574636908891729920553\ 009189291484172/335146717095454798237011935430184247610367868155139\ 90076365287*c_0101_4^6 + 994550828762874225621244255848199077757239\ 7197608589004852292670/33514671709545479823701193543018424761036786\ 815513990076365287*c_0101_4^4 - 49173378378662316585101072184153245\ 687701063198519473190385732/335146717095454798237011935430184247610\ 36786815513990076365287*c_0101_4^2 - 13324468952260533952628119821692882711748547300903750895358402/3351\ 4671709545479823701193543018424761036786815513990076365287, c_0101_3 + 7143837082372942054340892174584759029969565415781402925316/3\ 3514671709545479823701193543018424761036786815513990076365287*c_010\ 1_4^32 + 1196928913475200348352405761851487029230308300338556122452\ 64/33514671709545479823701193543018424761036786815513990076365287*c\ _0101_4^30 + 596792750141009834823907119181068389869820078324016170\ 25831/3351467170954547982370119354301842476103678681551399007636528\ 7*c_0101_4^28 - 497216098897611281745578503492208598670835379389633\ 5707555819/33514671709545479823701193543018424761036786815513990076\ 365287*c_0101_4^26 - 4684019193522147572949822172172974366241886131\ 489198028164982/335146717095454798237011935430184247610367868155139\ 90076365287*c_0101_4^24 - 76270067218794869338420286947603219179871\ 11382532641429735578/3351467170954547982370119354301842476103678681\ 5513990076365287*c_0101_4^22 - 361504693828261251714929466321098356\ 112742176824115560663683889/335146717095454798237011935430184247610\ 36786815513990076365287*c_0101_4^20 - 587274949170936730414472914033183021468015165413377140158321862/335\ 14671709545479823701193543018424761036786815513990076365287*c_0101_\ 4^18 - 398541341631929192237542748481455384216727477930540414289704\ 373/33514671709545479823701193543018424761036786815513990076365287*\ c_0101_4^16 + 78266471115764806849908458112846481062714769676485279\ 8263259585/33514671709545479823701193543018424761036786815513990076\ 365287*c_0101_4^14 + 1231430691915402874535665875988020639985478920\ 1759555335811658334/33514671709545479823701193543018424761036786815\ 513990076365287*c_0101_4^12 - 1241781658510396123989433205495433454\ 4996215317702382636711082869/33514671709545479823701193543018424761\ 036786815513990076365287*c_0101_4^10 + 5241145026029565014662262575992270637135702416207696471450490879/33\ 514671709545479823701193543018424761036786815513990076365287*c_0101\ _4^8 + 994822747346160697390584080606235451828437562132470319541261\ 272/33514671709545479823701193543018424761036786815513990076365287*\ c_0101_4^6 - 404610174288639376273262953983617694041023339807610748\ 6335250279/33514671709545479823701193543018424761036786815513990076\ 365287*c_0101_4^4 + 16499845927783657548376874597298632370549963135\ 07108578558709234/3351467170954547982370119354301842476103678681551\ 3990076365287*c_0101_4^2 - 5775492688620184032233182821858173511196\ 4596437527602093265661/33514671709545479823701193543018424761036786\ 815513990076365287, c_0101_4^34 + 18*c_0101_4^32 + 30*c_0101_4^30 - 672*c_0101_4^28 - 1507*c_0101_4^26 - 2418*c_0101_4^24 - 52794*c_0101_4^22 - 146621*c_0101_4^20 - 198618*c_0101_4^18 - 50559*c_0101_4^16 + 1757389*c_0101_4^14 + 426891*c_0101_4^12 - 71580*c_0101_4^10 + 582530*c_0101_4^8 - 124752*c_0101_4^6 - 193035*c_0101_4^4 + 18215*c_0101_4^2 - 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB