Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 3684321000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2800 geometric_solution 6.03159024 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415800629048 0.258856105095 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850950342560 0.820175674334 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.343964902720 1.432328765590 6 5 4 1 3201 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343964902720 1.432328765590 3 2 4 4 2310 0132 2031 1302 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 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032755985968 0.672826301459 3 5 5 2 1023 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070971620338 0.517144195422 6 6 2 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.244297311412 1.145621258969 ==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' : d['c_0101_4'], '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' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : 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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), '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' : d['c_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(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' : negation(d['c_0011_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2440741725925686178140809663857313302160000353341304247609/15483825\ 843944266377598266051310264464457367303677705537*c_0101_4^18 - 109742215602810711415666699297364189344963445980211230063484/154838\ 25843944266377598266051310264464457367303677705537*c_0101_4^17 - 833947942913504685351417955911529203530733295716476709197122/154838\ 25843944266377598266051310264464457367303677705537*c_0101_4^16 - 129645121737363624732306068956088851809912417817423217995592/221197\ 5120563466625371180864472894923493909614811100791*c_0101_4^15 + 3572480914117064465072678787911607712870149973964748993488264/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^14 + 8836178422012202789917649487552928745557944858136266905788696/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^13 + 2397250041213832588461317183573231408960051580659222491075547/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^12 + 10746358384971296012555110862453203387958182816719604085333182/1548\ 3825843944266377598266051310264464457367303677705537*c_0101_4^11 + 52612110678495892258331723660927934219469191708465568270433108/1548\ 3825843944266377598266051310264464457367303677705537*c_0101_4^10 - 4447839161172128948390484296647617199596664576522319771689702/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^9 - 108490002755890262931716274422908452354965082402055761694899896/154\ 83825843944266377598266051310264464457367303677705537*c_0101_4^8 - 95677688373500392899719546787104634084971014400505929510688083/1548\ 3825843944266377598266051310264464457367303677705537*c_0101_4^7 + 510291919019134039259424249975302029174601719295114407946895/221197\ 5120563466625371180864472894923493909614811100791*c_0101_4^6 + 134776304156807058678673681615324791126421391387463491152507456/154\ 83825843944266377598266051310264464457367303677705537*c_0101_4^5 - 33601766179058616215270365308019832772752239020457544334477472/1548\ 3825843944266377598266051310264464457367303677705537*c_0101_4^4 - 4396589204322326845423812736492973211171132867546295186888057/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^3 + 8188730809145549704257456275503095225661666212475955554739493/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4^2 + 1016447467141918815076717493247617435724300081886911617948649/15483\ 825843944266377598266051310264464457367303677705537*c_0101_4 - 56766324279541204826231825643739208215260550335403910450098/1548382\ 5843944266377598266051310264464457367303677705537, c_0011_0 - 1, c_0011_1 + 10590359108852360908222139475007992800871789025342976/116419\ 743187550875019535834972257627552311032358478989*c_0101_4^18 - 476646105513771298345325185494026813472188337288168267/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^17 - 3597104907530688507842266703047108434230740213326204533/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^16 - 3775647635725896343914405856122481190290967329090942072/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^15 + 15674869093805071964460165500358745106225870278853405104/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^14 + 37642302943714352911092102097461081832694053835963342505/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^13 + 8695535955864360893013815362285934364721200548095244093/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^12 + 46188200716763803788015009251215625650720272853068723227/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^11 + 226181625531894316337895694096669107315922873438234806596/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^10 - 29516714575565394610187356731779455344796000351205342624/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^9 - 469696140692940411435912544273164865010340804262514987452/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^8 - 394133289359929755989990331005612590229226433178208523072/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^7 + 33708351514053507202437127832273015743294367253381256372/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^6 + 583936051245476838681643082194514926909146412764943839969/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^5 - 171860477714759346062314940417029692414095035596704834922/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^4 - 12043807785769904708090361773209380782011801575662377809/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^3 + 36030354106217903795057402339847061790774899592544000566/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^2 + 2945863987535536068869411883576392978795914442935816230/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4 - 373979259218437545891009961421127755011227080262286412/116419743187\ 550875019535834972257627552311032358478989, c_0011_3 + 187941793964501047267089054786836515648189527629782/11641974\ 3187550875019535834972257627552311032358478989*c_0101_4^18 - 8421954612998768668788003057804926100732572164877891/11641974318755\ 0875019535834972257627552311032358478989*c_0101_4^17 - 65503626704570156249551452231890641811532669538399723/1164197431875\ 50875019535834972257627552311032358478989*c_0101_4^16 - 79093131545103125480185821779784436692723417456543122/1164197431875\ 50875019535834972257627552311032358478989*c_0101_4^15 + 267890669100799205051563341634522644609384901337988198/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^14 + 723386232984183596655996855170300074101212529038311159/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^13 + 267892875027291741065139293632297628082146243847075832/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^12 + 825005248865853757253688623868477942165450907019696827/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^11 + 4195030804947952058965222185953874964793135700954946543/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^10 + 242725138950060611678572915706440688847936001664089229/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^9 - 8595244673864553385845858648841670373855232324298081513/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^8 - 8439254425585863446691549348141179192256913520581139281/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^7 - 293747722843291722897031725772121175069502078230410397/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^6 + 10575444543272275641028350004433726615929031545849452736/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^5 - 1442248536980522198571959074560884287902587080585392445/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^4 - 1464072766807245463270947183152935311120846629193391094/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^3 + 1042937483584797914344710475119837215120782939611847282/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^2 + 149498576045400656242558717543239363187078312084657166/116419743187\ 550875019535834972257627552311032358478989*c_0101_4 + 22653860964780168728220573987232827681198130740592692/1164197431875\ 50875019535834972257627552311032358478989, c_0011_6 - 92858015361265328509451241454865903916413677484845/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^18 + 4201404900475537590130003521616522742598811294781563/11641974318755\ 0875019535834972257627552311032358478989*c_0101_4^17 + 30540760638758613536368868050126017725735702729409379/1164197431875\ 50875019535834972257627552311032358478989*c_0101_4^16 + 25822943863058040828435259642959508590290574731253191/1164197431875\ 50875019535834972257627552311032358478989*c_0101_4^15 - 143731058779302995993955827149936659943405212984741902/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^14 - 296240889645565210416675018144408835866876561152229934/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^13 - 6077462895599959605240472627390290615236638450720781/11641974318755\ 0875019535834972257627552311032358478989*c_0101_4^12 - 402679625588484686638272031624187280661847470216689950/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^11 - 1883086695186162874722472698405242928800321756216113231/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^10 + 717475131749713692005691101053629078007796079999829019/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^9 + 3963377315766432805612211005766335663427701170709257142/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^8 + 2529245325834594626145335165353661597566243424917936262/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^7 - 863742232952153833191344757214947738149176701631219185/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^6 - 4913966212312316384156974708950505109001876368380704313/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^5 + 2582866253762177139406430707928213742981625778005039604/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^4 - 570983648895822286484423611576933781320950388861301039/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^3 - 140432903942788278445239213509682320984401678823622364/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^2 + 110916778672516515858315706992979033148469398896603713/116419743187\ 550875019535834972257627552311032358478989*c_0101_4 - 34936278649929860445421002519836676358377794187789680/1164197431875\ 50875019535834972257627552311032358478989, c_0101_0 - 3723616808522524351940200107016416708100163066248552/1164197\ 43187550875019535834972257627552311032358478989*c_0101_4^18 + 167591459524391614723717255578955361313909725562993641/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^17 + 1264765956722557402696140319923819616250996167474915730/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^16 + 1325757119250542706546480807039536384888794770310392767/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^15 - 5522949017973788335986139798743867076931972760555347961/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^14 - 13243615237676995304084708220996404873268566373262637403/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^13 - 3001433862485974241013452289145831828709419527287402694/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^12 - 16131321841447711849020684357972946587601428639669295775/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^11 - 79525251831864329571717275925774859945293488308533427512/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^10 + 10547254288312361276700440319340857386511746583595792987/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^9 + 165854363985044113368227287248369507569506396194086102900/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^8 + 138264830395473265705958975306245246930182740129466161413/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^7 - 13330523220878035031350519328197469690543422013411751942/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^6 - 206173075500841118956452154108959774824131990708711806329/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^5 + 60790101720130268801529653403849727770043383091269221229/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^4 + 5873822660493086790877359458345159276020977763840414643/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^3 - 13807077111146284964778841671259205711514296700787519694/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^2 - 703747792314312500888477438479512212602163880305631449/116419743187\ 550875019535834972257627552311032358478989*c_0101_4 + 241514631433617220460372226912974987920551236715703989/116419743187\ 550875019535834972257627552311032358478989, c_0101_1 + 17218184695670646916577285835809537849422503508640832/116419\ 743187550875019535834972257627552311032358478989*c_0101_4^18 - 773748638175954262863525364097704482734291529102113448/116419743187\ 550875019535834972257627552311032358478989*c_0101_4^17 - 5902357334690426401093862414345229805030581526539470378/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^16 - 6543235588304340215466342453281215589208541360302141927/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4^15 + 25077111150664133616194442810441077414312263521236767682/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^14 + 62989952424434594516354638693022037215199884635594157391/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^13 + 18300817462690817951020046838639563705164214895939273498/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^12 + 75892213193146788154089549638188348364422793939238609940/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^11 + 372997611398499887526868352409050573928027474122674912113/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^10 - 22617085605072232696587484765779462475538894351525982787/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^9 - 768205378240166466106142227570049259988439635075490414043/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^8 - 693298531889467305829677322810989454557043529187095189815/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^7 + 12897648053541971331690315104993165852880896617736516475/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^6 + 954540166049140326619787189825513540620377703334465425956/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^5 - 214246139451138101483797221066596405889533830579408723568/116419743\ 187550875019535834972257627552311032358478989*c_0101_4^4 - 42369687757833515338587600784879741522013935188790455651/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^3 + 59355284014780797694474512966359670385128838728416105029/1164197431\ 87550875019535834972257627552311032358478989*c_0101_4^2 + 8265254832933033238815353054070579543462867156002214509/11641974318\ 7550875019535834972257627552311032358478989*c_0101_4 - 450482443897245210520454634071586134596937122974948572/116419743187\ 550875019535834972257627552311032358478989, c_0101_4^19 - 45*c_0101_4^18 - 340*c_0101_4^17 - 359*c_0101_4^16 + 1478*c_0101_4^15 + 3566*c_0101_4^14 + 845*c_0101_4^13 + 4362*c_0101_4^12 + 21391*c_0101_4^11 - 2633*c_0101_4^10 - 44408*c_0101_4^9 - 37532*c_0101_4^8 + 2983*c_0101_4^7 + 55203*c_0101_4^6 - 15840*c_0101_4^5 - 1356*c_0101_4^4 + 3455*c_0101_4^3 + 287*c_0101_4^2 - 42*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB