Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 1797978034] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0817 geometric_solution 4.74891610 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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.522316213175 0.477069418132 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 1 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 -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 0.675657453900 0.734237162154 1 3 0 1 1230 2310 0132 1302 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 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.675657453900 0.734237162154 1 4 4 2 0132 0132 1023 3201 0 0 0 0 0 0 1 -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 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.544015542656 0.493715771368 5 3 3 5 0132 0132 1023 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 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 1.209966546146 0.340271998303 4 6 6 4 0132 0132 1023 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 -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 1.176249943232 0.107436627413 6 5 5 6 3201 0132 1023 2310 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 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 1.140692080617 0.060098777110 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 5290483215359993847187078644824033953589523/11846038779109206303652\ 50786115495834538129*c_0101_6^24 - 5655005559697340303198582911172010972919327/11846038779109206303652\ 50786115495834538129*c_0101_6^23 - 127378688030674988958974123895081798703999115/118460387791092063036\ 5250786115495834538129*c_0101_6^22 + 208179563612123624333229767783296332584754638/118460387791092063036\ 5250786115495834538129*c_0101_6^21 + 1235574281699305544955314357607277627656381682/11846038779109206303\ 65250786115495834538129*c_0101_6^20 - 139750488638170361961451913801620580905379832/107691261628265511851\ 386435101408712230739*c_0101_6^19 - 8832306873041301559262074617591284864162373400/11846038779109206303\ 65250786115495834538129*c_0101_6^18 + 1530715858864544470028004301337171799460369784/11846038779109206303\ 65250786115495834538129*c_0101_6^17 + 47933200443772799306482275026433172646208780523/1184603877910920630\ 365250786115495834538129*c_0101_6^16 + 3157051091704076088965501076151122677432190302/16922912541584580433\ 7892969445070833505447*c_0101_6^15 - 154003719257587135301056850445596235981625490904/118460387791092063\ 0365250786115495834538129*c_0101_6^14 - 91705332953053766591889695256020529011804877123/1184603877910920630\ 365250786115495834538129*c_0101_6^13 + 3698579898075305441540390945228647297480127447/16684561660717191976\ 975363184725293444199*c_0101_6^12 + 135047354700313188463294067417700815615844451901/118460387791092063\ 0365250786115495834538129*c_0101_6^11 - 256703850918485639065923152515794762872866655509/118460387791092063\ 0365250786115495834538129*c_0101_6^10 - 88579795015756788327183534090018135738498436280/1184603877910920630\ 365250786115495834538129*c_0101_6^9 + 164238878602031471001809091823620348585047930723/118460387791092063\ 0365250786115495834538129*c_0101_6^8 + 30413311178009274759805455586668363869056556292/1184603877910920630\ 365250786115495834538129*c_0101_6^7 - 72498829302464194857323533988129076337302675255/1184603877910920630\ 365250786115495834538129*c_0101_6^6 - 7699977322314032485552489659251907391745220068/11846038779109206303\ 65250786115495834538129*c_0101_6^5 + 1740267079476902110035685870269342711062768148/10769126162826551185\ 1386435101408712230739*c_0101_6^4 + 1864796273787362843088997890170838791165909378/11846038779109206303\ 65250786115495834538129*c_0101_6^3 - 2560494405497309441782684974640893318558619648/11846038779109206303\ 65250786115495834538129*c_0101_6^2 - 233155882323937139534326084521482712669168275/118460387791092063036\ 5250786115495834538129*c_0101_6 + 143603425982754358953431895504161\ 738155769607/1184603877910920630365250786115495834538129, c_0011_0 - 1, c_0011_1 + 1755424665643695335313236020732303208102/1538446594689507312\ 1626633585915530318677*c_0101_6^24 + 6053049246975180722262222545592820273086/15384465946895073121626633\ 585915530318677*c_0101_6^23 - 3391058687573535727227627734902712635\ 9610/15384465946895073121626633585915530318677*c_0101_6^22 - 103263313287163757601683828113206924010994/153844659468950731216266\ 33585915530318677*c_0101_6^21 + 35457984021785275428327612774460023\ 9957363/15384465946895073121626633585915530318677*c_0101_6^20 + 1203056686695189314632380318389557332445104/15384465946895073121626\ 633585915530318677*c_0101_6^19 - 1550827563999422974737999384395641\ 636002864/15384465946895073121626633585915530318677*c_0101_6^18 - 9598117301736371452712739770836271346140951/15384465946895073121626\ 633585915530318677*c_0101_6^17 - 3629274090927336461903286563893213\ 030730523/15384465946895073121626633585915530318677*c_0101_6^16 + 36165847291972428065058562454919946092725099/1538446594689507312162\ 6633585915530318677*c_0101_6^15 + 441520771290514285859152734169786\ 62984765253/15384465946895073121626633585915530318677*c_0101_6^14 - 49720413126787173798733041291803313390446939/1538446594689507312162\ 6633585915530318677*c_0101_6^13 - 125206321642903065512759751713440\ 8551909838/216682618970353142558121599801627187587*c_0101_6^12 + 33750490290914365946546893506850168673849270/1538446594689507312162\ 6633585915530318677*c_0101_6^11 + 766369185956318342931544233095356\ 15573427677/15384465946895073121626633585915530318677*c_0101_6^10 - 24099465927771714906460914255527836613756095/1538446594689507312162\ 6633585915530318677*c_0101_6^9 - 4209243401679820037124595629417696\ 5088969126/15384465946895073121626633585915530318677*c_0101_6^8 + 13778617391158657126564725630482517382575079/1538446594689507312162\ 6633585915530318677*c_0101_6^7 + 1651401344296722767039593957995343\ 1988052311/15384465946895073121626633585915530318677*c_0101_6^6 - 3698677572828755761104853118675709184451067/15384465946895073121626\ 633585915530318677*c_0101_6^5 - 35373669445060320017237360645014967\ 84711529/15384465946895073121626633585915530318677*c_0101_6^4 + 418005966738651148120067542937964790273863/153844659468950731216266\ 33585915530318677*c_0101_6^3 + 348634249865532315211814746403299389\ 803840/15384465946895073121626633585915530318677*c_0101_6^2 - 24014945088511231180067509566223971463018/1538446594689507312162663\ 3585915530318677*c_0101_6 - 182422765319324719153187207972676394539\ 85/15384465946895073121626633585915530318677, c_0101_0 + 19409781672208003825016427352081914987662/153844659468950731\ 21626633585915530318677*c_0101_6^24 + 24264235386381894811397285354039622332836/1538446594689507312162663\ 3585915530318677*c_0101_6^23 - 421271218706311086934888480317357241\ 042158/15384465946895073121626633585915530318677*c_0101_6^22 - 222144294249798646637832564171244006980060/153844659468950731216266\ 33585915530318677*c_0101_6^21 + 42411268283355861142596845294341996\ 67191076/15384465946895073121626633585915530318677*c_0101_6^20 + 4226262399299625366316887106091861994680119/15384465946895073121626\ 633585915530318677*c_0101_6^19 - 2481001436992405580365462383353646\ 3707015466/15384465946895073121626633585915530318677*c_0101_6^18 - 53283860012913027396070299167011996086623100/1538446594689507312162\ 6633585915530318677*c_0101_6^17 + 654957449127056844206150538292844\ 05728621712/15384465946895073121626633585915530318677*c_0101_6^16 + 255518253673202460112951882014619884237263581/153844659468950731216\ 26633585915530318677*c_0101_6^15 - 13434656644362786658323746074671170290525456/1538446594689507312162\ 6633585915530318677*c_0101_6^14 - 481026901552114908837297707648810\ 534600706505/15384465946895073121626633585915530318677*c_0101_6^13 - 1480141120524223997075528804354477456715692/21668261897035314255812\ 1599801627187587*c_0101_6^12 + 464126148223698049327928764378349303\ 046606444/15384465946895073121626633585915530318677*c_0101_6^11 + 97898051513261147493943035717361610762751569/1538446594689507312162\ 6633585915530318677*c_0101_6^10 - 297900403046259185487104752471727\ 177685843336/15384465946895073121626633585915530318677*c_0101_6^9 - 40669311852523137672493246216032424922082791/1538446594689507312162\ 6633585915530318677*c_0101_6^8 + 1371280231858674760691368525223530\ 15212770152/15384465946895073121626633585915530318677*c_0101_6^7 + 15327237507415825080281743381893055016009436/1538446594689507312162\ 6633585915530318677*c_0101_6^6 - 3902728447990666177929856090240487\ 6360323518/15384465946895073121626633585915530318677*c_0101_6^5 - 5165527066680356712547363030709520046783445/15384465946895073121626\ 633585915530318677*c_0101_6^4 + 56933317381740843617159122323285523\ 30645325/15384465946895073121626633585915530318677*c_0101_6^3 + 854437300741497572393862507919089086814912/153844659468950731216266\ 33585915530318677*c_0101_6^2 - 331268618768950399439629960684375575\ 057643/15384465946895073121626633585915530318677*c_0101_6 - 48026711933615225698408044012505453877287/1538446594689507312162663\ 3585915530318677, c_0101_1 + 17244464819205998983114866670127806564907/153844659468950731\ 21626633585915530318677*c_0101_6^24 + 24015610384363006485824899468264608327120/1538446594689507312162663\ 3585915530318677*c_0101_6^23 - 371806440981447068517996163098125396\ 898350/15384465946895073121626633585915530318677*c_0101_6^22 - 251483167514406673575039511844492262060042/153844659468950731216266\ 33585915530318677*c_0101_6^21 + 37530426958910075939375386647053934\ 40311876/15384465946895073121626633585915530318677*c_0101_6^20 + 4299187913773684862527496342826390387055900/15384465946895073121626\ 633585915530318677*c_0101_6^19 - 2164063476970490046314808335501437\ 2093243275/15384465946895073121626633585915530318677*c_0101_6^18 - 50616780008886338185384047853507800619922717/1538446594689507312162\ 6633585915530318677*c_0101_6^17 + 522281184094515418715823642657726\ 18217175951/15384465946895073121626633585915530318677*c_0101_6^16 + 236998278355548429682243464663197526964100678/153844659468950731216\ 26633585915530318677*c_0101_6^15 + 18315576522430873735717975750844077372215154/1538446594689507312162\ 6633585915530318677*c_0101_6^14 - 437268276466532279611065478889297\ 053653056510/15384465946895073121626633585915530318677*c_0101_6^13 - 2165379040393487491365574088130124334517142/21668261897035314255812\ 1599801627187587*c_0101_6^12 + 415027754981720899749035589513235837\ 182701431/15384465946895073121626633585915530318677*c_0101_6^11 + 149152772662527118066554581565495524625109589/153844659468950731216\ 26633585915530318677*c_0101_6^10 - 268547640628913031903983128149049454637579157/153844659468950731216\ 26633585915530318677*c_0101_6^9 - 771984213790542747850617677240932\ 24207337115/15384465946895073121626633585915530318677*c_0101_6^8 + 127666098671844437401154032933268539310035809/153844659468950731216\ 26633585915530318677*c_0101_6^7 + 320902472413948805325797585588098\ 67478656924/15384465946895073121626633585915530318677*c_0101_6^6 - 37936430572184798612110054647321095715574904/1538446594689507312162\ 6633585915530318677*c_0101_6^5 - 9686307889435656683548774521632616\ 002619346/15384465946895073121626633585915530318677*c_0101_6^4 + 5861727044333086645459511875023370206615079/15384465946895073121626\ 633585915530318677*c_0101_6^3 + 15220977833027671307327063298711306\ 95558346/15384465946895073121626633585915530318677*c_0101_6^2 - 367756046430288800945154547741776908378776/153844659468950731216266\ 33585915530318677*c_0101_6 - 79108952513862336462901836003969899151\ 424/15384465946895073121626633585915530318677, c_0101_4 + 13658194265199914385364066684504249630905/153844659468950731\ 21626633585915530318677*c_0101_6^24 + 14813461352496254075398604636850005889563/1538446594689507312162663\ 3585915530318677*c_0101_6^23 - 298848478036279136341016385156375399\ 011929/15384465946895073121626633585915530318677*c_0101_6^22 - 106739206075757925746819283549030017940399/153844659468950731216266\ 33585915530318677*c_0101_6^21 + 30006905478842417963832354947759816\ 33822881/15384465946895073121626633585915530318677*c_0101_6^20 + 2475163394532012849169340624103122881685642/15384465946895073121626\ 633585915530318677*c_0101_6^19 - 1784823322973067128877315539207810\ 2624744853/15384465946895073121626633585915530318677*c_0101_6^18 - 34520267234189130138938216514789394064828461/1538446594689507312162\ 6633585915530318677*c_0101_6^17 + 516559333109760128396597061678166\ 21924327212/15384465946895073121626633585915530318677*c_0101_6^16 + 171022378712201699331488000247167117197898052/153844659468950731216\ 26633585915530318677*c_0101_6^15 - 37162230305577477435614634849078051907808489/1538446594689507312162\ 6633585915530318677*c_0101_6^14 - 330646689993259441289781709832092\ 340391418468/15384465946895073121626633585915530318677*c_0101_6^13 - 288394060895462217333713905370765418048284/216682618970353142558121\ 599801627187587*c_0101_6^12 + 3242892948989101078450083945901248689\ 68735511/15384465946895073121626633585915530318677*c_0101_6^11 + 16092318733020200098400895740342403155588402/1538446594689507312162\ 6633585915530318677*c_0101_6^10 - 204285319445769667117119429010458\ 949725769078/15384465946895073121626633585915530318677*c_0101_6^9 + 4569914674861269948865295365929139259399764/15384465946895073121626\ 633585915530318677*c_0101_6^8 + 90340241960048179769441667506086192\ 193373978/15384465946895073121626633585915530318677*c_0101_6^7 - 2883522203139752089068077719325901611023684/15384465946895073121626\ 633585915530318677*c_0101_6^6 - 24602953361276411031480597080700821\ 378663679/15384465946895073121626633585915530318677*c_0101_6^5 - 303910510189125967994556514900772356963392/153844659468950731216266\ 33585915530318677*c_0101_6^4 + 342051684361850001798331912387586217\ 4273600/15384465946895073121626633585915530318677*c_0101_6^3 + 175448606549566574112064809525602022194366/153844659468950731216266\ 33585915530318677*c_0101_6^2 - 206664650314996841366603139791526673\ 316154/15384465946895073121626633585915530318677*c_0101_6 - 15644693555256237033519148065702822419294/1538446594689507312162663\ 3585915530318677, c_0101_5 + 4071919775276076738687060718178073118219/1538446594689507312\ 1626633585915530318677*c_0101_6^24 + 3906210175708095021965238515224095462897/15384465946895073121626633\ 585915530318677*c_0101_6^23 - 8974490076639374090221538846184450878\ 2497/15384465946895073121626633585915530318677*c_0101_6^22 - 20733116759012441707628176321751239487192/1538446594689507312162663\ 3585915530318677*c_0101_6^21 + 900470749354574797168701606515378786\ 608308/15384465946895073121626633585915530318677*c_0101_6^20 + 625803756572469454186783830801962078862414/153844659468950731216266\ 33585915530318677*c_0101_6^19 - 54296375162099040747712099320983580\ 68203968/15384465946895073121626633585915530318677*c_0101_6^18 - 9636984517402489889413639878505743425385013/15384465946895073121626\ 633585915530318677*c_0101_6^17 + 1677194063931581943377257694081393\ 7549756634/15384465946895073121626633585915530318677*c_0101_6^16 + 49245871025251283376152087467562540293350398/1538446594689507312162\ 6633585915530318677*c_0101_6^15 - 176197690791621713966385418516380\ 70630527250/15384465946895073121626633585915530318677*c_0101_6^14 - 97860041781239361653428340546352528347464298/1538446594689507312162\ 6633585915530318677*c_0101_6^13 + 836421954328734994315131685222078\ 17613997/216682618970353142558121599801627187587*c_0101_6^12 + 97635613494815262426740290298282094884734551/1538446594689507312162\ 6633585915530318677*c_0101_6^11 - 661752736590010952865616657328697\ 1678658544/15384465946895073121626633585915530318677*c_0101_6^10 - 60633144923193499757048598777646404276308472/1538446594689507312162\ 6633585915530318677*c_0101_6^9 + 8449230366020899593955712052606044\ 261759792/15384465946895073121626633585915530318677*c_0101_6^8 + 26103140686762010187267627078924265344898001/1538446594689507312162\ 6633585915530318677*c_0101_6^7 - 3674429988001122109938529933926840\ 598406510/15384465946895073121626633585915530318677*c_0101_6^6 - 6928469122102264340519555236077416871037803/15384465946895073121626\ 633585915530318677*c_0101_6^5 + 54452639985193977163211795305241691\ 8656280/15384465946895073121626633585915530318677*c_0101_6^4 + 937738452482300799149281205020441758336754/153844659468950731216266\ 33585915530318677*c_0101_6^3 - 212440749810501106885076904955716375\ 80756/15384465946895073121626633585915530318677*c_0101_6^2 - 80577938154422547279003250827813784755925/1538446594689507312162663\ 3585915530318677*c_0101_6 - 180294283011165062577096800202335914114\ 8/15384465946895073121626633585915530318677, c_0101_6^25 + c_0101_6^24 - 22*c_0101_6^23 - 6*c_0101_6^22 + 221*c_0101_6^21 + 163*c_0101_6^20 - 1329*c_0101_6^19 - 2423*c_0101_6^18 + 4039*c_0101_6^17 + 12282*c_0101_6^16 - 3918*c_0101_6^15 - 24418*c_0101_6^14 + 708*c_0101_6^13 + 24911*c_0101_6^12 - 851*c_0101_6^11 - 16291*c_0101_6^10 + 1589*c_0101_6^9 + 7429*c_0101_6^8 - 843*c_0101_6^7 - 2177*c_0101_6^6 + 182*c_0101_6^5 + 369*c_0101_6^4 - 17*c_0101_6^3 - 33*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB