Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 728413776] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3285 geometric_solution 6.40981699 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.653877128519 0.526376702505 0 5 4 2 0132 0132 1230 2103 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 -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.872123971983 1.326308598399 6 0 6 1 0132 0132 1023 2103 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 0.341912447563 1.173333817965 6 5 5 0 3012 3201 1230 0132 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 -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.728085688863 0.587144457491 4 4 0 1 1302 2031 0132 3012 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 -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.779615765822 0.748415987744 6 1 3 3 1023 0132 2310 3012 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.167756911734 0.671139295876 2 5 2 3 0132 1023 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.371958668449 0.805985602458 ==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' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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_1001_0']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0101_6']})} 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_3, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 10413663985717188860669/2347834484883335256832*c_1001_0^18 + 64885881369619543431207/2347834484883335256832*c_1001_0^17 + 13880080380895497149599/2347834484883335256832*c_1001_0^16 - 694132974726056441339595/2347834484883335256832*c_1001_0^15 + 406746420429326899365231/2347834484883335256832*c_1001_0^14 + 3239143359850536292986853/2347834484883335256832*c_1001_0^13 - 1224020569004567751240207/1173917242441667628416*c_1001_0^12 - 9310527183089302270179219/2347834484883335256832*c_1001_0^11 + 107741350646347784726417/39793804828531106048*c_1001_0^10 + 17438410024693036907757535/2347834484883335256832*c_1001_0^9 - 11500330496694586509574763/2347834484883335256832*c_1001_0^8 - 21047218769413859884340985/2347834484883335256832*c_1001_0^7 + 4782846644471894866484189/586958621220833814208*c_1001_0^6 + 16084840612364289205277173/2347834484883335256832*c_1001_0^5 - 13566170009449014657427101/1173917242441667628416*c_1001_0^4 - 13527493661788582927681583/2347834484883335256832*c_1001_0^3 + 9890690758889276989056109/1173917242441667628416*c_1001_0^2 + 1808494766632089441074223/293479310610416907104*c_1001_0 + 67420479722807882794077/73369827652604226776, c_0011_0 - 1, c_0011_3 - 3369308540756901479119/586958621220833814208*c_1001_0^18 + 21133710862445509451811/586958621220833814208*c_1001_0^17 + 3437750591781432455423/586958621220833814208*c_1001_0^16 - 223418982977549798757975/586958621220833814208*c_1001_0^15 + 139466764947077883037411/586958621220833814208*c_1001_0^14 + 1032358714976696668849665/586958621220833814208*c_1001_0^13 - 203909651144573857304491/146739655305208453552*c_1001_0^12 - 2948444915451884300919745/586958621220833814208*c_1001_0^11 + 35591644179413128099001/9948451207132776512*c_1001_0^10 + 5498424008624257495181231/586958621220833814208*c_1001_0^9 - 3770423722465278064678231/586958621220833814208*c_1001_0^8 - 6585378201672470514585237/586958621220833814208*c_1001_0^7 + 3091688764721268357221939/293479310610416907104*c_1001_0^6 + 4946748245665431807456659/586958621220833814208*c_1001_0^5 - 2164918433265699707311927/146739655305208453552*c_1001_0^4 - 4157121442197548639276069/586958621220833814208*c_1001_0^3 + 196556523206239013378063/18342456913151056694*c_1001_0^2 + 71095808964115185056315/9171228456575528347*c_1001_0 + 10605211680055270341693/9171228456575528347, c_0011_4 + 48333748636636010865/36684913826302113388*c_1001_0^18 - 1307931316194989286557/146739655305208453552*c_1001_0^17 + 513861390760504109665/146739655305208453552*c_1001_0^16 + 12067144261773829987821/146739655305208453552*c_1001_0^15 - 13407845360364753193669/146739655305208453552*c_1001_0^14 - 48866429793381409783111/146739655305208453552*c_1001_0^13 + 63538793289362856351975/146739655305208453552*c_1001_0^12 + 15795639033619014256693/18342456913151056694*c_1001_0^11 - 2586807846552053348993/2487112801783194128*c_1001_0^10 - 218533347549414009223743/146739655305208453552*c_1001_0^9 + 256006335298720878398541/146739655305208453552*c_1001_0^8 + 225427558089093934342411/146739655305208453552*c_1001_0^7 - 359271480039230795814427/146739655305208453552*c_1001_0^6 - 52893436400040828561525/73369827652604226776*c_1001_0^5 + 425287824099699351005717/146739655305208453552*c_1001_0^4 + 10132224202287558581591/18342456913151056694*c_1001_0^3 - 292430265370479928004995/146739655305208453552*c_1001_0^2 - 10382042309948564352960/9171228456575528347*c_1001_0 - 1399750857228695420215/9171228456575528347, c_0101_0 + 1, c_0101_3 - 16762507950008164803/36684913826302113388*c_1001_0^18 + 173716286030437074967/73369827652604226776*c_1001_0^17 + 308214620675421286549/73369827652604226776*c_1001_0^16 - 2520455953091842393403/73369827652604226776*c_1001_0^15 - 672642771427065255061/73369827652604226776*c_1001_0^14 + 14299517019743989837993/73369827652604226776*c_1001_0^13 - 1836258831123470531043/73369827652604226776*c_1001_0^12 - 22919544484182182858089/36684913826302113388*c_1001_0^11 + 153564564971241472855/1243556400891597064*c_1001_0^10 + 91892852883387201942877/73369827652604226776*c_1001_0^9 - 23273323064029540327987/73369827652604226776*c_1001_0^8 - 123725207587849841563925/73369827652604226776*c_1001_0^7 + 61155373230784628075963/73369827652604226776*c_1001_0^6 + 14578770681019447173936/9171228456575528347*c_1001_0^5 - 114765707820306913282789/73369827652604226776*c_1001_0^4 - 50140453761059202078105/36684913826302113388*c_1001_0^3 + 89339753890415570605043/73369827652604226776*c_1001_0^2 + 20186836822315662750757/18342456913151056694*c_1001_0 + 1606641706057907887045/9171228456575528347, c_0101_6 - 408306375262301728469/146739655305208453552*c_1001_0^18 + 2601308913740274650739/146739655305208453552*c_1001_0^17 + 116798857599309736019/146739655305208453552*c_1001_0^16 - 26762162032049831849255/146739655305208453552*c_1001_0^15 + 19195547705973771308907/146739655305208453552*c_1001_0^14 + 120751406521739354460041/146739655305208453552*c_1001_0^13 - 53011351970928215210861/73369827652604226776*c_1001_0^12 - 339227323205653004361803/146739655305208453552*c_1001_0^11 + 4549570049026471016333/2487112801783194128*c_1001_0^10 + 625200300835631019962435/146739655305208453552*c_1001_0^9 - 474398034611737469164903/146739655305208453552*c_1001_0^8 - 733162981648370283365117/146739655305208453552*c_1001_0^7 + 47010220494442980274636/9171228456575528347*c_1001_0^6 + 523213658813429675366693/146739655305208453552*c_1001_0^5 - 509917221221793680893535/73369827652604226776*c_1001_0^4 - 435764922028939699453255/146739655305208453552*c_1001_0^3 + 366659845245585152790803/73369827652604226776*c_1001_0^2 + 63787733799028842340727/18342456913151056694*c_1001_0 + 4700001618802612582405/9171228456575528347, c_1001_0^19 - 5*c_1001_0^18 - 9*c_1001_0^17 + 65*c_1001_0^16 + 43*c_1001_0^15 - 359*c_1001_0^14 - 148*c_1001_0^13 + 1183*c_1001_0^12 + 491*c_1001_0^11 - 2425*c_1001_0^10 - 959*c_1001_0^9 + 3379*c_1001_0^8 + 654*c_1001_0^7 - 3805*c_1001_0^6 + 700*c_1001_0^5 + 4507*c_1001_0^4 - 296*c_1001_0^3 - 3728*c_1001_0^2 - 1920*c_1001_0 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB