Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 458917824] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1755 geometric_solution 5.44507903 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 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 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.468897992632 0.610813096089 0 3 2 4 0132 0132 1230 0132 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 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.764953289052 0.891947963120 3 0 4 1 3201 0132 3201 3012 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 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.764953289052 0.891947963120 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.240743383180 0.939462928835 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 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 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.824633218110 0.452338967720 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 -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 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800114593389 0.443906246587 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 0 0 1 -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 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 0.763822763653 0.186566289442 ==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' : 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' : 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_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2965925066552165292509193746289076808/62194822345758855853713501511\ 119401*c_0101_6^26 + 5425822247386103330293997689685430977/62194822\ 345758855853713501511119401*c_0101_6^25 - 37035636481733569307310257326246582120/6219482234575885585371350151\ 1119401*c_0101_6^24 - 18865335656791782238182496290853947541/621948\ 22345758855853713501511119401*c_0101_6^23 + 117988534399232723230749469052774520014/621948223457588558537135015\ 11119401*c_0101_6^22 - 225526016599616676158252556198426464795/6219\ 4822345758855853713501511119401*c_0101_6^21 + 556904539263435169493141640390721340920/621948223457588558537135015\ 11119401*c_0101_6^20 + 419042084507640531373897522569633419295/6219\ 4822345758855853713501511119401*c_0101_6^19 - 2939113658936759001829571558340042584609/62194822345758855853713501\ 511119401*c_0101_6^18 + 4117909922074590864814442768656451191440/62\ 194822345758855853713501511119401*c_0101_6^17 - 4051681420111862139818711266107167663450/62194822345758855853713501\ 511119401*c_0101_6^16 - 643513363547513730400181950093634211203/621\ 94822345758855853713501511119401*c_0101_6^15 + 9752382901799794438635293862723293827803/62194822345758855853713501\ 511119401*c_0101_6^14 - 10258599517736841802062395623896777314479/6\ 2194822345758855853713501511119401*c_0101_6^13 + 1593417089660491031363883742749796621520/62194822345758855853713501\ 511119401*c_0101_6^12 + 7772686536827029055695440040841186859816/62\ 194822345758855853713501511119401*c_0101_6^11 - 11121255261897721965045728419299032242890/6219482234575885585371350\ 1511119401*c_0101_6^10 + 3522072299490051230199196070611333609768/6\ 2194822345758855853713501511119401*c_0101_6^9 + 4316713328415993568258922296408819890095/62194822345758855853713501\ 511119401*c_0101_6^8 - 3634137393718684009502678487893916891376/621\ 94822345758855853713501511119401*c_0101_6^7 - 241850270008504334979321699602702465212/621948223457588558537135015\ 11119401*c_0101_6^6 + 1363494790138958957856494709005904766107/6219\ 4822345758855853713501511119401*c_0101_6^5 - 307640834942124848941868543771293928992/621948223457588558537135015\ 11119401*c_0101_6^4 - 8790421943237232103677413008818714740/6219482\ 2345758855853713501511119401*c_0101_6^3 - 92581566071178367059595347596437737331/6219482234575885585371350151\ 1119401*c_0101_6^2 + 31148777806877966469544524181946372907/6219482\ 2345758855853713501511119401*c_0101_6 - 10262764539903757548368313937616937870/6219482234575885585371350151\ 1119401, c_0011_0 - 1, c_0011_4 - 65164132459176058651958117790332420/186584467037276567561140\ 504533358203*c_0101_6^26 - 134756834072705702917612008793245089/186\ 584467037276567561140504533358203*c_0101_6^25 + 766320733276043735458516436037553225/186584467037276567561140504533\ 358203*c_0101_6^24 + 555957827923562753780515572888272203/186584467\ 037276567561140504533358203*c_0101_6^23 - 769723239385838279486939539757889790/621948223457588558537135015111\ 19401*c_0101_6^22 + 4622386047514288367304059877974857829/186584467\ 037276567561140504533358203*c_0101_6^21 - 11525742298346232529451967886425069691/1865844670372765675611405045\ 33358203*c_0101_6^20 - 3692327603439282323614943576710396633/621948\ 22345758855853713501511119401*c_0101_6^19 + 19942918643740835518844602894054755038/6219482234575885585371350151\ 1119401*c_0101_6^18 - 80067381939350172465708266229869956978/186584\ 467037276567561140504533358203*c_0101_6^17 + 81329529994219036701534927029935536526/1865844670372765675611405045\ 33358203*c_0101_6^16 + 7121155893652215909729117091600946951/621948\ 22345758855853713501511119401*c_0101_6^15 - 197791158478286122946424432275782758520/186584467037276567561140504\ 533358203*c_0101_6^14 + 63557268974080962770061750714865812725/6219\ 4822345758855853713501511119401*c_0101_6^13 - 27791820550701535746679092316992270436/1865844670372765675611405045\ 33358203*c_0101_6^12 - 154596724162211455808229171970107608779/1865\ 84467037276567561140504533358203*c_0101_6^11 + 215214044414438427671260050221779631999/186584467037276567561140504\ 533358203*c_0101_6^10 - 59954681878413682350051339153182742707/1865\ 84467037276567561140504533358203*c_0101_6^9 - 78708670668923973939204863209817213510/1865844670372765675611405045\ 33358203*c_0101_6^8 + 65048395263544010583098628265317150820/186584\ 467037276567561140504533358203*c_0101_6^7 + 2418388666279947047425813214286079847/18658446703727656756114050453\ 3358203*c_0101_6^6 - 7635914257512194830850897626775720690/62194822\ 345758855853713501511119401*c_0101_6^5 + 6406690800155261099580342127700974561/18658446703727656756114050453\ 3358203*c_0101_6^4 - 619610126970272097922269558186548620/621948223\ 45758855853713501511119401*c_0101_6^3 + 506583127890362651924804135559851823/621948223457588558537135015111\ 19401*c_0101_6^2 - 475838787291199710196190360457288440/18658446703\ 7276567561140504533358203*c_0101_6 + 78933048927940513797401677007155718/6219482234575885585371350151111\ 9401, c_0101_0 + 35502895344633262237265603230200010/186584467037276567561140\ 504533358203*c_0101_6^26 + 68034442897592175499104292646766862/1865\ 84467037276567561140504533358203*c_0101_6^25 - 428931336629452270255934888149563443/186584467037276567561140504533\ 358203*c_0101_6^24 - 246014611417941578003741825581270106/186584467\ 037276567561140504533358203*c_0101_6^23 + 428596578671532821507153786211974920/621948223457588558537135015111\ 19401*c_0101_6^22 - 2673329114542665902769106726246880389/186584467\ 037276567561140504533358203*c_0101_6^21 + 6758697554906369324019901960504191248/18658446703727656756114050453\ 3358203*c_0101_6^20 + 1693911073832883944302823896684549806/6219482\ 2345758855853713501511119401*c_0101_6^19 - 11065601430650166319410617361414810388/6219482234575885585371350151\ 1119401*c_0101_6^18 + 48032720042454410669102916370979625758/186584\ 467037276567561140504533358203*c_0101_6^17 - 52464929465930987177370389746944390233/1865844670372765675611405045\ 33358203*c_0101_6^16 - 1006624950813999803194730195428281512/621948\ 22345758855853713501511119401*c_0101_6^15 + 106612471258489306339227665248382468894/186584467037276567561140504\ 533358203*c_0101_6^14 - 39137974669129122179087611272814395085/6219\ 4822345758855853713501511119401*c_0101_6^13 + 35800300412152623747980424550042503470/1865844670372765675611405045\ 33358203*c_0101_6^12 + 75671699736113486819098276377929233721/18658\ 4467037276567561140504533358203*c_0101_6^11 - 125802022883262820270090801272725410543/186584467037276567561140504\ 533358203*c_0101_6^10 + 51728896917007987394535560174652737293/1865\ 84467037276567561140504533358203*c_0101_6^9 + 30192118597518670889825012637537711754/1865844670372765675611405045\ 33358203*c_0101_6^8 - 38420397695268712539684016941156667004/186584\ 467037276567561140504533358203*c_0101_6^7 + 4107227168581558202543298965691215027/18658446703727656756114050453\ 3358203*c_0101_6^6 + 3420497208610195565371867083205579472/62194822\ 345758855853713501511119401*c_0101_6^5 - 4817293371713844978429600926952262667/18658446703727656756114050453\ 3358203*c_0101_6^4 + 773113452111009169731240389387971278/621948223\ 45758855853713501511119401*c_0101_6^3 - 282535544505416837591521327591551313/621948223457588558537135015111\ 19401*c_0101_6^2 + 707347141513309562680371524891531938/18658446703\ 7276567561140504533358203*c_0101_6 - 67917127715581848733610421363470458/6219482234575885585371350151111\ 9401, c_0101_1 - 242358580115625185155612360547512684/18658446703727656756114\ 0504533358203*c_0101_6^26 - 438715508642095564939903352707084837/18\ 6584467037276567561140504533358203*c_0101_6^25 + 3051083615418480118434079325949030017/18658446703727656756114050453\ 3358203*c_0101_6^24 + 1531450399745295124848097426678627814/1865844\ 67037276567561140504533358203*c_0101_6^23 - 3272652949293488831866818157461468501/62194822345758855853713501511\ 119401*c_0101_6^22 + 18351404129405182920307437530513212297/1865844\ 67037276567561140504533358203*c_0101_6^21 - 45518238631196770265920994606888231093/1865844670372765675611405045\ 33358203*c_0101_6^20 - 11416117970979456313876134099804148100/62194\ 822345758855853713501511119401*c_0101_6^19 + 80957545281772419578095609900194539798/6219482234575885585371350151\ 1119401*c_0101_6^18 - 336612563042825274468199299030156219014/18658\ 4467037276567561140504533358203*c_0101_6^17 + 326658251592023705445687558862991261096/186584467037276567561140504\ 533358203*c_0101_6^16 + 19014880015778859305674978306191127492/6219\ 4822345758855853713501511119401*c_0101_6^15 - 808329241024578575161788269278023661109/186584467037276567561140504\ 533358203*c_0101_6^14 + 279749202937754904816668880828256266007/621\ 94822345758855853713501511119401*c_0101_6^13 - 110311220962584433705958975582255743739/186584467037276567561140504\ 533358203*c_0101_6^12 - 649807120368152902013376626735829657056/186\ 584467037276567561140504533358203*c_0101_6^11 + 911612003327521546416698415971409134122/186584467037276567561140504\ 533358203*c_0101_6^10 - 274471736420083149806340657879637050376/186\ 584467037276567561140504533358203*c_0101_6^9 - 371958664890069287829007811192079281593/186584467037276567561140504\ 533358203*c_0101_6^8 + 297326788106606554536716238741993323996/1865\ 84467037276567561140504533358203*c_0101_6^7 + 28962193881592390350482694119040189265/1865844670372765675611405045\ 33358203*c_0101_6^6 - 38009520141844397764288569712114693522/621948\ 22345758855853713501511119401*c_0101_6^5 + 22834810128192150881675127243417629045/1865844670372765675611405045\ 33358203*c_0101_6^4 + 560585976940915910124994581999804934/62194822\ 345758855853713501511119401*c_0101_6^3 + 2666260224354273044344063391366803274/62194822345758855853713501511\ 119401*c_0101_6^2 - 2160682319559067822205935780717152208/186584467\ 037276567561140504533358203*c_0101_6 + 223569620633111104127327578950704550/621948223457588558537135015111\ 19401, c_0101_2 - 55932314512964864254219585315913075/186584467037276567561140\ 504533358203*c_0101_6^26 - 111179453183817815559799244565742874/186\ 584467037276567561140504533358203*c_0101_6^25 + 677108974949806282450535057418985801/186584467037276567561140504533\ 358203*c_0101_6^24 + 449287550808235802077854543878461726/186584467\ 037276567561140504533358203*c_0101_6^23 - 709906518498292033969919054349876531/621948223457588558537135015111\ 19401*c_0101_6^22 + 3996756151313756632247036355282978863/186584467\ 037276567561140504533358203*c_0101_6^21 - 9890490630154260616907321079350171503/18658446703727656756114050453\ 3358203*c_0101_6^20 - 3101326545252648616987945939747502545/6219482\ 2345758855853713501511119401*c_0101_6^19 + 17867902683992905976169147050177142470/6219482234575885585371350151\ 1119401*c_0101_6^18 - 70465046355014825862024300943912987660/186584\ 467037276567561140504533358203*c_0101_6^17 + 66783000709151631989154642862961671084/1865844670372765675611405045\ 33358203*c_0101_6^16 + 7234473408900796654243723618630071653/621948\ 22345758855853713501511119401*c_0101_6^15 - 178981327343887139150324266462064337931/186584467037276567561140504\ 533358203*c_0101_6^14 + 56382408616667151139853994661867306844/6219\ 4822345758855853713501511119401*c_0101_6^13 - 7836276622818724999249401042149808487/18658446703727656756114050453\ 3358203*c_0101_6^12 - 148859421503831746975453697308260197050/18658\ 4467037276567561140504533358203*c_0101_6^11 + 188064114610659233863579525847925237710/186584467037276567561140504\ 533358203*c_0101_6^10 - 40268954062380241745549414476431174611/1865\ 84467037276567561140504533358203*c_0101_6^9 - 87719628441643686942391686877979174489/1865844670372765675611405045\ 33358203*c_0101_6^8 + 57616168634316003169804324507283302981/186584\ 467037276567561140504533358203*c_0101_6^7 + 14019671162287972149806315272926543179/1865844670372765675611405045\ 33358203*c_0101_6^6 - 8544849617560362138647265763746461277/6219482\ 2345758855853713501511119401*c_0101_6^5 + 2728434309774600320049461954500773466/18658446703727656756114050453\ 3358203*c_0101_6^4 + 610200760081006542107513467458243739/621948223\ 45758855853713501511119401*c_0101_6^3 + 571097503182761414984637380247198550/621948223457588558537135015111\ 19401*c_0101_6^2 - 609133145568173577056860041499306970/18658446703\ 7276567561140504533358203*c_0101_6 + 31780676256232414012655220869244476/6219482234575885585371350151111\ 9401, c_0101_5 - 108491012069057056627612134431449556/18658446703727656756114\ 0504533358203*c_0101_6^26 - 195175266699838280902528999022087522/18\ 6584467037276567561140504533358203*c_0101_6^25 + 1364120180255028258861185119632541702/18658446703727656756114050453\ 3358203*c_0101_6^24 + 654460826367592840870301545145719639/18658446\ 7037276567561140504533358203*c_0101_6^23 - 1461550973383938579371346716643167803/62194822345758855853713501511\ 119401*c_0101_6^22 + 8349448878150119091823925225980965257/18658446\ 7037276567561140504533358203*c_0101_6^21 - 20454171915695141431674988325677466269/1865844670372765675611405045\ 33358203*c_0101_6^20 - 4964717137716879789160366102385310271/621948\ 22345758855853713501511119401*c_0101_6^19 + 36207630648183538994915449575654119069/6219482234575885585371350151\ 1119401*c_0101_6^18 - 153273464751253972709827207050315497029/18658\ 4467037276567561140504533358203*c_0101_6^17 + 148940264326324957165533238797696532051/186584467037276567561140504\ 533358203*c_0101_6^16 + 7573518424617144605164354185151378947/62194\ 822345758855853713501511119401*c_0101_6^15 - 360854991784056027560696550358307648425/186584467037276567561140504\ 533358203*c_0101_6^14 + 128005697646459784540791133875568963446/621\ 94822345758855853713501511119401*c_0101_6^13 - 56431402969010924717252377468313700760/1865844670372765675611405045\ 33358203*c_0101_6^12 - 290870450391353893217737083251292925603/1865\ 84467037276567561140504533358203*c_0101_6^11 + 412967976081946088718372937785134041055/186584467037276567561140504\ 533358203*c_0101_6^10 - 130984573904164347677224637341840777829/186\ 584467037276567561140504533358203*c_0101_6^9 - 165715305896990875083436543859014531961/186584467037276567561140504\ 533358203*c_0101_6^8 + 136528695462202230101069004714838050403/1865\ 84467037276567561140504533358203*c_0101_6^7 + 11385203225737225943969356021796479289/1865844670372765675611405045\ 33358203*c_0101_6^6 - 17581840296589964014853820853539706271/621948\ 22345758855853713501511119401*c_0101_6^5 + 10964196071732205999620817540419070778/1865844670372765675611405045\ 33358203*c_0101_6^4 + 510095657803467430328920076605164327/62194822\ 345758855853713501511119401*c_0101_6^3 + 1309546080098004738981166353227456684/62194822345758855853713501511\ 119401*c_0101_6^2 - 1140950658570090031973670741321794720/186584467\ 037276567561140504533358203*c_0101_6 + 122627128999225573586216092750040600/621948223457588558537135015111\ 19401, c_0101_6^27 + c_0101_6^26 - 14*c_0101_6^25 + 4*c_0101_6^24 + 45*c_0101_6^23 - 109*c_0101_6^22 + 251*c_0101_6^21 - 15*c_0101_6^20 - 1107*c_0101_6^19 + 2210*c_0101_6^18 - 2522*c_0101_6^17 + 927*c_0101_6^16 + 3455*c_0101_6^15 - 6180*c_0101_6^14 + 3419*c_0101_6^13 + 2144*c_0101_6^12 - 5902*c_0101_6^11 + 4306*c_0101_6^10 + 442*c_0101_6^9 - 2408*c_0101_6^8 + 935*c_0101_6^7 + 513*c_0101_6^6 - 479*c_0101_6^5 + 87*c_0101_6^4 - 33*c_0101_6^3 + 37*c_0101_6^2 - 12*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB