Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 105356006] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0664 geometric_solution 4.64037204 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249382933804 0.052799579177 2 0 2 0 0132 2310 2310 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 0 0 0 0 0 0 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.087245399526 0.759756115950 1 1 3 3 0132 3201 0132 2310 0 0 0 0 0 1 -1 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 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.183694626826 1.889661659326 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 0 -1 1 -1 0 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 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.594681274898 0.221268500072 5 3 6 5 2031 0132 0132 3201 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 -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.354043821679 0.776162756229 6 4 4 3 0132 2310 1302 0132 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 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 0 0 0 0.354043821679 0.776162756229 5 6 6 4 0132 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 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.486473847800 1.066486291869 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), '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_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_1']), '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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_0110_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_0']), '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_5, c_0101_0, c_0101_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4994693712397732674276229123387548162672589358558546218224324811589\ 98269698529884/1490864266006126788403124945679319049730571020282402\ 38179490307437400781247329495*c_0110_4^27 - 3895929271897470677326715354342049305544635544902730505798805676977\ 94303922954267131/1490864266006126788403124945679319049730571020282\ 40238179490307437400781247329495*c_0110_4^25 + 5677650408283536835804122414148213581510106666224472930365530813928\ 4219049721412227381/14908642660061267884031249456793190497305710202\ 8240238179490307437400781247329495*c_0110_4^23 - 3613396786825033411491103694380444499980718558225678273923396619481\ 237897003416193712913/149086426600612678840312494567931904973057102\ 028240238179490307437400781247329495*c_0110_4^21 + 1982076224751921074894476305620119661989664835702829897080738354000\ 8845482998604052811717/14908642660061267884031249456793190497305710\ 2028240238179490307437400781247329495*c_0110_4^19 + 4090688515330394560979032539576539410737592749316694285262728070296\ 676851500530114641458/298172853201225357680624989135863809946114204\ 05648047635898061487480156249465899*c_0110_4^17 + 6730828680926957120569225853304876033980139984309318147986816751078\ 9727686407533504993536/14908642660061267884031249456793190497305710\ 2028240238179490307437400781247329495*c_0110_4^15 - 5051347846974235364253577497159073125220833972068880422787538834391\ 33482001135033726041258/1490864266006126788403124945679319049730571\ 02028240238179490307437400781247329495*c_0110_4^13 + 3629688485634650408614947954790988680006894905065261781806113995048\ 14135542760945845523511/1490864266006126788403124945679319049730571\ 02028240238179490307437400781247329495*c_0110_4^11 - 6752734015928637032823209350936231496359209534790320470629993149205\ 685353277952574857693/149086426600612678840312494567931904973057102\ 028240238179490307437400781247329495*c_0110_4^9 - 5490580739794355903531437868013013299109734689197659975208936727658\ 055389113183828656586/149086426600612678840312494567931904973057102\ 028240238179490307437400781247329495*c_0110_4^7 - 2846001668813338695855343689099893476141117418728787966885693081835\ 78069436830308764384/1490864266006126788403124945679319049730571020\ 28240238179490307437400781247329495*c_0110_4^5 + 7995060787740360691541482608469220275361951565663654927280389286545\ 8363638687453296854/14908642660061267884031249456793190497305710202\ 8240238179490307437400781247329495*c_0110_4^3 - 2375205076088983402622120152336196528675023407228521269121382633232\ 330359138266992648/149086426600612678840312494567931904973057102028\ 240238179490307437400781247329495*c_0110_4, c_0011_0 - 1, c_0011_1 - 272482958790218575761089151855046044586670863814841287012616\ 708077680994634/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^26 + 2125251899256780698161590105410726219250668867298986021629267422578\ 51506213556/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4^24 - 3096224702302148328448586250420042209174732913437330198576671912923\ 0925003620916/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^22 + 1969538914112467279910959914566607483388884936621644320435938858657\ 350309410439593/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^20 - 1070300825073188857424892826567435871940457856044659748285163429600\ 3269317660336477/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^18 - 2350981409260162204065299039907227832504080178077701526559115965365\ 210007818674236/134980920417032755853610225955574382048942600297184\ 46190990521270928092462411*c_0110_4^16 - 3738717497615874248820488857307761184105931964676072227165081535223\ 4516560836269246/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^14 + 2734715220545850966282126782982434467204439468694326163498166562604\ 72501453479510583/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^12 - 1827591810620626969187754524870826043370300888657320509030718827713\ 50834155071490706/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^10 - 6276289606734815119075135495671565214147755702559804907084990182385\ 362890316533652/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^8 + 2477361446287448026995338559327289574584861955848235800857589406580\ 350919245781476/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^6 + 2825726245546416920547830014271987839873660929800350743947614624023\ 15065169610474/6749046020851637792680511297778719102447130014859223\ 0954952606354640462312055*c_0110_4^4 - 2545980610107449122620856604632854157206813924256213008681063234800\ 0809599238294/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^2 + 3096420065291698961688873244479698004835435222255116228891725348619\ 36509561488/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055, c_0011_3 - 153085102953538918441812187143654998693196969291623181238560\ 106715349315371/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^26 + 1194014218987409721637803796709053662948781724482393019204898026598\ 80063636659/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4^24 - 1739624467127151143105136258832673298792983333864819718256165414079\ 2703579038784/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^22 + 1106689001484991483454598626600158569538974671705337312010242860669\ 324938668734637/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^20 - 6024043931309486516226857437212422995310407574904239930517523376255\ 000403672191723/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^18 - 1308973319742848830083935481545729394615672179597868161406832412559\ 004406135934263/134980920417032755853610225955574382048942600297184\ 46190990521270928092462411*c_0110_4^16 - 2093841048432198427340153933111945491111134669059881898115660254394\ 2012056867417934/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^14 + 1538492659363095841199071401796840515492664497108314749607231744027\ 63108401581591677/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^12 - 1041911938391223175042902930366404211973575072088997044237054301088\ 13732391375291479/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^10 - 2537958433043009335895328059616256313244621476070564522814694137442\ 273184492129923/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^8 + 1442119820920036126472081140158480063726582200795543278942517930413\ 022840084713229/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^6 + 1471314772910595089724966052269349453103354504707210721360172555081\ 62543030559301/6749046020851637792680511297778719102447130014859223\ 0954952606354640462312055*c_0110_4^4 - 1602581233711875655188109768477532630667107167972079540040235014874\ 1481613646206/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^2 + 2688163680911507778096106930231120880224369481006575382758357559561\ 35839884602/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055, c_0011_5 - 270263492310991683006577050698334259862964503471338206214612\ 577768605872896/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^27 + 2107905175508403867525153664748074705191566281988642805211825122552\ 42879974924/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4^25 - 3070725504316107571146447453578081499568047341022756878251800477847\ 8501676827354/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^23 + 1953089394899127833227994059921436567626474422367156193777878742035\ 921029013284967/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^21 - 1058995063508620905483302523563824893284592472441044433829190192383\ 9447191470319778/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^19 - 2359776143195671616819130133796754010137640561621093779807336771532\ 683766044551266/134980920417032755853610225955574382048942600297184\ 46190990521270928092462411*c_0110_4^17 - 3724249112853832958254868572021393072787820391083032100281395779763\ 9577566567514659/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^15 + 2707460702744277364063651784875974309210908177816074840472319365108\ 11963327993791382/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^13 - 1776946083527435774060439078948000983987137179507076697112145102982\ 07661014074375419/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^11 - 8491810866923818706574690946819396622780223415170613503767319525351\ 275200277216933/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^9 + 2294793055207381481054690501752066868312613762459576175943285372877\ 943304777224824/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^7 + 3020323959173615621879611842716611250487321437252550934787548110661\ 58020913743351/6749046020851637792680511297778719102447130014859223\ 0954952606354640462312055*c_0110_4^5 - 2059427964257373863324958925192555307215621322680498209840214845895\ 4097780535701/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^3 + 9529476472924950420116237883232870992613782554188647052866210502171\ 0404798387/67490460208516377926805112977787191024471300148592230954\ 952606354640462312055*c_0110_4, c_0101_0 - 449737685545920528241301604347851141081440590774594108774175\ 684769645859741/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^27 + 3507714932855943489669098225556647751284782311984598261542127717803\ 26764259359/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4^25 - 5109989229448171563838915881277971402175386487566808414804942775483\ 7858370734564/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^23 + 3250201116057849501798755509464004968684300271950484684751859034808\ 533031754069937/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^21 - 1763013015087870757087280951203010336287369533760475716156689990339\ 0361039082275358/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^19 - 3918911025225576404121549142329202738554135985660228577411866437177\ 768669803339181/134980920417032755853610225955574382048942600297184\ 46190990521270928092462411*c_0110_4^17 - 6191501523483347714891243016172588917053228363417826941840502941577\ 4379987410770879/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^15 + 4507031919707297542234775718737807308453747385622511520258310184534\ 03255648073646382/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^13 - 2967233285437930646418766839314639338691662944691666608255691098466\ 02651512445685804/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^11 - 1374556007513364612172560865726815642755902199244149931831530478468\ 8542895058939413/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^9 + 4039454584497404899675486292682596912597848914972330649504007401838\ 755822321408179/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^7 + 5175092093036366750896987035224831121421435415296642714685678990492\ 12920785546451/6749046020851637792680511297778719102447130014859223\ 0954952606354640462312055*c_0110_4^5 - 3660252556484181636404548178110075868967893843744066773594759451701\ 4221156864761/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^3 - 1364370085381362100363725040996525175104299270765245701675956886655\ 11924942433/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4, c_0101_1 - 143797070711573206571048148256293545706737043388018655685650\ 668692387618421/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^26 + 1121577105128050952903420413092060484316255426801009013895428577618\ 23250613684/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055*c_0110_4^24 - 1634128295426465559619625633908064207285361650974519726752965848810\ 1352724974524/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^22 + 1039617771824263622518830420465511142772757902326133648764272763773\ 035689951185737/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^20 - 5663269866033612664721455743200477120401994562070618584584695041368\ 021880525035963/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^18 - 1224433265861009092090638168040204035693764697370321811665665362185\ 893377026120800/134980920417032755853610225955574382048942600297184\ 46190990521270928092462411*c_0110_4^16 - 1963964532161888735882142051211628769330310372607482439289625378226\ 0672595835247554/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^14 + 1446046599351189623833565275906741301712151116366818462862456134182\ 03455421809209717/6749046020851637792680511297778719102447130014859\ 2230954952606354640462312055*c_0110_4^12 - 9852427405613836202307974747003998156908266027856199738329364148143\ 5838911544445319/67490460208516377926805112977787191024471300148592\ 230954952606354640462312055*c_0110_4^10 - 1951539791297291195136347171047239372448383647114770743811637426754\ 388106038609588/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^8 + 1373972399192645425325701008948731839367054830221302381426498807311\ 034864485656174/674904602085163779268051129777871910244713001485922\ 30954952606354640462312055*c_0110_4^6 + 1321659928175218591257302585800595038246203986045242950772611535175\ 72639226639831/6749046020851637792680511297778719102447130014859223\ 0954952606354640462312055*c_0110_4^4 - 1579647899358817758307712905594185516730457803094619589100045758391\ 9357639392741/67490460208516377926805112977787191024471300148592230\ 954952606354640462312055*c_0110_4^2 + 2731753667888167253679101449550979026783012114434753941272240372869\ 83358495022/6749046020851637792680511297778719102447130014859223095\ 4952606354640462312055, c_0110_4^28 - 780*c_0110_4^26 + 113663*c_0110_4^24 - 7232921*c_0110_4^22 + 39585095*c_0110_4^20 + 41479007*c_0110_4^18 + 135388979*c_0110_4^16 - 1009424221*c_0110_4^14 + 713153036*c_0110_4^12 - 5401891*c_0110_4^10 - 10009437*c_0110_4^8 - 651192*c_0110_4^6 + 136532*c_0110_4^4 - 4993*c_0110_4^2 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB