Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3600239338] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0192 geometric_solution 4.00467077 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 1 -1 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 -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.997895487044 0.583219536791 0 0 2 3 0132 2310 2031 1302 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 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.253038935142 0.436561034600 2 0 2 1 2310 0132 3201 1302 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 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.464257147572 0.872191174384 4 4 1 0 0132 3201 2031 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 -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.407969213895 0.638355369069 3 5 3 5 0132 0132 2310 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 -2.377295593074 1.915536121956 4 4 6 6 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132817637019 0.049140099003 6 5 5 6 3201 3201 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 -2.615711745981 0.468368359058 ==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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_6, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 885385773224813113527500527753/21711158139464027755954628818*c_0101\ _6^18 + 772326496770693869755136000837/2171115813946402775595462881\ 8*c_0101_6^17 - 3047779885341022126214780105565/1085557906973201387\ 7977314409*c_0101_6^16 - 15885666874611888578225933806067/108555790\ 69732013877977314409*c_0101_6^15 + 225284197115824017998022223735969/21711158139464027755954628818*c_0\ 101_6^14 + 8242898242340628041519261910137/108555790697320138779773\ 14409*c_0101_6^13 - 142260884682330683365117454197551/2171115813946\ 4027755954628818*c_0101_6^12 - 25756920733305906806785801042557/108\ 55579069732013877977314409*c_0101_6^11 - 703949309798589469357480124112835/21711158139464027755954628818*c_0\ 101_6^10 + 154245997915077231628634098881429/2171115813946402775595\ 4628818*c_0101_6^9 + 428895835540148571912946318013081/217111581394\ 64027755954628818*c_0101_6^8 + 20091004868938500897268386833733/217\ 11158139464027755954628818*c_0101_6^7 + 201099548527795958081400949577685/10855579069732013877977314409*c_0\ 101_6^6 - 90684819155998334833239024311851/217111581394640277559546\ 28818*c_0101_6^5 - 57271038242441874198212966187694/108555790697320\ 13877977314409*c_0101_6^4 + 2936808751698766858065203752983/1085557\ 9069732013877977314409*c_0101_6^3 - 41121518117183328782115024338251/10855579069732013877977314409*c_01\ 01_6^2 + 1685751637908744896015629176585/31015940199234325365649469\ 74*c_0101_6 - 3661078927408636116405247666146/108555790697320138779\ 77314409, c_0011_0 - 1, c_0011_3 - 391567782524761054636951882/1550797009961716268282473487*c_0\ 101_6^18 + 471782849951031261018538497/1550797009961716268282473487\ *c_0101_6^17 - 2729376121273949178841051595/15507970099617162682824\ 73487*c_0101_6^16 - 13280813246676562538378534166/15507970099617162\ 68282473487*c_0101_6^15 + 104891320159533778055623513391/1550797009\ 961716268282473487*c_0101_6^14 - 23347479493780440444830467470/1550\ 797009961716268282473487*c_0101_6^13 - 87815453723868385519975129362/1550797009961716268282473487*c_0101_6\ ^12 + 10439182096461595920091607669/1550797009961716268282473487*c_\ 0101_6^11 - 285994826801493927942813188421/155079700996171626828247\ 3487*c_0101_6^10 + 168151051127316194945179692151/15507970099617162\ 68282473487*c_0101_6^9 + 221598708103866243528316448501/15507970099\ 61716268282473487*c_0101_6^8 - 110092525813100065621698775010/15507\ 97009961716268282473487*c_0101_6^7 + 135825222427201877668347236663/1550797009961716268282473487*c_0101_\ 6^6 - 72765333825344286875929424109/1550797009961716268282473487*c_\ 0101_6^5 - 57399502830400922255163660894/15507970099617162682824734\ 87*c_0101_6^4 + 39470284177185046822752136887/155079700996171626828\ 2473487*c_0101_6^3 - 27546654879355649895143305912/1550797009961716\ 268282473487*c_0101_6^2 + 10862863368801490106868359101/15507970099\ 61716268282473487*c_0101_6 - 1685315374572549513429390954/155079700\ 9961716268282473487, c_0011_6 + 187749252544298140223574782/1550797009961716268282473487*c_0\ 101_6^18 - 201311386822709305434145094/1550797009961716268282473487\ *c_0101_6^17 + 1273067507689674909583624845/15507970099617162682824\ 73487*c_0101_6^16 + 6562890024101849337052351579/155079700996171626\ 8282473487*c_0101_6^15 - 49527866489060936245525282810/155079700996\ 1716268282473487*c_0101_6^14 + 4475810843288015523602175502/1550797\ 009961716268282473487*c_0101_6^13 + 45406996129642834269181139500/1550797009961716268282473487*c_0101_6\ ^12 - 4325959096547844691504755480/1550797009961716268282473487*c_0\ 101_6^11 + 142314332868416223049522638003/1550797009961716268282473\ 487*c_0101_6^10 - 64153513119471168286995101266/1550797009961716268\ 282473487*c_0101_6^9 - 121459266616429169383405112326/1550797009961\ 716268282473487*c_0101_6^8 + 52146533113599531882222524237/15507970\ 09961716268282473487*c_0101_6^7 - 75682830947210552409952508427/155\ 0797009961716268282473487*c_0101_6^6 + 34061107096663181212678396237/1550797009961716268282473487*c_0101_6\ ^5 + 34860897593783538539687210072/1550797009961716268282473487*c_0\ 101_6^4 - 24027709919933372708590703436/155079700996171626828247348\ 7*c_0101_6^3 + 16952540115436277406526837176/1550797009961716268282\ 473487*c_0101_6^2 - 6567069127860403543235903949/155079700996171626\ 8282473487*c_0101_6 + 947126918947232872239140696/15507970099617162\ 68282473487, c_0101_0 - 312979211789307592564565823/1550797009961716268282473487*c_0\ 101_6^18 + 215053703315645626463894714/1550797009961716268282473487\ *c_0101_6^17 - 2056438782315399792330867080/15507970099617162682824\ 73487*c_0101_6^16 - 11679921569496870575754003840/15507970099617162\ 68282473487*c_0101_6^15 + 77867630492365174192610965713/15507970099\ 61716268282473487*c_0101_6^14 + 22250190561246999758991568625/15507\ 97009961716268282473487*c_0101_6^13 - 61824920911000237263941347416/1550797009961716268282473487*c_0101_6\ ^12 - 27252622102869007168856402201/1550797009961716268282473487*c_\ 0101_6^11 - 238112270978956230735419179826/155079700996171626828247\ 3487*c_0101_6^10 + 11372351212747229642852602481/155079700996171626\ 8282473487*c_0101_6^9 + 194892872195284793376512597608/155079700996\ 1716268282473487*c_0101_6^8 + 18571418716162593661529498278/1550797\ 009961716268282473487*c_0101_6^7 + 104336873384111055173145218412/1550797009961716268282473487*c_0101_\ 6^6 - 765088308426285186617680307/1550797009961716268282473487*c_01\ 01_6^5 - 54167226713289196257289771189/1550797009961716268282473487\ *c_0101_6^4 + 1895538580169719863744154247/155079700996171626828247\ 3487*c_0101_6^3 - 19096636213927850062279718651/1550797009961716268\ 282473487*c_0101_6^2 - 2995745051239442811271532770/155079700996171\ 6268282473487*c_0101_6 - 552644054490029052183591892/15507970099617\ 16268282473487, c_0101_2 + 344624019506500395890310239/1550797009961716268282473487*c_0\ 101_6^18 - 285266368333964902710729257/1550797009961716268282473487\ *c_0101_6^17 + 2357237188574514785554071320/15507970099617162682824\ 73487*c_0101_6^16 + 12456118011213797343374562118/15507970099617162\ 68282473487*c_0101_6^15 - 87134879856583329527545803568/15507970099\ 61716268282473487*c_0101_6^14 - 10514935976939482906008628566/15507\ 97009961716268282473487*c_0101_6^13 + 54962498064759511708886356702/1550797009961716268282473487*c_0101_6\ ^12 + 27143148558453228225336585903/1550797009961716268282473487*c_\ 0101_6^11 + 274793567457556225785199721021/155079700996171626828247\ 3487*c_0101_6^10 - 51401143626870550870371694066/155079700996171626\ 8282473487*c_0101_6^9 - 173768825573886058470484078332/155079700996\ 1716268282473487*c_0101_6^8 - 27126381824562395364165790658/1550797\ 009961716268282473487*c_0101_6^7 - 152830301683917333381734486940/1550797009961716268282473487*c_0101_\ 6^6 + 39617524028729964125910811761/1550797009961716268282473487*c_\ 0101_6^5 + 50211818815752121722752905148/15507970099617162682824734\ 87*c_0101_6^4 + 1963711876100970621334452143/1550797009961716268282\ 473487*c_0101_6^3 + 32551600219339324599449168595/15507970099617162\ 68282473487*c_0101_6^2 - 6715501537189034521840331713/1550797009961\ 716268282473487*c_0101_6 + 1622981816644687007449065221/15507970099\ 61716268282473487, c_0101_3 - 56332516391641620419172011/1550797009961716268282473487*c_01\ 01_6^18 + 67772402332322884468550487/1550797009961716268282473487*c\ _0101_6^17 - 374880776178461916837699147/15507970099617162682824734\ 87*c_0101_6^16 - 1937186162701417023943076685/155079700996171626828\ 2473487*c_0101_6^15 + 15221070592147596750399228192/155079700996171\ 6268282473487*c_0101_6^14 - 2765221716464891493788445335/1550797009\ 961716268282473487*c_0101_6^13 - 17478853355582093852856608202/1550\ 797009961716268282473487*c_0101_6^12 + 3991611216740518166718941952/1550797009961716268282473487*c_0101_6^\ 11 - 38667941287566125130457519426/1550797009961716268282473487*c_0\ 101_6^10 + 21634960567373521842425822757/15507970099617162682824734\ 87*c_0101_6^9 + 43191056353410399400285516527/155079700996171626828\ 2473487*c_0101_6^8 - 25451828710670485500056716192/1550797009961716\ 268282473487*c_0101_6^7 + 15597174825672588160195661849/15507970099\ 61716268282473487*c_0101_6^6 + 919546619095701296695988021/15507970\ 09961716268282473487*c_0101_6^5 - 12038754593218153572282186747/155\ 0797009961716268282473487*c_0101_6^4 + 6184109356566561028888444458/1550797009961716268282473487*c_0101_6^\ 3 - 3854326734030435221690024408/1550797009961716268282473487*c_010\ 1_6^2 - 3450434571015549004984875363/1550797009961716268282473487*c\ _0101_6 - 89086251248474716313938451/1550797009961716268282473487, c_0101_6^19 - c_0101_6^18 + 7*c_0101_6^17 + 35*c_0101_6^16 - 259*c_0101_6^15 + 14*c_0101_6^14 + 162*c_0101_6^13 + 38*c_0101_6^12 + 788*c_0101_6^11 - 275*c_0101_6^10 - 460*c_0101_6^9 + 38*c_0101_6^8 - 453*c_0101_6^7 + 160*c_0101_6^6 + 116*c_0101_6^5 - 23*c_0101_6^4 + 94*c_0101_6^3 - 25*c_0101_6^2 + 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB