Magma V2.19-8 Tue Aug 20 2013 16:18:21 on localhost [Seed = 3330759656] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2558 geometric_solution 5.86445246 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 -1 0 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 1 0 0 -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 1.534817090150 0.830559709112 0 2 0 4 0132 1230 2031 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 0 -1 0 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.710365743404 0.626312715822 4 0 1 5 3201 0132 3012 0132 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 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.140965860100 0.816262790732 6 5 6 0 0132 2310 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 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.847314941312 0.443340067421 6 6 1 2 2103 0321 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531228300138 0.546200151594 5 5 2 3 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 -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.780313921078 0.867333408269 3 3 4 4 0132 3201 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578888042582 0.274094758287 ==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' : d['1'], 's_3_4' : 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_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_0011_5, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 416554495059209655950/19423529838454677533*c_0101_5^16 + 1801233162847643001215/19423529838454677533*c_0101_5^15 + 1495820121134424077953/19423529838454677533*c_0101_5^14 - 7135145785228303083291/19423529838454677533*c_0101_5^13 - 12260979899510713658972/19423529838454677533*c_0101_5^12 + 16001124548225245381682/19423529838454677533*c_0101_5^11 - 17335349270522618380442/19423529838454677533*c_0101_5^10 + 99891516185143023083328/19423529838454677533*c_0101_5^9 - 27170535358707598083632/19423529838454677533*c_0101_5^8 + 98784418304359439983914/19423529838454677533*c_0101_5^7 - 52896496847752696543151/19423529838454677533*c_0101_5^6 + 34404824837825349378853/19423529838454677533*c_0101_5^5 - 33436474816135491315490/19423529838454677533*c_0101_5^4 - 4424652593809003184991/19423529838454677533*c_0101_5^3 - 12693028934922785636503/19423529838454677533*c_0101_5^2 - 11191819433641547862196/19423529838454677533*c_0101_5 - 1538480761554559726192/19423529838454677533, c_0011_0 - 1, c_0011_3 + 28999596930408231/51521299306245829*c_0101_5^16 - 121027653571437649/51521299306245829*c_0101_5^15 - 122896457757985067/51521299306245829*c_0101_5^14 + 479593694395590665/51521299306245829*c_0101_5^13 + 930634127788071505/51521299306245829*c_0101_5^12 - 974511322710082202/51521299306245829*c_0101_5^11 + 1028063428271137161/51521299306245829*c_0101_5^10 - 6826569559358925084/51521299306245829*c_0101_5^9 + 871001507573547691/51521299306245829*c_0101_5^8 - 6578912713735229471/51521299306245829*c_0101_5^7 + 2777226601502396200/51521299306245829*c_0101_5^6 - 1694932361703763352/51521299306245829*c_0101_5^5 + 1927583478523013757/51521299306245829*c_0101_5^4 + 751676371807284775/51521299306245829*c_0101_5^3 + 828083670134929751/51521299306245829*c_0101_5^2 + 983521611166780747/51521299306245829*c_0101_5 + 177392336329478041/51521299306245829, c_0011_4 + 32892052306572452/51521299306245829*c_0101_5^16 - 140276372362635689/51521299306245829*c_0101_5^15 - 126524192658062996/51521299306245829*c_0101_5^14 + 555811274231005862/51521299306245829*c_0101_5^13 + 1002790045003559021/51521299306245829*c_0101_5^12 - 1200305138231439843/51521299306245829*c_0101_5^11 + 1285650861403961494/51521299306245829*c_0101_5^10 - 7838557559589504622/51521299306245829*c_0101_5^9 + 1699072077119999309/51521299306245829*c_0101_5^8 - 7626527467622441475/51521299306245829*c_0101_5^7 + 3746868757134069276/51521299306245829*c_0101_5^6 - 2404767575316498735/51521299306245829*c_0101_5^5 + 2410542826592433076/51521299306245829*c_0101_5^4 + 496742742657024688/51521299306245829*c_0101_5^3 + 996803747781311956/51521299306245829*c_0101_5^2 + 952432477421252289/51521299306245829*c_0101_5 + 167554701632988158/51521299306245829, c_0011_5 - 45082812787354156/51521299306245829*c_0101_5^16 + 190168814912990092/51521299306245829*c_0101_5^15 + 184391343311397962/51521299306245829*c_0101_5^14 - 762513574795296549/51521299306245829*c_0101_5^13 - 1419368647580831564/51521299306245829*c_0101_5^12 + 1627220556496967086/51521299306245829*c_0101_5^11 - 1622324462616533093/51521299306245829*c_0101_5^10 + 10525693827420257250/51521299306245829*c_0101_5^9 - 1781879044584960176/51521299306245829*c_0101_5^8 + 10055729154475255651/51521299306245829*c_0101_5^7 - 4649299176691545576/51521299306245829*c_0101_5^6 + 2941165638576929076/51521299306245829*c_0101_5^5 - 3175879736455372680/51521299306245829*c_0101_5^4 - 884371211662811646/51521299306245829*c_0101_5^3 - 1321018058854358543/51521299306245829*c_0101_5^2 - 1318705005320523772/51521299306245829*c_0101_5 - 213308620964256110/51521299306245829, c_0101_0 - 32070582854374784/51521299306245829*c_0101_5^16 + 138190062363020713/51521299306245829*c_0101_5^15 + 116718499606183863/51521299306245829*c_0101_5^14 - 543823754162673811/51521299306245829*c_0101_5^13 - 955573612258682053/51521299306245829*c_0101_5^12 + 1198408752188081765/51521299306245829*c_0101_5^11 - 1303770194913936047/51521299306245829*c_0101_5^10 + 7750288244629096932/51521299306245829*c_0101_5^9 - 2064375717740554116/51521299306245829*c_0101_5^8 + 7690584957477962857/51521299306245829*c_0101_5^7 - 4196526012048140907/51521299306245829*c_0101_5^6 + 2576096088340960763/51521299306245829*c_0101_5^5 - 2550078981062488638/51521299306245829*c_0101_5^4 - 442124481014870558/51521299306245829*c_0101_5^3 - 921629336737315717/51521299306245829*c_0101_5^2 - 958642173113491376/51521299306245829*c_0101_5 - 95689330413330918/51521299306245829, c_0101_2 + 10926696859475717/51521299306245829*c_0101_5^16 - 49934404116189568/51521299306245829*c_0101_5^15 - 24893916751048753/51521299306245829*c_0101_5^14 + 183418232568769897/51521299306245829*c_0101_5^13 + 271371026803929371/51521299306245829*c_0101_5^12 - 439341329924883222/51521299306245829*c_0101_5^11 + 610895518306852883/51521299306245829*c_0101_5^10 - 2915453803145530902/51521299306245829*c_0101_5^9 + 1518401236923206407/51521299306245829*c_0101_5^8 - 3377557321504086696/51521299306245829*c_0101_5^7 + 2465362382974851066/51521299306245829*c_0101_5^6 - 1715720450088157067/51521299306245829*c_0101_5^5 + 1556416680354367169/51521299306245829*c_0101_5^4 - 266532455799457809/51521299306245829*c_0101_5^3 + 463668089958380963/51521299306245829*c_0101_5^2 + 234619338286633841/51521299306245829*c_0101_5 - 34845763986165071/51521299306245829, c_0101_5^17 - 4*c_0101_5^16 - 5*c_0101_5^15 + 16*c_0101_5^14 + 35*c_0101_5^13 - 29*c_0101_5^12 + 29*c_0101_5^11 - 226*c_0101_5^10 - 13*c_0101_5^9 - 214*c_0101_5^8 + 49*c_0101_5^7 - 39*c_0101_5^6 + 52*c_0101_5^5 + 38*c_0101_5^4 + 33*c_0101_5^3 + 37*c_0101_5^2 + 12*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB