Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 2294879315] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1709 geometric_solution 5.41958732 oriented_manifold CS_known 0.0000000000000007 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.600982872494 0.140932185939 2 0 2 0 0132 2310 1023 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 -1 1 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.821809342819 0.228927507156 1 3 1 4 0132 0132 1023 0132 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 0 0 0 0 1 -1 -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 1.072354959173 0.641686512735 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.187614417628 0.940856215873 3 6 2 5 3012 1023 0132 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 -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 1.187614417628 0.940856215873 3 5 5 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525754401605 0.608897188117 4 6 6 3 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 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.525754401605 0.608897188117 ==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' : negation(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' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 49456725833111100856998608571067375620302542792561/8495720395419009\ 4457581793827568694845424255010*c_0101_6^18 + 615181951483908635738909162547355191839150876149291/424786019770950\ 47228790896913784347422712127505*c_0101_6^17 - 15821647759886872062048597121952964395117010852196659/1699144079083\ 80188915163587655137389690848510020*c_0101_6^16 - 23698160351217284997572901385114828280346040059360367/1699144079083\ 80188915163587655137389690848510020*c_0101_6^15 - 540097016331836164221301590629702966115732906491390613/169914407908\ 380188915163587655137389690848510020*c_0101_6^14 - 620158791994489745261007108033312971799363498859413733/849572039541\ 90094457581793827568694845424255010*c_0101_6^13 - 204628350446632733410519860067060578297436692617726082/849572039541\ 9009445758179382756869484542425501*c_0101_6^12 - 1596420089874777906274705730437921749159206644978402027/42478601977\ 095047228790896913784347422712127505*c_0101_6^11 - 1083046938939378442491901601690476804407090128260782021/33982881581\ 676037783032717531027477938169702004*c_0101_6^10 - 6772400393996614574704444506519926739276258883636362199/16991440790\ 8380188915163587655137389690848510020*c_0101_6^9 - 4439846442909079907740676956488584159691149933232237057/16991440790\ 8380188915163587655137389690848510020*c_0101_6^8 + 289546251897046553704380183458556835348268778100079753/424786019770\ 95047228790896913784347422712127505*c_0101_6^7 + 1932231025134800994751530100078926013564937503956553699/16991440790\ 8380188915163587655137389690848510020*c_0101_6^6 + 188629744596871913717823388916139694013356842784727969/424786019770\ 95047228790896913784347422712127505*c_0101_6^5 + 213015592512391929470050602297842138109779945478999223/169914407908\ 380188915163587655137389690848510020*c_0101_6^4 - 2160324104616736788086231588123093410111146961360208/84957203954190\ 09445758179382756869484542425501*c_0101_6^3 - 7767312769067434004091889415579692197977424129248907/33982881581676\ 037783032717531027477938169702004*c_0101_6^2 - 505220923713776193928335452660756603887952283571344/424786019770950\ 47228790896913784347422712127505*c_0101_6 + 840291744457355709056398609425434380082129073898389/169914407908380\ 188915163587655137389690848510020, c_0011_0 - 1, c_0011_1 + 62784730729705888867053697965049778112282261/557096419371738\ 324312011762803729146527372164*c_0101_6^18 - 393919403282254892046672205069350160201075733/139274104842934581078\ 002940700932286631843041*c_0101_6^17 + 10388386409978504501170134385573260102338116343/5570964193717383243\ 12011762803729146527372164*c_0101_6^16 + 12749627536949192140627820168567890386242286975/5570964193717383243\ 12011762803729146527372164*c_0101_6^15 + 170076262126972915720184819232590149670238256033/278548209685869162\ 156005881401864573263686082*c_0101_6^14 + 712968868927619191693040178722365926288397826909/557096419371738324\ 312011762803729146527372164*c_0101_6^13 + 1222832869970106975621359179447741306830523483715/27854820968586916\ 2156005881401864573263686082*c_0101_6^12 + 881624811729750305347191909331404869075218873617/139274104842934581\ 078002940700932286631843041*c_0101_6^11 + 673870196976425067925421367083417086660364401923/139274104842934581\ 078002940700932286631843041*c_0101_6^10 + 3753916857446548125130346806315952980695515451851/55709641937173832\ 4312011762803729146527372164*c_0101_6^9 + 2038107230136671794054236441360579730434980183923/55709641937173832\ 4312011762803729146527372164*c_0101_6^8 - 1125119659847587088924721867584765491758514164585/55709641937173832\ 4312011762803729146527372164*c_0101_6^7 - 473043260115936588876437120242455139349550276919/278548209685869162\ 156005881401864573263686082*c_0101_6^6 - 271182299716960346277246663625001878273038388045/557096419371738324\ 312011762803729146527372164*c_0101_6^5 - 82242078326955275902865234952472734201759410229/5570964193717383243\ 12011762803729146527372164*c_0101_6^4 + 37873830450922678774769628267444861423981403161/5570964193717383243\ 12011762803729146527372164*c_0101_6^3 + 14239395563557848826751799818554736923162064549/5570964193717383243\ 12011762803729146527372164*c_0101_6^2 - 1354408061599165183899778364139841298251666537/27854820968586916215\ 6005881401864573263686082*c_0101_6 - 151598709699065217302624338438927522574163585/557096419371738324312\ 011762803729146527372164, c_0011_4 + 11491991149168804110907469043659268100480905/557096419371738\ 324312011762803729146527372164*c_0101_6^18 - 142005319567492874398411194026694404401093925/278548209685869162156\ 005881401864573263686082*c_0101_6^17 + 1790746719011962452517551967762391759665565741/55709641937173832431\ 2011762803729146527372164*c_0101_6^16 + 3070703640622864594671265987631395155351403089/55709641937173832431\ 2011762803729146527372164*c_0101_6^15 + 15769808354634795673193199475941412029783250071/1392741048429345810\ 78002940700932286631843041*c_0101_6^14 + 154383653889547686020803066133427637747126918977/557096419371738324\ 312011762803729146527372164*c_0101_6^13 + 247918517805912978150989610144183405209916979299/278548209685869162\ 156005881401864573263686082*c_0101_6^12 + 204181752720480368865187499635950100561741233424/139274104842934581\ 078002940700932286631843041*c_0101_6^11 + 366852747884807848376453065139615869418013737269/278548209685869162\ 156005881401864573263686082*c_0101_6^10 + 881832305448973022785498226109765265405048856671/557096419371738324\ 312011762803729146527372164*c_0101_6^9 + 651834878798293905957977945858198456371751933719/557096419371738324\ 312011762803729146527372164*c_0101_6^8 - 64616307106340688095338572236466248918502564407/5570964193717383243\ 12011762803729146527372164*c_0101_6^7 - 113555856844755642255506716962742243751941492637/278548209685869162\ 156005881401864573263686082*c_0101_6^6 - 99832757575974914591622561401323741241222455533/5570964193717383243\ 12011762803729146527372164*c_0101_6^5 - 45420072717504357293654701109229059915191030761/5570964193717383243\ 12011762803729146527372164*c_0101_6^4 - 1071477153998232793871804715680019261456381909/55709641937173832431\ 2011762803729146527372164*c_0101_6^3 + 3727859124363761492879545117591582600174656083/55709641937173832431\ 2011762803729146527372164*c_0101_6^2 - 58641419549106969501386866678668934885972530/1392741048429345810780\ 02940700932286631843041*c_0101_6 + 112839655597897161981500062694558636339343305/557096419371738324312\ 011762803729146527372164, c_0101_0 - 483186416874756112147408371561747397969801757/55709641937173\ 8324312011762803729146527372164*c_0101_6^18 + 6060801790641769112476829188547344262296343529/27854820968586916215\ 6005881401864573263686082*c_0101_6^17 - 79833701428534196597002591063229942752184710845/5570964193717383243\ 12011762803729146527372164*c_0101_6^16 - 98814330948534692368430617571094342928645379995/5570964193717383243\ 12011762803729146527372164*c_0101_6^15 - 654829743654940447476919547044977048202933011996/139274104842934581\ 078002940700932286631843041*c_0101_6^14 - 5512642238553158731007228820044342567551921708691/55709641937173832\ 4312011762803729146527372164*c_0101_6^13 - 9445760848616670894197826780644848826154914840403/27854820968586916\ 2156005881401864573263686082*c_0101_6^12 - 6836513967888833601813167733340340735262117517676/13927410484293458\ 1078002940700932286631843041*c_0101_6^11 - 5275758848577326674930594819821671967670382990135/13927410484293458\ 1078002940700932286631843041*c_0101_6^10 - 29176378120153314902870372045324379759429354709227/5570964193717383\ 24312011762803729146527372164*c_0101_6^9 - 15958220764715719085921852956331856420913902898877/5570964193717383\ 24312011762803729146527372164*c_0101_6^8 + 8441596313371612731960446168674178225432181495801/55709641937173832\ 4312011762803729146527372164*c_0101_6^7 + 1853548854555273078992097515989246865100525110086/13927410484293458\ 1078002940700932286631843041*c_0101_6^6 + 2321665533678959319852908264766224833740607309551/55709641937173832\ 4312011762803729146527372164*c_0101_6^5 + 679979810839452887164363819775297761860740386821/557096419371738324\ 312011762803729146527372164*c_0101_6^4 - 315858261275581034485712248667962157313276256775/557096419371738324\ 312011762803729146527372164*c_0101_6^3 - 114823785011366816096037758344972085106646455617/557096419371738324\ 312011762803729146527372164*c_0101_6^2 + 1719072958689875880451273522270438513192550450/13927410484293458107\ 8002940700932286631843041*c_0101_6 + 1206096860698108300042271165502553456331469623/55709641937173832431\ 2011762803729146527372164, c_0101_1 + 24116105223280569453403537479536201796855177/557096419371738\ 324312011762803729146527372164*c_0101_6^18 - 294165891469275848548377796803901328214759147/278548209685869162156\ 005881401864573263686082*c_0101_6^17 + 3564860676227370370614271803493294980158894809/55709641937173832431\ 2011762803729146527372164*c_0101_6^16 + 7727372108342275530657276655152957943381806719/55709641937173832431\ 2011762803729146527372164*c_0101_6^15 + 33459645189202373247320033584504788408585626804/1392741048429345810\ 78002940700932286631843041*c_0101_6^14 + 365353714521913672255304628254116834524044809743/557096419371738324\ 312011762803729146527372164*c_0101_6^13 + 562186491233199025192802118540642766985354417501/278548209685869162\ 156005881401864573263686082*c_0101_6^12 + 501125101945541455376981205142934141547163238984/139274104842934581\ 078002940700932286631843041*c_0101_6^11 + 486356098491880391635334988849733496376166700694/139274104842934581\ 078002940700932286631843041*c_0101_6^10 + 2138092681960884878969119787643731022816406004731/55709641937173832\ 4312011762803729146527372164*c_0101_6^9 + 1793395455805805707798563351501893580882066010245/55709641937173832\ 4312011762803729146527372164*c_0101_6^8 + 75188396868885692248615290348286476955704424223/5570964193717383243\ 12011762803729146527372164*c_0101_6^7 - 160697216703025781932724092893941387652550273900/139274104842934581\ 078002940700932286631843041*c_0101_6^6 - 312315072012856559064839035029993674540195345151/557096419371738324\ 312011762803729146527372164*c_0101_6^5 - 110987291374658317642757969663816907372302093373/557096419371738324\ 312011762803729146527372164*c_0101_6^4 - 8985704882487074032334943289060501809013571813/55709641937173832431\ 2011762803729146527372164*c_0101_6^3 + 13150345706258867702037985816876353158436063745/5570964193717383243\ 12011762803729146527372164*c_0101_6^2 + 233869926973327799616699152366791239905120659/139274104842934581078\ 002940700932286631843041*c_0101_6 - 19914802999021475413192584284996055699208439/5570964193717383243120\ 11762803729146527372164, c_0101_3 + 62784730729705888867053697965049778112282261/557096419371738\ 324312011762803729146527372164*c_0101_6^18 - 393919403282254892046672205069350160201075733/139274104842934581078\ 002940700932286631843041*c_0101_6^17 + 10388386409978504501170134385573260102338116343/5570964193717383243\ 12011762803729146527372164*c_0101_6^16 + 12749627536949192140627820168567890386242286975/5570964193717383243\ 12011762803729146527372164*c_0101_6^15 + 170076262126972915720184819232590149670238256033/278548209685869162\ 156005881401864573263686082*c_0101_6^14 + 712968868927619191693040178722365926288397826909/557096419371738324\ 312011762803729146527372164*c_0101_6^13 + 1222832869970106975621359179447741306830523483715/27854820968586916\ 2156005881401864573263686082*c_0101_6^12 + 881624811729750305347191909331404869075218873617/139274104842934581\ 078002940700932286631843041*c_0101_6^11 + 673870196976425067925421367083417086660364401923/139274104842934581\ 078002940700932286631843041*c_0101_6^10 + 3753916857446548125130346806315952980695515451851/55709641937173832\ 4312011762803729146527372164*c_0101_6^9 + 2038107230136671794054236441360579730434980183923/55709641937173832\ 4312011762803729146527372164*c_0101_6^8 - 1125119659847587088924721867584765491758514164585/55709641937173832\ 4312011762803729146527372164*c_0101_6^7 - 473043260115936588876437120242455139349550276919/278548209685869162\ 156005881401864573263686082*c_0101_6^6 - 271182299716960346277246663625001878273038388045/557096419371738324\ 312011762803729146527372164*c_0101_6^5 - 82242078326955275902865234952472734201759410229/5570964193717383243\ 12011762803729146527372164*c_0101_6^4 + 37873830450922678774769628267444861423981403161/5570964193717383243\ 12011762803729146527372164*c_0101_6^3 + 14239395563557848826751799818554736923162064549/5570964193717383243\ 12011762803729146527372164*c_0101_6^2 - 1075859851913296021743772482737976724987980455/27854820968586916215\ 6005881401864573263686082*c_0101_6 - 151598709699065217302624338438927522574163585/557096419371738324312\ 011762803729146527372164, c_0101_6^19 - 25*c_0101_6^18 + 163*c_0101_6^17 + 220*c_0101_6^16 + 5431*c_0101_6^15 + 11871*c_0101_6^14 + 39841*c_0101_6^13 + 59494*c_0101_6^12 + 46848*c_0101_6^11 + 61767*c_0101_6^10 + 36500*c_0101_6^9 - 17204*c_0101_6^8 - 18109*c_0101_6^7 - 5247*c_0101_6^6 - 1220*c_0101_6^5 + 702*c_0101_6^4 + 340*c_0101_6^3 - 27*c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB