Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 2210537146] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2456 geometric_solution 5.79816761 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 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.445765391331 0.977976285596 0 3 4 4 0132 0132 2031 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692763645190 0.560188924243 3 4 3 0 2103 2103 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227269051287 0.639029872501 2 1 2 5 2031 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649363361476 0.397341447554 5 2 1 1 1302 2103 0132 1302 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 1 0 0 -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.407851913459 0.235254726502 6 4 3 6 0132 2031 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726512991168 0.343034566162 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 1 -1 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 -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.078921407684 0.458982552803 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_4, c_0011_5, c_0101_1, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1182654176519705734296223993219/1565041572733186347715022101*c_0110\ _4^16 - 5653953422866994193128848523/22042839052580089404436931*c_0\ 110_4^15 - 25881843837190269740675175121306/15650415727331863477150\ 22101*c_0110_4^14 + 51360277686836825586853497781550/15650415727331\ 86347715022101*c_0110_4^13 + 137488439362837018460656082885630/1565\ 041572733186347715022101*c_0110_4^12 - 393166896892226641419913472314670/1565041572733186347715022101*c_01\ 10_4^11 - 405822439468529213834133850437956/15650415727331863477150\ 22101*c_0110_4^10 + 1297820918164291307924027592763040/156504157273\ 3186347715022101*c_0110_4^9 + 1390242754351706250898739286028466/15\ 65041572733186347715022101*c_0110_4^8 - 2141495010973604401947544916534826/1565041572733186347715022101*c_0\ 110_4^7 - 3603963564589290627767950596129320/1565041572733186347715\ 022101*c_0110_4^6 + 41266019485038755893240965952776/15650415727331\ 86347715022101*c_0110_4^5 + 3081878275622664243482012883767096/1565\ 041572733186347715022101*c_0110_4^4 + 3335997947275701527510076382131455/1565041572733186347715022101*c_0\ 110_4^3 + 2770825246531861897887669257159219/1565041572733186347715\ 022101*c_0110_4^2 + 1400335425288236436192910975504690/156504157273\ 3186347715022101*c_0110_4 + 247545732619250733450574890930708/15650\ 41572733186347715022101, c_0011_0 - 1, c_0011_2 - 6828350312913067379523650/22042839052580089404436931*c_0110_\ 4^16 + 2636935778392777042612989/22042839052580089404436931*c_0110_\ 4^15 + 149165884346116498805731691/22042839052580089404436931*c_011\ 0_4^14 - 303433146269670956308485159/22042839052580089404436931*c_0\ 110_4^13 - 776429561369380895280584205/22042839052580089404436931*c\ _0110_4^12 + 2299207452380539178464841580/2204283905258008940443693\ 1*c_0110_4^11 + 2219613529043468956235895895/2204283905258008940443\ 6931*c_0110_4^10 - 7541955553751968166836385548/2204283905258008940\ 4436931*c_0110_4^9 - 7637618723735537163542626278/22042839052580089\ 404436931*c_0110_4^8 + 12538798198934262244292296810/22042839052580\ 089404436931*c_0110_4^7 + 20107266886158426933760067305/22042839052\ 580089404436931*c_0110_4^6 - 855427127088258120698333256/2204283905\ 2580089404436931*c_0110_4^5 - 17411721552166849625573134047/2204283\ 9052580089404436931*c_0110_4^4 - 18608104299912934761765523339/2204\ 2839052580089404436931*c_0110_4^3 - 15457070761490834186866033316/22042839052580089404436931*c_0110_4^2 - 7623783984899505503917757759/22042839052580089404436931*c_0110_4 - 1307252801246993968948883066/22042839052580089404436931, c_0011_4 + 16262719383328829333382869/22042839052580089404436931*c_0110\ _4^16 - 6134983461477532696205996/22042839052580089404436931*c_0110\ _4^15 - 355083509865998221696018771/22042839052580089404436931*c_01\ 10_4^14 + 718945881866612451617761104/22042839052580089404436931*c_\ 0110_4^13 + 1851261444603735905684242594/22042839052580089404436931\ *c_0110_4^12 - 5439792660913251232930919096/22042839052580089404436\ 931*c_0110_4^11 - 5340164372864153383091858678/22042839052580089404\ 436931*c_0110_4^10 + 17820950602187820227308166442/2204283905258008\ 9404436931*c_0110_4^9 + 18450999506507828971081765063/2204283905258\ 0089404436931*c_0110_4^8 - 29504729885120785121692320893/2204283905\ 2580089404436931*c_0110_4^7 - 48344967993005721262796791845/2204283\ 9052580089404436931*c_0110_4^6 + 1230429032772584199496530920/22042\ 839052580089404436931*c_0110_4^5 + 41628254420665005970384132164/22042839052580089404436931*c_0110_4^4 + 44998032998883121211149771857/22042839052580089404436931*c_0110_4\ ^3 + 37287628617747615039196092554/22042839052580089404436931*c_011\ 0_4^2 + 18648652382321247598199722815/22042839052580089404436931*c_\ 0110_4 + 3297443922382217781203238009/22042839052580089404436931, c_0011_5 + 6597559419645957604923423/22042839052580089404436931*c_0110_\ 4^16 - 1179116117330623184344974/22042839052580089404436931*c_0110_\ 4^15 - 145603752919975157731527939/22042839052580089404436931*c_011\ 0_4^14 + 264313885303690574315233905/22042839052580089404436931*c_0\ 110_4^13 + 830996711592490155931925640/22042839052580089404436931*c\ _0110_4^12 - 2122171320597756161972740715/2204283905258008940443693\ 1*c_0110_4^11 - 2672849974011242570533940110/2204283905258008940443\ 6931*c_0110_4^10 + 7207466913279792531863114730/2204283905258008940\ 4436931*c_0110_4^9 + 8938257991504730537740200110/22042839052580089\ 404436931*c_0110_4^8 - 11652007525353146255464789072/22042839052580\ 089404436931*c_0110_4^7 - 22242638095232554023426820521/22042839052\ 580089404436931*c_0110_4^6 - 1286655467123949410487121804/220428390\ 52580089404436931*c_0110_4^5 + 18410482657379313571248764994/220428\ 39052580089404436931*c_0110_4^4 + 20399429233301948693062712427/220\ 42839052580089404436931*c_0110_4^3 + 17052869572985721981513915080/22042839052580089404436931*c_0110_4^2 + 9015464688943426273045130745/22042839052580089404436931*c_0110_4 + 1672017242063273242700365206/22042839052580089404436931, c_0101_1 - 17593166317365515816472172/22042839052580089404436931*c_0110\ _4^16 + 5598494243711478134234029/22042839052580089404436931*c_0110\ _4^15 + 385416262374545758924272029/22042839052580089404436931*c_01\ 10_4^14 - 756177003346467884086292062/22042839052580089404436931*c_\ 0110_4^13 - 2067183943991773590549945426/22042839052580089404436931\ *c_0110_4^12 + 5821697720586192562625752298/22042839052580089404436\ 931*c_0110_4^11 + 6179749954722217308775708905/22042839052580089404\ 436931*c_0110_4^10 - 19283852001016203491616681294/2204283905258008\ 9404436931*c_0110_4^9 - 21099985695864846138147028781/2204283905258\ 0089404436931*c_0110_4^8 + 31725556619602864248565884554/2204283905\ 2580089404436931*c_0110_4^7 + 54361173007503774975267368096/2204283\ 9052580089404436931*c_0110_4^6 - 31033009177908164133949114/2204283\ 9052580089404436931*c_0110_4^5 - 46240692019145286949304273932/2204\ 2839052580089404436931*c_0110_4^4 - 50279968840025442724288622022/22042839052580089404436931*c_0110_4^3 - 41832898508124605549646954973/22042839052580089404436931*c_0110_4\ ^2 - 21297709474391860429782783339/22042839052580089404436931*c_011\ 0_4 - 3801128646433038203544200331/22042839052580089404436931, c_0101_6 - 17253286114729650340786424/22042839052580089404436931*c_0110\ _4^16 + 5778840795995954736667232/22042839052580089404436931*c_0110\ _4^15 + 377514553742966173799380770/22042839052580089404436931*c_01\ 10_4^14 - 747371176175683137085654405/22042839052580089404436931*c_\ 0110_4^13 - 2007401352032851455625454274/22042839052580089404436931\ *c_0110_4^12 + 5719219393145606226800460950/22042839052580089404436\ 931*c_0110_4^11 + 5947708331593268574756272233/22042839052580089404\ 436931*c_0110_4^10 - 18870794321516054443165379011/2204283905258008\ 9404436931*c_0110_4^9 - 20403310757579000454699602239/2204283905258\ 0089404436931*c_0110_4^8 + 31076991845954523224939672922/2204283905\ 2580089404436931*c_0110_4^7 + 52778473689168764568635816960/2204283\ 9052580089404436931*c_0110_4^6 - 222917871322636433103379985/220428\ 39052580089404436931*c_0110_4^5 - 44993687841415955210220966315/220\ 42839052580089404436931*c_0110_4^4 - 48984425079044357429118702557/22042839052580089404436931*c_0110_4^3 - 40678585081705889856894128079/22042839052580089404436931*c_0110_4\ ^2 - 20688393879727813212335780220/22042839052580089404436931*c_011\ 0_4 - 3717089123868222107120704851/22042839052580089404436931, c_0110_4^17 - 22*c_0110_4^15 + 36*c_0110_4^14 + 131*c_0110_4^13 - 293*c_0110_4^12 - 456*c_0110_4^11 + 981*c_0110_4^10 + 1548*c_0110_4^9 - 1412*c_0110_4^8 - 3662*c_0110_4^7 - 999*c_0110_4^6 + 2618*c_0110_4^5 + 3705*c_0110_4^4 + 3300*c_0110_4^3 + 1979*c_0110_4^2 + 611*c_0110_4 + 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB