Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 2227509348] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1977 geometric_solution 5.54933738 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516877243411 0.783312408316 3 2 4 0 0132 3012 0132 0132 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 1 0 0 -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 0.944078605794 0.948358177354 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 -1 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 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 0 0 0 0.944078605794 0.948358177354 1 5 5 2 0132 0132 1023 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 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.692418977994 0.300080428675 2 4 4 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216150391830 0.573343324413 6 3 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.087011659854 0.342820359478 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.172163081886 0.196296536438 ==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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 611903812310969179291570647734095749837125647/133116112110326206839\ 792562905271572558529077*c_0101_6^23 + 1520661427399582511716600199372809670966084967/44372037370108735613\ 264187635090524186176359*c_0101_6^22 + 4597284005166482312982282944552498055110181170/13311611211032620683\ 9792562905271572558529077*c_0101_6^21 + 2963226394438130894089609759150961439142380867/44372037370108735613\ 264187635090524186176359*c_0101_6^20 - 30779922639870413946934530984909190183529999027/1331161121103262068\ 39792562905271572558529077*c_0101_6^19 - 2188787527338073448832582170623404325642386684/15300702541416805383\ 88420263278983592626771*c_0101_6^18 + 43610983874119072049431005342855416763622510830/4437203737010873561\ 3264187635090524186176359*c_0101_6^17 - 73603989977785557347000650445265511116816103756/1331161121103262068\ 39792562905271572558529077*c_0101_6^16 + 91206860536133665464540491549441697189226749862/4437203737010873561\ 3264187635090524186176359*c_0101_6^15 + 789228038887647967624712231895002114351845464780/443720373701087356\ 13264187635090524186176359*c_0101_6^14 - 43049776757965068730743120584208120660172596452/3246734441715273337\ 555916168421257867281197*c_0101_6^13 - 3698998269967226124671209217955560263599258415381/13311611211032620\ 6839792562905271572558529077*c_0101_6^12 + 46738458155344902649139132345869370524364948535/4437203737010873561\ 3264187635090524186176359*c_0101_6^11 + 1044767780997789719920054604250960574704341133907/44372037370108735\ 613264187635090524186176359*c_0101_6^10 + 489458844080718986201759913368421584220391965268/443720373701087356\ 13264187635090524186176359*c_0101_6^9 - 1455885104637045437652676209207579328045907441393/13311611211032620\ 6839792562905271572558529077*c_0101_6^8 - 706826202478376289896850415032718384211826997436/133116112110326206\ 839792562905271572558529077*c_0101_6^7 + 128903464484459509441067847708709889796772602443/133116112110326206\ 839792562905271572558529077*c_0101_6^6 + 152314492533070765956927810801644160178891219763/443720373701087356\ 13264187635090524186176359*c_0101_6^5 + 9601586495256966645940890366448690109071836463/12101464737302382439\ 981142082297415687139007*c_0101_6^4 + 69640706413741318878974440215301061421718801370/1331161121103262068\ 39792562905271572558529077*c_0101_6^3 + 9554725466104818708872345854125663468171797092/13311611211032620683\ 9792562905271572558529077*c_0101_6^2 + 3248377806217020005849539130240866710805111292/13311611211032620683\ 9792562905271572558529077*c_0101_6 - 2299476770435540016926766804653491437569520672/44372037370108735613\ 264187635090524186176359, c_0011_0 - 1, c_0011_1 - 265980448085935766070564601572273269798/33926169714893138323\ 46829852059830582321*c_0101_6^23 + 2014998746943818829855791802697012971291/33926169714893138323468298\ 52059830582321*c_0101_6^22 + 17027382177887845639582468131373438731\ 26/3392616971489313832346829852059830582321*c_0101_6^21 + 3940080452058265136238025201454184266093/33926169714893138323468298\ 52059830582321*c_0101_6^20 - 12808365144778139736618331658497561200\ 988/3392616971489313832346829852059830582321*c_0101_6^19 - 78382500657127870375871713422832156119005/3392616971489313832346829\ 852059830582321*c_0101_6^18 + 6897125108097986800113154381915465347\ 9496/3392616971489313832346829852059830582321*c_0101_6^17 - 53325523631640375766618889482923774746948/3392616971489313832346829\ 852059830582321*c_0101_6^16 + 1062999089819167202824333181378762131\ 60187/3392616971489313832346829852059830582321*c_0101_6^15 + 978218384279777162762582486539445006196874/339261697148931383234682\ 9852059830582321*c_0101_6^14 - 925387668957974648905176470651496856\ 415961/3392616971489313832346829852059830582321*c_0101_6^13 - 1350086737239192367665191616319435560705685/33926169714893138323468\ 29852059830582321*c_0101_6^12 + 41247828344931924257603013661460438\ 7939093/3392616971489313832346829852059830582321*c_0101_6^11 + 1305244194799837112767841391078596497155141/33926169714893138323468\ 29852059830582321*c_0101_6^10 + 28038510268232611390757265317917744\ 6991174/3392616971489313832346829852059830582321*c_0101_6^9 - 838743781016676788994730055064678666596569/339261697148931383234682\ 9852059830582321*c_0101_6^8 - 1403199854328699657520574965700271693\ 41092/3392616971489313832346829852059830582321*c_0101_6^7 + 174631346718370064048445677040404592865758/339261697148931383234682\ 9852059830582321*c_0101_6^6 + 1802780667087453418261584814195707522\ 98329/3392616971489313832346829852059830582321*c_0101_6^5 - 24476182209891219760248313629281069689435/3392616971489313832346829\ 852059830582321*c_0101_6^4 + 63459294402205736410043402430309219649\ 2/3392616971489313832346829852059830582321*c_0101_6^3 - 1536941234643188696183687692851143499273/33926169714893138323468298\ 52059830582321*c_0101_6^2 - 232239749713150080723395828436741542272\ 6/3392616971489313832346829852059830582321*c_0101_6 - 1915569823174712758579476440860385598909/33926169714893138323468298\ 52059830582321, c_0011_4 + 2757681721534404773598164353434773870866/3392616971489313832\ 346829852059830582321*c_0101_6^23 - 18403521354712597375737314566154517535205/3392616971489313832346829\ 852059830582321*c_0101_6^22 - 3255643002488806488521304033665662173\ 4543/3392616971489313832346829852059830582321*c_0101_6^21 - 80219314242629979221482471795546122768869/3392616971489313832346829\ 852059830582321*c_0101_6^20 + 3145573427733798189336057117336990295\ 3415/3392616971489313832346829852059830582321*c_0101_6^19 + 774808546629714770985684558350349716268203/339261697148931383234682\ 9852059830582321*c_0101_6^18 - 398833676640541839179335913366582820\ 56263/3392616971489313832346829852059830582321*c_0101_6^17 + 1000329509130794277282635879575583451859571/33926169714893138323468\ 29852059830582321*c_0101_6^16 + 14633955989443306779802067499616297\ 1117020/3392616971489313832346829852059830582321*c_0101_6^15 - 9371161880484031769700739901183974708105049/33926169714893138323468\ 29852059830582321*c_0101_6^14 + 18106513898846353699196612740476006\ 80286679/3392616971489313832346829852059830582321*c_0101_6^13 + 10041840135765879172304849282816696049036154/3392616971489313832346\ 829852059830582321*c_0101_6^12 + 1421892419216767617253439214919610\ 954092686/3392616971489313832346829852059830582321*c_0101_6^11 - 5600207715690143053326659507220018364295475/33926169714893138323468\ 29852059830582321*c_0101_6^10 - 31044556273200947247746094856035241\ 49113452/3392616971489313832346829852059830582321*c_0101_6^9 + 3136430621044674111918265935699424235392601/33926169714893138323468\ 29852059830582321*c_0101_6^8 + 925837223151954177138897098295071487\ 594569/3392616971489313832346829852059830582321*c_0101_6^7 + 3384146479110638603676249273037576222455/33926169714893138323468298\ 52059830582321*c_0101_6^6 - 353950580972432945770774180230382160871\ 807/3392616971489313832346829852059830582321*c_0101_6^5 + 20294509924130791563949891355210171936646/3392616971489313832346829\ 852059830582321*c_0101_6^4 - 69870649311760140015149957072249699059\ 635/3392616971489313832346829852059830582321*c_0101_6^3 - 13603836418658315284133417523426178189972/3392616971489313832346829\ 852059830582321*c_0101_6^2 + 13495126050263820419428220636640040713\ 055/3392616971489313832346829852059830582321*c_0101_6 + 1559439942045966212746478466758565321104/33926169714893138323468298\ 52059830582321, c_0101_0 + 1901755777502930419371836246733694463854/3392616971489313832\ 346829852059830582321*c_0101_6^23 - 11219456156807496600652927139756096923473/3392616971489313832346829\ 852059830582321*c_0101_6^22 - 3189935321105432410443218536737953513\ 5646/3392616971489313832346829852059830582321*c_0101_6^21 - 75019246646028464625252775987259018966738/3392616971489313832346829\ 852059830582321*c_0101_6^20 - 2666401773189993346489366974161375845\ 8088/3392616971489313832346829852059830582321*c_0101_6^19 + 537063682330790938945281651069949316097481/339261697148931383234682\ 9852059830582321*c_0101_6^18 + 382683866313865461727136998576999651\ 355500/3392616971489313832346829852059830582321*c_0101_6^17 + 770859441814022573017275048259645512092909/339261697148931383234682\ 9852059830582321*c_0101_6^16 + 681025719717647725378392618781330462\ 344569/3392616971489313832346829852059830582321*c_0101_6^15 - 6209539751241581519848395620709408279582573/33926169714893138323468\ 29852059830582321*c_0101_6^14 - 36465829824538251712434892570691484\ 95498644/3392616971489313832346829852059830582321*c_0101_6^13 + 6685494952326539461186526397501644524477344/33926169714893138323468\ 29852059830582321*c_0101_6^12 + 59913798211013620511292123029101430\ 18957780/3392616971489313832346829852059830582321*c_0101_6^11 - 2096822061219177081773057616308391472500886/33926169714893138323468\ 29852059830582321*c_0101_6^10 - 44087456399848888323657971271820982\ 76474600/3392616971489313832346829852059830582321*c_0101_6^9 + 333597040480506883724504139786236221326133/339261697148931383234682\ 9852059830582321*c_0101_6^8 + 1831377255943190953806633291513947273\ 374148/3392616971489313832346829852059830582321*c_0101_6^7 + 532621449723854615810011429639159175975669/339261697148931383234682\ 9852059830582321*c_0101_6^6 - 1617186121543704189794127729773596918\ 78839/3392616971489313832346829852059830582321*c_0101_6^5 - 46972389346926186483586772837220670902512/3392616971489313832346829\ 852059830582321*c_0101_6^4 + 16704494984902510798407929143844394354\ 16/3392616971489313832346829852059830582321*c_0101_6^3 - 35344550779765294713446878743378843282143/3392616971489313832346829\ 852059830582321*c_0101_6^2 - 89612130287073074596100582764658663441\ 70/3392616971489313832346829852059830582321*c_0101_6 + 3050733188653535227725199853711674853290/33926169714893138323468298\ 52059830582321, c_0101_1 + 4001754763062869874079631508701577114616/3392616971489313832\ 346829852059830582321*c_0101_6^23 - 25815857717782151918022619072746426881682/3392616971489313832346829\ 852059830582321*c_0101_6^22 - 5279262971577776098541336911503800502\ 1945/3392616971489313832346829852059830582321*c_0101_6^21 - 129357088637797195249171670277785278139438/339261697148931383234682\ 9852059830582321*c_0101_6^20 + 141378887693055304224196110031491865\ 52439/3392616971489313832346829852059830582321*c_0101_6^19 + 1120484730318208615505687148089098903050424/33926169714893138323468\ 29852059830582321*c_0101_6^18 + 19025438124571044175777753069010832\ 5279831/3392616971489313832346829852059830582321*c_0101_6^17 + 1546486890499179413231087355192106268787100/33926169714893138323468\ 29852059830582321*c_0101_6^16 + 57582480985422085575294636902114991\ 1091230/3392616971489313832346829852059830582321*c_0101_6^15 - 13382602483618482705686894609921458738956068/3392616971489313832346\ 829852059830582321*c_0101_6^14 - 3051130087736199928449539662746444\ 14208665/3392616971489313832346829852059830582321*c_0101_6^13 + 13886220771757910746290348159057387672188230/3392616971489313832346\ 829852059830582321*c_0101_6^12 + 5018856761191326967179623343407586\ 736350264/3392616971489313832346829852059830582321*c_0101_6^11 - 6483190618060313678860792816219609425415612/33926169714893138323468\ 29852059830582321*c_0101_6^10 - 55722640891615835377031759546393963\ 46510180/3392616971489313832346829852059830582321*c_0101_6^9 + 3148184677018128681571143319281406040336993/33926169714893138323468\ 29852059830582321*c_0101_6^8 + 178911626035866135153577063246561583\ 3274127/3392616971489313832346829852059830582321*c_0101_6^7 + 458202390838304250448388863076380775022691/339261697148931383234682\ 9852059830582321*c_0101_6^6 - 3842333377130901401867301308240466200\ 82521/3392616971489313832346829852059830582321*c_0101_6^5 + 16314121737069437633869358823081712103694/3392616971489313832346829\ 852059830582321*c_0101_6^4 - 87156383776220594799600210073278006240\ 728/3392616971489313832346829852059830582321*c_0101_6^3 - 27560060650193617586353143496466656232749/3392616971489313832346829\ 852059830582321*c_0101_6^2 + 28875228075736739971253709522078346811\ 70/3392616971489313832346829852059830582321*c_0101_6 + 2232472642959133882085395406951103148825/33926169714893138323468298\ 52059830582321, c_0101_5 + 187432362686665856511726979483301103347/33926169714893138323\ 46829852059830582321*c_0101_6^23 - 765820035034243500405806147765320378886/339261697148931383234682985\ 2059830582321*c_0101_6^22 - 523254671022730131728832806345489378721\ 7/3392616971489313832346829852059830582321*c_0101_6^21 - 12542118500768673549036460100643656073127/3392616971489313832346829\ 852059830582321*c_0101_6^20 - 1502580890477259700381123689310973625\ 1651/3392616971489313832346829852059830582321*c_0101_6^19 + 50453436493041591095682086657638260788787/3392616971489313832346829\ 852059830582321*c_0101_6^18 + 1324566902712553494716788539322711759\ 42005/3392616971489313832346829852059830582321*c_0101_6^17 + 120203710461138400412878780846944839103276/339261697148931383234682\ 9852059830582321*c_0101_6^16 + 205701778037639472042975192663187687\ 997797/3392616971489313832346829852059830582321*c_0101_6^15 - 513934349706530364492183408942247834372187/339261697148931383234682\ 9852059830582321*c_0101_6^14 - 147166894766915199588367053485870877\ 3408380/3392616971489313832346829852059830582321*c_0101_6^13 + 297879103467161319150983613081799429802191/339261697148931383234682\ 9852059830582321*c_0101_6^12 + 174126755808840461866195271654971874\ 5011171/3392616971489313832346829852059830582321*c_0101_6^11 + 485150923653366248273386171395523395160113/339261697148931383234682\ 9852059830582321*c_0101_6^10 - 875968742463372551677517721471518468\ 976967/3392616971489313832346829852059830582321*c_0101_6^9 - 495432293140402428578188361648918447529845/339261697148931383234682\ 9852059830582321*c_0101_6^8 + 3738951919752243446866518222089360229\ 73944/3392616971489313832346829852059830582321*c_0101_6^7 + 233488350595330174484848710644668448661957/339261697148931383234682\ 9852059830582321*c_0101_6^6 + 2276640905674264489987502845688427406\ 2204/3392616971489313832346829852059830582321*c_0101_6^5 - 10060941133377250085890824256844895635230/3392616971489313832346829\ 852059830582321*c_0101_6^4 + 14656623079160766969551740496903408462\ 277/3392616971489313832346829852059830582321*c_0101_6^3 - 7307134250819098665029331954493902433268/33926169714893138323468298\ 52059830582321*c_0101_6^2 - 106159687490499973665118876904064857208\ 59/3392616971489313832346829852059830582321*c_0101_6 + 387451762149275322302175961368742970230/339261697148931383234682985\ 2059830582321, c_0101_6^24 - 6*c_0101_6^23 - 16*c_0101_6^22 - 39*c_0101_6^21 - 12*c_0101_6^20 + 279*c_0101_6^19 + 176*c_0101_6^18 + 436*c_0101_6^17 + 306*c_0101_6^16 - 3239*c_0101_6^15 - 1592*c_0101_6^14 + 3088*c_0101_6^13 + 3019*c_0101_6^12 - 734*c_0101_6^11 - 2220*c_0101_6^10 - 37*c_0101_6^9 + 782*c_0101_6^8 + 459*c_0101_6^7 - 64*c_0101_6^6 - 43*c_0101_6^5 - 29*c_0101_6^4 - 12*c_0101_6^3 - 7*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB