Magma V2.19-8 Wed Aug 21 2013 01:05:13 on localhost [Seed = 813050016] Type ? for help. Type -D to quit. Loading file "L14n25299__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n25299 geometric_solution 11.83992289 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 -1 1 0 0 0 1 -1 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760554183950 0.755053525827 0 2 6 5 0132 2031 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598802292069 0.500766871809 1 0 8 7 1302 0132 0132 0132 1 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 2 0 -2 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598802292069 0.500766871809 9 10 11 0 0132 0132 0132 0132 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 0 0 0 0 0 0 1 -1 2 0 -1 -1 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.202835211221 0.574135037265 11 7 0 5 1023 0132 0132 2103 1 1 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 -1 2 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424791852054 1.095662122424 9 10 1 4 2103 3201 0132 2103 0 1 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 -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.109382195690 1.302341204464 9 12 10 1 1023 0132 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880681545443 0.788471909833 12 4 2 8 2310 0132 0132 0321 1 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 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619017126194 0.700648275142 12 7 11 2 3120 0321 1302 0132 1 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 -1 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.962810690071 1.369730072707 3 6 5 11 0132 1023 2103 0132 1 1 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 0 0 0 -2 0 0 2 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.755457965958 0.947602106502 12 3 5 6 0132 0132 2310 1302 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.493430026878 0.572228451759 8 4 9 3 2031 1023 0132 0132 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 0 0 0 0 0 1 0 -1 1 0 -2 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.017280167390 0.821829747413 10 6 7 8 0132 0132 3201 3120 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 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.631318163391 1.379657145062 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_11' : negation(d['c_0110_5']), 'c_1100_10' : d['c_0011_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_1001_2'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0011_8'], 'c_0110_12' : d['c_0011_0'], 'c_0101_12' : d['c_0011_8'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_4, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 14443010837914937062818600547667008570/8718173656968834991390617695\ 17733*c_1001_2^12 - 482835159482500282421741110710741802094/6102721\ 559878184493973432386624131*c_1001_2^11 + 22722841051309685736512566308628931150/3589836211693049702337313168\ 60243*c_1001_2^10 + 2150638457171539778211589999404295204684/610272\ 1559878184493973432386624131*c_1001_2^9 - 3000334282930004946951786342130901014072/61027215598781844939734323\ 86624131*c_1001_2^8 + 1777532271495681945986130113034319184428/6102\ 721559878184493973432386624131*c_1001_2^7 - 1520319760414314622614385523643253401605/61027215598781844939734323\ 86624131*c_1001_2^6 + 798887510040526246581058191969108106945/61027\ 21559878184493973432386624131*c_1001_2^5 - 270890993732596508430300408636442556051/610272155987818449397343238\ 6624131*c_1001_2^4 + 273088903841929236604810280364887094877/610272\ 1559878184493973432386624131*c_1001_2^3 - 61016544511546106696459467949996102027/6102721559878184493973432386\ 624131*c_1001_2^2 + 1734036023864098557806082152652456314/469440119\ 990629576459494798971087*c_1001_2 - 10733336546230782555519000688736701484/6102721559878184493973432386\ 624131, c_0011_0 - 1, c_0011_10 + 658049623319831591143304478/27847290065045779871303293*c_10\ 01_2^12 + 3030638848752315846298045024/27847290065045779871303293*c\ _1001_2^11 - 3046006471706224857019327568/2784729006504577987130329\ 3*c_1001_2^10 - 13523800908095513253776484079/278472900650457798713\ 03293*c_1001_2^9 + 22035599038948242732834621286/278472900650457798\ 71303293*c_1001_2^8 - 15127383163212954823095742861/278472900650457\ 79871303293*c_1001_2^7 + 11278008529065773497470312461/278472900650\ 45779871303293*c_1001_2^6 - 5890201331342610953794469978/2784729006\ 5045779871303293*c_1001_2^5 + 2336025083028239711772875175/27847290\ 065045779871303293*c_1001_2^4 - 1840917084054725765435566952/278472\ 90065045779871303293*c_1001_2^3 + 496258211474137524933802719/27847\ 290065045779871303293*c_1001_2^2 - 239909430990346424658778350/27847290065045779871303293*c_1001_2 + 28361590688072113035036793/27847290065045779871303293, c_0011_11 + 71952315988960003534812637/27847290065045779871303293*c_100\ 1_2^12 + 416974748528995581840529128/27847290065045779871303293*c_1\ 001_2^11 + 77270026853106358126210996/27847290065045779871303293*c_\ 1001_2^10 - 1815352233924688180165164421/27847290065045779871303293\ *c_1001_2^9 + 527371117711954788776102840/2784729006504577987130329\ 3*c_1001_2^8 + 1053044296339832362288115116/27847290065045779871303\ 293*c_1001_2^7 + 110435070870514003824896233/2784729006504577987130\ 3293*c_1001_2^6 - 454129298344557568562595006/278472900650457798713\ 03293*c_1001_2^5 + 310417819399370157440659838/27847290065045779871\ 303293*c_1001_2^4 - 374612605729010979723418408/2784729006504577987\ 1303293*c_1001_2^3 + 139398648599280468842530037/278472900650457798\ 71303293*c_1001_2^2 - 32801562696090968326786417/278472900650457798\ 71303293*c_1001_2 + 34403649063279979994691135/27847290065045779871\ 303293, c_0011_5 + 40251287345138236134104974/2142099235772752297792561*c_1001_\ 2^12 + 186671660187308836904660495/2142099235772752297792561*c_1001\ _2^11 - 180422161762459085285872388/2142099235772752297792561*c_100\ 1_2^10 - 834618608582820850787761372/2142099235772752297792561*c_10\ 01_2^9 + 1316990612415764620787724601/2142099235772752297792561*c_1\ 001_2^8 - 872995269345942609111352822/2142099235772752297792561*c_1\ 001_2^7 + 680349459750682260276371678/2142099235772752297792561*c_1\ 001_2^6 - 384517565897548847506598116/2142099235772752297792561*c_1\ 001_2^5 + 157770771145936335449893190/2142099235772752297792561*c_1\ 001_2^4 - 122963886116425489545374359/2142099235772752297792561*c_1\ 001_2^3 + 34346806719970560424687864/2142099235772752297792561*c_10\ 01_2^2 - 12595220938626430277810435/2142099235772752297792561*c_100\ 1_2 + 3448490495297701266461877/2142099235772752297792561, c_0011_8 + 67428308536179877781401319/27847290065045779871303293*c_1001\ _2^12 + 397946076695967590027884276/27847290065045779871303293*c_10\ 01_2^11 + 100737987481759089535964738/27847290065045779871303293*c_\ 1001_2^10 - 1759908806849298021273925616/27847290065045779871303293\ *c_1001_2^9 + 352826351782570556382663030/2784729006504577987130329\ 3*c_1001_2^8 + 1345492722103432312786658487/27847290065045779871303\ 293*c_1001_2^7 - 121376606912577150594308685/2784729006504577987130\ 3293*c_1001_2^6 - 260976858918671827944212384/278472900650457798713\ 03293*c_1001_2^5 + 197531877852388539153210378/27847290065045779871\ 303293*c_1001_2^4 - 319128192695050051505735814/2784729006504577987\ 1303293*c_1001_2^3 + 35614862467307514345141914/2784729006504577987\ 1303293*c_1001_2^2 - 23141182785235719972637828/2784729006504577987\ 1303293*c_1001_2 + 33775419343126728707413651/278472900650457798713\ 03293, c_0101_0 - 1, c_0101_1 - 2437585497595647431610662/2142099235772752297792561*c_1001_2\ ^12 - 13931917543785311127381701/2142099235772752297792561*c_1001_2\ ^11 + 335823081883026338541491/2142099235772752297792561*c_1001_2^1\ 0 + 70201172742606367165504662/2142099235772752297792561*c_1001_2^9 - 30850428296521764527225517/2142099235772752297792561*c_1001_2^8 - 72321812891383023201312426/2142099235772752297792561*c_1001_2^7 + 56788210855784191299747288/2142099235772752297792561*c_1001_2^6 - 25038339519876063862120885/2142099235772752297792561*c_1001_2^5 + 25694853173226397971363248/2142099235772752297792561*c_1001_2^4 - 5457147548150130227304517/2142099235772752297792561*c_1001_2^3 + 949404283836168967993137/2142099235772752297792561*c_1001_2^2 - 4902945923319408870031085/2142099235772752297792561*c_1001_2 - 1567987837299411622981492/2142099235772752297792561, c_0101_11 + 14765276668564136263926783/2142099235772752297792561*c_1001\ _2^12 + 75508501107336947417762127/2142099235772752297792561*c_1001\ _2^11 - 31093436381748310531851975/2142099235772752297792561*c_1001\ _2^10 - 327379456256988116493188133/2142099235772752297792561*c_100\ 1_2^9 + 319512070596415610774739634/2142099235772752297792561*c_100\ 1_2^8 - 142145739377132599559943887/2142099235772752297792561*c_100\ 1_2^7 + 205561061280604830280309263/2142099235772752297792561*c_100\ 1_2^6 - 88576403353054104895273330/2142099235772752297792561*c_1001\ _2^5 + 31519114568267325292032639/2142099235772752297792561*c_1001_\ 2^4 - 48114547013812503531107395/2142099235772752297792561*c_1001_2\ ^3 - 978870972239720321199087/2142099235772752297792561*c_1001_2^2 - 4523001782717681336464620/2142099235772752297792561*c_1001_2 + 1510116601604262644073562/2142099235772752297792561, c_0101_7 + 19782078465513764718857028/2142099235772752297792561*c_1001_\ 2^12 + 85892928441528069271612560/2142099235772752297792561*c_1001_\ 2^11 - 114259881033224444165269164/2142099235772752297792561*c_1001\ _2^10 - 375317012743142411114055025/2142099235772752297792561*c_100\ 1_2^9 + 766717386515752080554221124/2142099235772752297792561*c_100\ 1_2^8 - 669984420915077931103747512/2142099235772752297792561*c_100\ 1_2^7 + 478730790802696941796856395/2142099235772752297792561*c_100\ 1_2^6 - 230335892318117843612697048/2142099235772752297792561*c_100\ 1_2^5 + 102869617647238507735715938/2142099235772752297792561*c_100\ 1_2^4 - 67996797615821406902950422/2142099235772752297792561*c_1001\ _2^3 + 20276018157600029364853780/2142099235772752297792561*c_1001_\ 2^2 - 13508993744266801032341158/2142099235772752297792561*c_1001_2 - 795741665970907397025384/2142099235772752297792561, c_0110_4 + 22219663963109412150467690/2142099235772752297792561*c_1001_\ 2^12 + 99824845985313380398994261/2142099235772752297792561*c_1001_\ 2^11 - 114595704115107470503810655/2142099235772752297792561*c_1001\ _2^10 - 445518185485748778279559687/2142099235772752297792561*c_100\ 1_2^9 + 797567814812273845081446641/2142099235772752297792561*c_100\ 1_2^8 - 597662608023694907902435086/2142099235772752297792561*c_100\ 1_2^7 + 421942579946912750497109107/2142099235772752297792561*c_100\ 1_2^6 - 205297552798241779750576163/2142099235772752297792561*c_100\ 1_2^5 + 77174764474012109764352690/2142099235772752297792561*c_1001\ _2^4 - 62539650067671276675645905/2142099235772752297792561*c_1001_\ 2^3 + 19326613873763860396860643/2142099235772752297792561*c_1001_2\ ^2 - 8606047820947392162310073/2142099235772752297792561*c_1001_2 + 772246171328504225956108/2142099235772752297792561, c_0110_5 - 26165081791263923243902831/2142099235772752297792561*c_1001_\ 2^12 - 123437509431672310162593325/2142099235772752297792561*c_1001\ _2^11 + 107915230626176530585339768/2142099235772752297792561*c_100\ 1_2^10 + 553147970642053002144201198/2142099235772752297792561*c_10\ 01_2^9 - 816038107335331445152683384/2142099235772752297792561*c_10\ 01_2^8 + 492027003368338599271667098/2142099235772752297792561*c_10\ 01_2^7 - 380370240880264832004454981/2142099235772752297792561*c_10\ 01_2^6 + 199397166501691119451043800/2142099235772752297792561*c_10\ 01_2^5 - 67684939686906580942580580/2142099235772752297792561*c_100\ 1_2^4 + 63604476014209472544082245/2142099235772752297792561*c_1001\ _2^3 - 16387167115931896185734438/2142099235772752297792561*c_1001_\ 2^2 + 6073763247455963540580183/2142099235772752297792561*c_1001_2 - 1369372158660679961307257/2142099235772752297792561, c_1001_0 - 21981980703815140029942039/2142099235772752297792561*c_1001_\ 2^12 - 107665319637075691396496859/2142099235772752297792561*c_1001\ _2^11 + 71348808846466490579349854/2142099235772752297792561*c_1001\ _2^10 + 477877661700382849451735069/2142099235772752297792561*c_100\ 1_2^9 - 601143056372723318713557070/2142099235772752297792561*c_100\ 1_2^8 + 299901151769463343888428354/2142099235772752297792561*c_100\ 1_2^7 - 259643096593957176209956851/2142099235772752297792561*c_100\ 1_2^6 + 128083874937819952704424652/2142099235772752297792561*c_100\ 1_2^5 - 42846950564835015218407665/2142099235772752297792561*c_1001\ _2^4 + 52921872235973198078208311/2142099235772752297792561*c_1001_\ 2^3 - 7324312649523458416706011/2142099235772752297792561*c_1001_2^\ 2 + 1347461203602260890554180/2142099235772752297792561*c_1001_2 - 1361379169532730578518246/2142099235772752297792561, c_1001_2^13 + 626/133*c_1001_2^12 - 552/133*c_1001_2^11 - 2794/133*c_1001_2^10 + 4143/133*c_1001_2^9 - 373/19*c_1001_2^8 + 2158/133*c_1001_2^7 - 1185/133*c_1001_2^6 + 426/133*c_1001_2^5 - 381/133*c_1001_2^4 + 104/133*c_1001_2^3 - 5/19*c_1001_2^2 + 16/133*c_1001_2 - 1/133 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.410 Total time: 0.620 seconds, Total memory usage: 32.09MB