Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 2614757042] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2529 geometric_solution 5.84293288 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 1 0 -1 0 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.494837733265 0.306349718142 2 0 3 0 0132 2310 0132 0132 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 1 -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 1.044233707683 0.598098391219 1 4 3 5 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 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.041178052770 0.842550451851 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -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 -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.041178052770 0.842550451851 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404253404844 0.639627963899 6 3 2 6 0132 1023 0132 3201 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 0 -1 0 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 0.696970140069 0.386074217525 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.409416316948 0.935009346871 ==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' : negation(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' : 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' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 328551464961068441773786612542298106334511180216247/163037823837525\ 9507226686535070748348745395932305*c_0101_6^23 - 242946219617887889142323442230240962172049794361843/163037823837525\ 9507226686535070748348745395932305*c_0101_6^22 - 14028633820279061226376921177787833748969592048905238/1630378238375\ 259507226686535070748348745395932305*c_0101_6^21 + 4356778048666392007035649342581411937001180839390236/32607564767505\ 1901445337307014149669749079186461*c_0101_6^20 - 1655178631342469659637863110077394936707980723694522/25082742128850\ 146265025946693396128442236860497*c_0101_6^19 + 99381096384828222748220784393999419023010791088399474/3260756476750\ 51901445337307014149669749079186461*c_0101_6^18 - 874785910557492788015895598800650190313937316105250454/163037823837\ 5259507226686535070748348745395932305*c_0101_6^17 + 833447638367995962178588499022429236520011916303802839/163037823837\ 5259507226686535070748348745395932305*c_0101_6^16 + 161534563802492588434674258014059019735482956037447926/163037823837\ 5259507226686535070748348745395932305*c_0101_6^15 - 407744800974783052421701931916744755268333582235133028/326075647675\ 051901445337307014149669749079186461*c_0101_6^14 + 2777903947337217573684281539907787513721905337205803219/16303782383\ 75259507226686535070748348745395932305*c_0101_6^13 - 2250211674593553948889392403326723266397379308530398234/16303782383\ 75259507226686535070748348745395932305*c_0101_6^12 + 228752543711558918128741507233601558104490221632422679/326075647675\ 051901445337307014149669749079186461*c_0101_6^11 + 31880141247201922342656399116512555591985005556107039/3260756476750\ 51901445337307014149669749079186461*c_0101_6^10 - 434966065718865113992343631834037409685409991423608968/163037823837\ 5259507226686535070748348745395932305*c_0101_6^9 + 489670664344378512933495575015128100436265383817041243/163037823837\ 5259507226686535070748348745395932305*c_0101_6^8 - 449295243123111865825972522196700451584128001541982578/163037823837\ 5259507226686535070748348745395932305*c_0101_6^7 + 198458430255122913811461193724166605501041085732783239/163037823837\ 5259507226686535070748348745395932305*c_0101_6^6 - 74113602465483425037208110666787426503860529594273526/1630378238375\ 259507226686535070748348745395932305*c_0101_6^5 - 48279646786462091462056407863340643700817836835008359/1630378238375\ 259507226686535070748348745395932305*c_0101_6^4 + 42714973213168449325448820573258013068492183844842664/1630378238375\ 259507226686535070748348745395932305*c_0101_6^3 - 20412389212907700606233961174198596010077761964336663/1630378238375\ 259507226686535070748348745395932305*c_0101_6^2 + 4568951590171747900176912896712126520368233549959298/16303782383752\ 59507226686535070748348745395932305*c_0101_6 - 234047768539950609688898895776187791335962582432344/163037823837525\ 9507226686535070748348745395932305, c_0011_0 - 1, c_0011_1 + 6420792530204174241944225693960438519266290/4530779192083423\ 438499038572359622472857469*c_0101_6^23 + 6388022588957039455503561983868693958183950/45307791920834234384990\ 38572359622472857469*c_0101_6^22 + 275658113778540897515550624797266393511812181/453077919208342343849\ 9038572359622472857469*c_0101_6^21 - 355363600531106764893306737203926105518399523/453077919208342343849\ 9038572359622472857469*c_0101_6^20 + 154322063647302297106734884327899349442276705/348521476314109495269\ 156813258432497912113*c_0101_6^19 - 9188245737096686864673017137862528961870788652/45307791920834234384\ 99038572359622472857469*c_0101_6^18 + 14704073278780532125793977099524503600798305177/4530779192083423438\ 499038572359622472857469*c_0101_6^17 - 12323075842060838007434622238803506310822282512/4530779192083423438\ 499038572359622472857469*c_0101_6^16 - 6699804669988380635488825616805592353026854979/45307791920834234384\ 99038572359622472857469*c_0101_6^15 + 38525670878147856891391583720942574550550322695/4530779192083423438\ 499038572359622472857469*c_0101_6^14 - 44419282622085914781411527172330593116688555488/4530779192083423438\ 499038572359622472857469*c_0101_6^13 + 31758846328990302692783193854232506267101807496/4530779192083423438\ 499038572359622472857469*c_0101_6^12 - 12943456728837265872561634608905872193346756852/4530779192083423438\ 499038572359622472857469*c_0101_6^11 - 7481188789091856375460350212806120653160390431/45307791920834234384\ 99038572359622472857469*c_0101_6^10 + 7132754474809619695635416955498546753520266927/45307791920834234384\ 99038572359622472857469*c_0101_6^9 - 7717401969735080241349482560928274826363751634/45307791920834234384\ 99038572359622472857469*c_0101_6^8 + 6593640830003353891534937346126807777935952505/45307791920834234384\ 99038572359622472857469*c_0101_6^7 - 1980327411007097146735007403661822541148044401/45307791920834234384\ 99038572359622472857469*c_0101_6^6 + 740849173483126587527857479052192020348284994/453077919208342343849\ 9038572359622472857469*c_0101_6^5 + 1245438489102735588574988581695073465323138530/45307791920834234384\ 99038572359622472857469*c_0101_6^4 - 551063938497490606812707105828316945389862896/453077919208342343849\ 9038572359622472857469*c_0101_6^3 + 244649030061143174096034965395366670250383761/453077919208342343849\ 9038572359622472857469*c_0101_6^2 - 9308283761529529736353421608664989848440712/45307791920834234384990\ 38572359622472857469*c_0101_6 - 78356933703685474828811217654729222\ 68705304/4530779192083423438499038572359622472857469, c_0011_3 + 3376995703903913217766737154397906889260786/4530779192083423\ 438499038572359622472857469*c_0101_6^23 + 3228877333381561459406943389614838701550074/45307791920834234384990\ 38572359622472857469*c_0101_6^22 + 144842055829043433210749062879600383437876848/453077919208342343849\ 9038572359622472857469*c_0101_6^21 - 192581905515328565855720062989536814644418810/453077919208342343849\ 9038572359622472857469*c_0101_6^20 + 81686745955885386088011981055975004816455405/3485214763141094952691\ 56813258432497912113*c_0101_6^19 - 4875131472428930620253686358242905731322486837/45307791920834234384\ 99038572359622472857469*c_0101_6^18 + 7920123629194020706657419622071495160866151286/45307791920834234384\ 99038572359622472857469*c_0101_6^17 - 6783121556997849211956569133416256429470162202/45307791920834234384\ 99038572359622472857469*c_0101_6^16 - 3225175932708686388284444859611338218974541080/45307791920834234384\ 99038572359622472857469*c_0101_6^15 + 20319574742227381257515800296987141110480185706/4530779192083423438\ 499038572359622472857469*c_0101_6^14 - 24070087447813573823651076849831888824922452276/4530779192083423438\ 499038572359622472857469*c_0101_6^13 + 17621803219126482484456593892031026605077998116/4530779192083423438\ 499038572359622472857469*c_0101_6^12 - 7652623670650282527272093534956171111029226208/45307791920834234384\ 99038572359622472857469*c_0101_6^11 - 3468146258993361240677347814571564490254014599/45307791920834234384\ 99038572359622472857469*c_0101_6^10 + 3762362831190128898942600377030236436044094081/45307791920834234384\ 99038572359622472857469*c_0101_6^9 - 4098905497900578545240921102558912800561231804/45307791920834234384\ 99038572359622472857469*c_0101_6^8 + 3615556701955302408934225404964376796118410719/45307791920834234384\ 99038572359622472857469*c_0101_6^7 - 1169515033642212995983181111158428389868036326/45307791920834234384\ 99038572359622472857469*c_0101_6^6 + 439780573534886741354354375306857226578068493/453077919208342343849\ 9038572359622472857469*c_0101_6^5 + 597103202428091750463412625284017693530871560/453077919208342343849\ 9038572359622472857469*c_0101_6^4 - 297716723590503537274448783196131763578908216/453077919208342343849\ 9038572359622472857469*c_0101_6^3 + 134107544290361759297870673609294662262908601/453077919208342343849\ 9038572359622472857469*c_0101_6^2 - 4576339621758800818152110547573518965979240/45307791920834234384990\ 38572359622472857469*c_0101_6 - 39345104709713080299784508063360779\ 66809591/4530779192083423438499038572359622472857469, c_0101_0 + 7554013622907779407415377267893173447982099/4530779192083423\ 438499038572359622472857469*c_0101_6^23 + 6340708975317622899549581487145703906912661/45307791920834234384990\ 38572359622472857469*c_0101_6^22 + 323147310300001008779666156643336264864286705/453077919208342343849\ 9038572359622472857469*c_0101_6^21 - 468587641158187743046880790339493987483609005/453077919208342343849\ 9038572359622472857469*c_0101_6^20 + 186573244099988418356121596160623067710472384/348521476314109495269\ 156813258432497912113*c_0101_6^19 - 11180654477851180484094011719254100354952319741/4530779192083423438\ 499038572359622472857469*c_0101_6^18 + 18985421810405213741922925911102733723732162256/4530779192083423438\ 499038572359622472857469*c_0101_6^17 - 17220741369391391697828927896218754051957788950/4530779192083423438\ 499038572359622472857469*c_0101_6^16 - 5509417262731034047184397255513917886951536595/45307791920834234384\ 99038572359622472857469*c_0101_6^15 + 46394713645893822605225866416870620010754771373/4530779192083423438\ 499038572359622472857469*c_0101_6^14 - 59194707861223826548373397396841118463434480773/4530779192083423438\ 499038572359622472857469*c_0101_6^13 + 45596890703535110726868458784021438367047311598/4530779192083423438\ 499038572359622472857469*c_0101_6^12 - 21457280974845475015046113829473743333735011319/4530779192083423438\ 499038572359622472857469*c_0101_6^11 - 6027457112466900161588334382529623972494783793/45307791920834234384\ 99038572359622472857469*c_0101_6^10 + 9411010568007754362540452177567884683586809568/45307791920834234384\ 99038572359622472857469*c_0101_6^9 - 10172592178118050556481650975852334171239603149/4530779192083423438\ 499038572359622472857469*c_0101_6^8 + 9174894480062203736317797900912284187296351543/45307791920834234384\ 99038572359622472857469*c_0101_6^7 - 3510668440120354249792511944844083232391960785/45307791920834234384\ 99038572359622472857469*c_0101_6^6 + 1302316407506909077424636307336557575558403710/45307791920834234384\ 99038572359622472857469*c_0101_6^5 + 1269380994040024633540354145226280831821255503/45307791920834234384\ 99038572359622472857469*c_0101_6^4 - 865271195342831222944845671064404682252780481/453077919208342343849\ 9038572359622472857469*c_0101_6^3 + 358607166545394673956530292513068678388743031/453077919208342343849\ 9038572359622472857469*c_0101_6^2 - 59324782773854363535612120454737892711380853/4530779192083423438499\ 038572359622472857469*c_0101_6 - 9208800797757814928906472377277736\ 468936973/4530779192083423438499038572359622472857469, c_0101_1 + 11589160149126850714739799203599125243910128/453077919208342\ 3438499038572359622472857469*c_0101_6^23 + 10483104835878572367586974407985574505388489/4530779192083423438499\ 038572359622472857469*c_0101_6^22 + 496292235452603137359384007424875589543726409/453077919208342343849\ 9038572359622472857469*c_0101_6^21 - 686601867668807501681208666791773152676470126/453077919208342343849\ 9038572359622472857469*c_0101_6^20 + 282293566749755811407943065307010503613944602/348521476314109495269\ 156813258432497912113*c_0101_6^19 - 16900968813167480515239629378625944644981037268/4530779192083423438\ 499038572359622472857469*c_0101_6^18 + 27973735931500551422882532389683150685120290734/4530779192083423438\ 499038572359622472857469*c_0101_6^17 - 24345549064481961575949507626213141305832870816/4530779192083423438\ 499038572359622472857469*c_0101_6^16 - 10521840058096781327411671146221607431609003590/4530779192083423438\ 499038572359622472857469*c_0101_6^15 + 70950983531567454493308716921465191309307977458/4530779192083423438\ 499038572359622472857469*c_0101_6^14 - 86152960034375581953746900118184559723823673330/4530779192083423438\ 499038572359622472857469*c_0101_6^13 + 63310815123251013522678346939108741683697089986/4530779192083423438\ 499038572359622472857469*c_0101_6^12 - 27280154329355024746968493616076738116552336607/4530779192083423438\ 499038572359622472857469*c_0101_6^11 - 12166733849832964593789376663426553549761932647/4530779192083423438\ 499038572359622472857469*c_0101_6^10 + 14310782873192855522585877251060595453773096993/4530779192083423438\ 499038572359622472857469*c_0101_6^9 - 14756894872582066385414380885843658202595614059/4530779192083423438\ 499038572359622472857469*c_0101_6^8 + 12958288359009034966832332567943695038345795324/4530779192083423438\ 499038572359622472857469*c_0101_6^7 - 4449616270724597680245805780024008741522061027/45307791920834234384\ 99038572359622472857469*c_0101_6^6 + 1496741251390156599274958357977074744730421333/45307791920834234384\ 99038572359622472857469*c_0101_6^5 + 2146816286175097558385758627345367618929990383/45307791920834234384\ 99038572359622472857469*c_0101_6^4 - 1198837547355146223192426657138911216568611674/45307791920834234384\ 99038572359622472857469*c_0101_6^3 + 481559850157156300039977157709591435381928216/453077919208342343849\ 9038572359622472857469*c_0101_6^2 - 43292999458232659074049648362756070996665258/4530779192083423438499\ 038572359622472857469*c_0101_6 - 1283171468456317527980751012756427\ 3327510322/4530779192083423438499038572359622472857469, c_0101_3 - 1058283691679913803885732068633170931984653/4530779192083423\ 438499038572359622472857469*c_0101_6^23 - 559730286461531123438127619613029006249302/453077919208342343849903\ 8572359622472857469*c_0101_6^22 - 448606957917772239299191734284248\ 52835946863/4530779192083423438499038572359622472857469*c_0101_6^21 + 79859936800863903970841734657592372969787675/45307791920834234384\ 99038572359622472857469*c_0101_6^20 - 27252318495370944715558705920887663161834540/3485214763141094952691\ 56813258432497912113*c_0101_6^19 + 1665454113115881584155043709608187428990232979/45307791920834234384\ 99038572359622472857469*c_0101_6^18 - 3101796520836962313673057106285154092411236657/45307791920834234384\ 99038572359622472857469*c_0101_6^17 + 3048482866409765103257902817743170372265363473/45307791920834234384\ 99038572359622472857469*c_0101_6^16 + 323149758213592641857117585177777043948621710/453077919208342343849\ 9038572359622472857469*c_0101_6^15 - 7054563486685733316644257237201256955834429985/45307791920834234384\ 99038572359622472857469*c_0101_6^14 + 10287777131821593253646051018829919817395786659/4530779192083423438\ 499038572359622472857469*c_0101_6^13 - 8297404855655122231850639304955497552419706602/45307791920834234384\ 99038572359622472857469*c_0101_6^12 + 4097249767089536503982472487173612986205888814/45307791920834234384\ 99038572359622472857469*c_0101_6^11 + 847283942959627392615416442433594100947065280/453077919208342343849\ 9038572359622472857469*c_0101_6^10 - 2174411357447342464766824613544241575800167304/45307791920834234384\ 99038572359622472857469*c_0101_6^9 + 1921048062818779263267120512526340846306596471/45307791920834234384\ 99038572359622472857469*c_0101_6^8 - 1759443550145198310253427028275869660993585854/45307791920834234384\ 99038572359622472857469*c_0101_6^7 + 730342014773726266396890458990698720164516472/453077919208342343849\ 9038572359622472857469*c_0101_6^6 - 207272790230083437027081332252941761231476266/453077919208342343849\ 9038572359622472857469*c_0101_6^5 - 174151661189930208772217841990804308542849324/453077919208342343849\ 9038572359622472857469*c_0101_6^4 + 247919349822496064578897142343922916125292899/453077919208342343849\ 9038572359622472857469*c_0101_6^3 - 73970729954337598782961010771938054938265931/4530779192083423438499\ 038572359622472857469*c_0101_6^2 + 18246072572937204253124647855138907541562692/4530779192083423438499\ 038572359622472857469*c_0101_6 + 5784152712112042716012634884643516\ 36536676/4530779192083423438499038572359622472857469, c_0101_6^24 + 42*c_0101_6^22 - 98*c_0101_6^21 + 370*c_0101_6^20 - 1745*c_0101_6^19 + 3732*c_0101_6^18 - 4280*c_0101_6^17 + 998*c_0101_6^16 + 6923*c_0101_6^15 - 12941*c_0101_6^14 + 12168*c_0101_6^13 - 7337*c_0101_6^12 + 1146*c_0101_6^11 + 2137*c_0101_6^10 - 2361*c_0101_6^9 + 2278*c_0101_6^8 - 1405*c_0101_6^7 + 481*c_0101_6^6 + 57*c_0101_6^5 - 267*c_0101_6^4 + 134*c_0101_6^3 - 42*c_0101_6^2 + 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB