Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 526287816] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1079 geometric_solution 4.95024488 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 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 1.913290272860 1.040428291712 2 0 0 3 0132 0132 1023 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 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.038249605017 0.335678810001 1 3 4 3 0132 2310 0132 0321 0 0 0 0 0 -1 0 1 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 -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.509912365018 1.259781200950 4 2 1 2 2310 0321 0132 3201 0 0 0 0 0 -1 0 1 -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 -1 1 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.509912365018 1.259781200950 5 5 3 2 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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.173244140730 0.876395377964 4 6 4 6 0132 0132 2310 2310 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 -1.420977403622 1.773800963507 5 5 6 6 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198293409115 0.087400323771 ==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_0110_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_3']), '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_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_3']), '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_4, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 884085474565260683681613760704663543139073/337729611225857411694966\ 47089863667890530*c_0110_6^33 + 10138952350146205262250568485601822\ 2781040501/33772961122585741169496647089863667890530*c_0110_6^31 - 592615189582178899871972922842959978547936359/168864805612928705847\ 48323544931833945265*c_0110_6^29 + 3827006130729727946849584456472268779296115171/33772961122585741169\ 496647089863667890530*c_0110_6^27 - 923793335316617146911055949268993915286916857/675459222451714823389\ 9329417972733578106*c_0110_6^25 + 872386861884611950419022160801397\ 6483025249971/33772961122585741169496647089863667890530*c_0110_6^23 - 3076386006739427260324341765107264673406174542/168864805612928705\ 84748323544931833945265*c_0110_6^21 + 2173426865099432256368593814564580755626481239/33772961122585741169\ 496647089863667890530*c_0110_6^19 - 390346963290215832517229565697041623792642556/168864805612928705847\ 48323544931833945265*c_0110_6^17 - 971896749463925288755111881185694682150414648/168864805612928705847\ 48323544931833945265*c_0110_6^15 - 4439934610347089714927896800408416583812429957/33772961122585741169\ 496647089863667890530*c_0110_6^13 + 156463996577988539890498349812219274451861988/337729611225857411694\ 9664708986366789053*c_0110_6^11 + 920018713585532803058537008788894\ 14682093032/3377296112258574116949664708986366789053*c_0110_6^9 + 230898207960634018349355145960681307490603352/168864805612928705847\ 48323544931833945265*c_0110_6^7 + 103837579666228480341774972577165\ 64420609073/6754592224517148233899329417972733578106*c_0110_6^5 - 5657866903254152933422559766126024928975951/33772961122585741169496\ 647089863667890530*c_0110_6^3 - 28788728653028398173958967088631254\ 95263601/33772961122585741169496647089863667890530*c_0110_6, c_0011_0 - 1, c_0011_3 - 2448357573081692265664993659969853545714/1688648056129287058\ 4748323544931833945265*c_0110_6^33 + 282423311051648960858917243337731154005548/168864805612928705847483\ 23544931833945265*c_0110_6^31 - 34707935278886358110677694823063915\ 34783904/16886480561292870584748323544931833945265*c_0110_6^29 + 12858356152829030792189844037800487435206893/1688648056129287058474\ 8323544931833945265*c_0110_6^27 - 412811968330082342589659889896602\ 0586689902/3377296112258574116949664708986366789053*c_0110_6^25 + 35306765368273912889945287116536729904238878/1688648056129287058474\ 8323544931833945265*c_0110_6^23 - 367345482329024029509837615575776\ 88030549727/16886480561292870584748323544931833945265*c_0110_6^21 + 23641281134666483087444252834035584832225117/1688648056129287058474\ 8323544931833945265*c_0110_6^19 - 114646928267000901945993822797032\ 87904120226/16886480561292870584748323544931833945265*c_0110_6^17 - 1584631575253723704268871105611060890543103/16886480561292870584748\ 323544931833945265*c_0110_6^15 - 9447639835241252140335570465791989\ 737395611/16886480561292870584748323544931833945265*c_0110_6^13 + 2272199868355753235016750603320353259602119/33772961122585741169496\ 64708986366789053*c_0110_6^11 - 54385231117168375671927578508450992\ 7018785/3377296112258574116949664708986366789053*c_0110_6^9 + 1244937008692466111567816717788328104812382/16886480561292870584748\ 323544931833945265*c_0110_6^7 - 82789719279853696248068250916112577\ 006762/3377296112258574116949664708986366789053*c_0110_6^5 - 2395530276514907983425888954825361690938/16886480561292870584748323\ 544931833945265*c_0110_6^3 - 10736817469187891639347670595877384129\ 073/16886480561292870584748323544931833945265*c_0110_6, c_0011_4 + 1918623344279888014327541600263423719164/1688648056129287058\ 4748323544931833945265*c_0110_6^33 - 219795057904863623076900962140033763221883/168864805612928705847483\ 23544931833945265*c_0110_6^31 + 25447774501906568015658308590671635\ 98032659/16886480561292870584748323544931833945265*c_0110_6^29 - 7979690175167238096559005575925016398483168/16886480561292870584748\ 323544931833945265*c_0110_6^27 + 1785326521358821312063005760905162\ 914635240/3377296112258574116949664708986366789053*c_0110_6^25 - 17530004587222685096800587212570277328192208/1688648056129287058474\ 8323544931833945265*c_0110_6^23 + 109806873994959084538031883138504\ 08288145892/16886480561292870584748323544931833945265*c_0110_6^21 - 2891946953293862041753001519450469646547142/16886480561292870584748\ 323544931833945265*c_0110_6^19 + 1374044201742172744231011629571573\ 826534546/16886480561292870584748323544931833945265*c_0110_6^17 + 4001875211167501325250481665535841223579408/16886480561292870584748\ 323544931833945265*c_0110_6^15 + 1037221447667488778897427504651000\ 3316233606/16886480561292870584748323544931833945265*c_0110_6^13 - 481434973951597585420674401089583508443923/337729611225857411694966\ 4708986366789053*c_0110_6^11 - 564137994773172918933421626846223042\ 717716/3377296112258574116949664708986366789053*c_0110_6^9 - 1375127680575001075462951634069844889880172/16886480561292870584748\ 323544931833945265*c_0110_6^7 - 63656004382942479125193779704509250\ 1764/3377296112258574116949664708986366789053*c_0110_6^5 + 25525901271401041617051548146548347366563/1688648056129287058474832\ 3544931833945265*c_0110_6^3 + 4572778366444962430015546322762886442\ 2133/16886480561292870584748323544931833945265*c_0110_6, c_0101_0 + 5413546044285400628160320189030718464882/1688648056129287058\ 4748323544931833945265*c_0110_6^33 - 621756322864793454466235421857005253573944/168864805612928705847483\ 23544931833945265*c_0110_6^31 + 73627566825495293350197844893409579\ 00426617/16886480561292870584748323544931833945265*c_0110_6^29 - 24692163184381695582359326192458055825174409/1688648056129287058474\ 8323544931833945265*c_0110_6^27 + 652528554765665382461024337935413\ 8105400706/3377296112258574116949664708986366789053*c_0110_6^25 - 59562137385709608358828703686790886524500604/1688648056129287058474\ 8323544931833945265*c_0110_6^23 + 487131233749779756745436482506505\ 19025739801/16886480561292870584748323544931833945265*c_0110_6^21 - 23097174023214477049851283027906981879421306/1688648056129287058474\ 8323544931833945265*c_0110_6^19 + 102641386314302892727910194786465\ 14009582168/16886480561292870584748323544931833945265*c_0110_6^17 + 9443042491064468033169268439793840376348634/16886480561292870584748\ 323544931833945265*c_0110_6^15 + 2579034541651333240224841459935134\ 5325115093/16886480561292870584748323544931833945265*c_0110_6^13 - 2740277150141453147858209197629974528626833/33772961122585741169496\ 64708986366789053*c_0110_6^11 - 57824091679614054745209801930539941\ 2577326/3377296112258574116949664708986366789053*c_0110_6^9 - 3029168755220123962600033512048440049958311/16886480561292870584748\ 323544931833945265*c_0110_6^7 + 33362590050041423939952227577132571\ 742581/3377296112258574116949664708986366789053*c_0110_6^5 + 62659220479763646227598016853472581850909/1688648056129287058474832\ 3544931833945265*c_0110_6^3 + 3600507328903722761667523807337593793\ 3224/16886480561292870584748323544931833945265*c_0110_6, c_0101_2 - 2807425663651489495512083122055469754051/1688648056129287058\ 4748323544931833945265*c_0110_6^33 + 321838590858181192506913101265742859551097/168864805612928705847483\ 23544931833945265*c_0110_6^31 - 37494355433078750071657309502212533\ 29131041/16886480561292870584748323544931833945265*c_0110_6^29 + 11994546992697557065407048295221618687622732/1688648056129287058474\ 8323544931833945265*c_0110_6^27 - 285132632284174652341699643442449\ 3684315688/3377296112258574116949664708986366789053*c_0110_6^25 + 27638630429275738378197131729078482071627907/1688648056129287058474\ 8323544931833945265*c_0110_6^23 - 195115422091465335080283519839489\ 20290873738/16886480561292870584748323544931833945265*c_0110_6^21 + 7884545304270320235947701924686540135347398/16886480561292870584748\ 323544931833945265*c_0110_6^19 - 4592412058603912601340139185572322\ 018511449/16886480561292870584748323544931833945265*c_0110_6^17 - 4586611780015192017586616137299968414710917/16886480561292870584748\ 323544931833945265*c_0110_6^15 - 1508403351912691372150207919952213\ 0973438759/16886480561292870584748323544931833945265*c_0110_6^13 + 863444739415347500520839942496309034600416/337729611225857411694966\ 4708986366789053*c_0110_6^11 + 626782191835484148642005942726636195\ 476482/3377296112258574116949664708986366789053*c_0110_6^9 + 2468293758425648404598679462157404741569463/16886480561292870584748\ 323544931833945265*c_0110_6^7 - 28521332590138319436563190608003177\ 531227/3377296112258574116949664708986366789053*c_0110_6^5 - 38292648513505339078386576973968617604872/1688648056129287058474832\ 3544931833945265*c_0110_6^3 - 4549408442958325556338002564043871234\ 0417/16886480561292870584748323544931833945265*c_0110_6, c_0101_4 + 3134751853684567697777394643250014574794/1688648056129287058\ 4748323544931833945265*c_0110_6^32 - 360294101044650413935038485080284801516268/168864805612928705847483\ 23544931833945265*c_0110_6^30 + 42934074010440366964637182321719839\ 31139359/16886480561292870584748323544931833945265*c_0110_6^28 - 14641544639109353236785233048946110411621533/1688648056129287058474\ 8323544931833945265*c_0110_6^26 + 398676541960871472042039941406477\ 8103756780/3377296112258574116949664708986366789053*c_0110_6^24 - 35525882820220691217890098832874476823723183/1688648056129287058474\ 8323544931833945265*c_0110_6^22 + 303016453915101140561624036254648\ 32318198837/16886480561292870584748323544931833945265*c_0110_6^20 - 14403144255835832999287150231416338775790627/1688648056129287058474\ 8323544931833945265*c_0110_6^18 + 581828906657282486111879409603777\ 5666957141/16886480561292870584748323544931833945265*c_0110_6^16 + 5552318007081230934004052855398138163629128/16886480561292870584748\ 323544931833945265*c_0110_6^14 + 1426319948109705470350628139203665\ 0009096461/16886480561292870584748323544931833945265*c_0110_6^12 - 1872955019421799989944136462444856562085017/33772961122585741169496\ 64708986366789053*c_0110_6^10 - 30065833942935286332439657979811096\ 2990455/3377296112258574116949664708986366789053*c_0110_6^8 - 1102415641192652142652622385318571070490162/16886480561292870584748\ 323544931833945265*c_0110_6^6 + 52096860517848825115338469055728957\ 697476/3377296112258574116949664708986366789053*c_0110_6^4 + 40966451247220486871324135793451784988843/1688648056129287058474832\ 3544931833945265*c_0110_6^2 + 5973263427444928837561965378549276889\ 193/16886480561292870584748323544931833945265, c_0110_6^34 - 115*c_0110_6^32 + 1377*c_0110_6^30 - 4755*c_0110_6^28 + 6611*c_0110_6^26 - 11572*c_0110_6^24 + 10154*c_0110_6^22 - 4782*c_0110_6^20 + 1763*c_0110_6^18 + 1870*c_0110_6^16 + 4343*c_0110_6^14 - 3342*c_0110_6^12 - 435*c_0110_6^10 - 223*c_0110_6^8 + 104*c_0110_6^6 + 22*c_0110_6^4 + c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB