Magma V2.19-8 Tue Aug 20 2013 16:14:17 on localhost [Seed = 2648441277] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s266 geometric_solution 4.43398406 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 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.548781065438 0.106238186733 2 0 2 0 0132 2310 1023 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 1 -1 -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.694822821259 0.233781449536 1 3 1 4 0132 0132 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 1 -1 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.901880229757 1.275925442735 4 2 4 5 3201 0132 2310 0132 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 -1 1 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.226406400361 1.145528220859 5 3 2 3 0132 3201 0132 2310 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 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.226406400361 1.145528220859 4 5 3 5 0132 2310 0132 3201 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166048602840 0.840141269348 ==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' : 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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 383649147852656659183693250122604513865498589183737138/812392446836\ 555957891888469573457078017440260332533*c_0101_3^25 + 5934883682851646906329685586682111693966477193797239561/16247848936\ 73111915783776939146914156034880520665066*c_0101_3^24 + 542110135700547884814706851062412521125379728102379209/116056063833\ 793708270269781367636725431062894333219*c_0101_3^23 + 65145529790346256853932726537790454628646452952851486411/1624784893\ 673111915783776939146914156034880520665066*c_0101_3^22 - 33123877537031264363901359915088867640084025640260167780/8123924468\ 36555957891888469573457078017440260332533*c_0101_3^21 + 6883303009503341796703598899750489727360127446315807207/11605606383\ 3793708270269781367636725431062894333219*c_0101_3^20 - 196584173565437675912738027686463606340907847114320385043/162478489\ 3673111915783776939146914156034880520665066*c_0101_3^19 + 165307984311169302300806201849339959045283522279766230218/812392446\ 836555957891888469573457078017440260332533*c_0101_3^18 - 93932082262540640892433335316547996056188387657043545528/8123924468\ 36555957891888469573457078017440260332533*c_0101_3^17 - 2591655310252780945059592647209763080794871744409632558881/16247848\ 93673111915783776939146914156034880520665066*c_0101_3^16 + 2462605257243812365192404085826262479430946215235912624709/81239244\ 6836555957891888469573457078017440260332533*c_0101_3^15 - 5852642117374559002645305874121683170588076968766107981825/16247848\ 93673111915783776939146914156034880520665066*c_0101_3^14 + 2577731733202847497768906717216573079254590908522904815119/81239244\ 6836555957891888469573457078017440260332533*c_0101_3^13 - 1590493047265597616677544642456226409936003295743967935831/16247848\ 93673111915783776939146914156034880520665066*c_0101_3^12 - 832310608518037746048451891353381808535072069099288347675/162478489\ 3673111915783776939146914156034880520665066*c_0101_3^11 + 6114897719841501801204576476208515361039573222757177704523/16247848\ 93673111915783776939146914156034880520665066*c_0101_3^10 - 1152934105673427915409889398158984711665451906810293034043/23211212\ 7667587416540539562735273450862125788666438*c_0101_3^9 + 4686465000416636277456340946293783997494563503507061794943/16247848\ 93673111915783776939146914156034880520665066*c_0101_3^8 - 86453119115923267922570875998262278393346040489425065101/1160560638\ 33793708270269781367636725431062894333219*c_0101_3^7 - 315711933802698782402529605266979925880291470033170945677/232112127\ 667587416540539562735273450862125788666438*c_0101_3^6 + 763806617877440362669794022958580912789958762926110157357/812392446\ 836555957891888469573457078017440260332533*c_0101_3^5 + 13553712052429605206391151857907771940261469654231341408/8123924468\ 36555957891888469573457078017440260332533*c_0101_3^4 - 149352021526457174760574468688125470473741737491027573429/162478489\ 3673111915783776939146914156034880520665066*c_0101_3^3 + 60072542549759856125027048264218569193552612651875049635/1624784893\ 673111915783776939146914156034880520665066*c_0101_3^2 - 9488143015076208598064689060467936607787093522857943355/16247848936\ 73111915783776939146914156034880520665066*c_0101_3 - 2399695392334980488582202686340963596656542125161014550/81239244683\ 6555957891888469573457078017440260332533, c_0011_0 - 1, c_0011_1 - 34700371046940577646297954510123103336196531710638/116056063\ 833793708270269781367636725431062894333219*c_0101_3^25 - 557006360756613221031189426234821140289042357859641/232112127667587\ 416540539562735273450862125788666438*c_0101_3^24 - 427905066339325458454928904440790503836397916495842/116056063833793\ 708270269781367636725431062894333219*c_0101_3^23 - 6199108117193119689075754978697841439684481732551371/23211212766758\ 7416540539562735273450862125788666438*c_0101_3^22 + 2048553298039007179759586228904719435442208129968366/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^21 - 4085744756322259243546390926754169221109494703528467/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^20 + 7903684419952460267310205308662965335371218198884739/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^19 - 26217720354374334929255502735125778747518048508006341/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^18 + 11037074041166192883482799696235238695530062442373579/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^17 + 234802684372781762424810228730940323682385425296505093/232112127667\ 587416540539562735273450862125788666438*c_0101_3^16 - 375778530954426493171417113840906546823341145976874081/232112127667\ 587416540539562735273450862125788666438*c_0101_3^15 + 221919835952866931152465540940194791740221881555412104/116056063833\ 793708270269781367636725431062894333219*c_0101_3^14 - 187692460199585549228750061840150733329816056807104175/116056063833\ 793708270269781367636725431062894333219*c_0101_3^13 + 82708989057084359112823284020471435369431654749223987/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^12 + 56233584508541581521783161213604666307775556044180551/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^11 - 521715681138926295855918855120472247077031123491839481/232112127667\ 587416540539562735273450862125788666438*c_0101_3^10 + 577153354228428354373653599419458474359611516080142371/232112127667\ 587416540539562735273450862125788666438*c_0101_3^9 - 153071368828203111830229754287441964278681852578405098/116056063833\ 793708270269781367636725431062894333219*c_0101_3^8 + 78138123526409719915914964040794801689065712962530015/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^7 + 186111566125536466468974664527696177189314667677508693/232112127667\ 587416540539562735273450862125788666438*c_0101_3^6 - 68618812885858026484582159664711204873620062818856093/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^5 - 9547440560747750615069597020338844653961953956294751/23211212766758\ 7416540539562735273450862125788666438*c_0101_3^4 + 3822774724960683628371064387707299366282311245676882/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^3 - 1907327399691584093863540198140943857108692522581303/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^2 - 27575622145831793434654150686924995446839786628807/2321121276675874\ 16540539562735273450862125788666438*c_0101_3 + 271919564983192927647656659521261310767530245805085/232112127667587\ 416540539562735273450862125788666438, c_0011_4 + 77987412787566742703106767656116106888610198902305/232112127\ 667587416540539562735273450862125788666438*c_0101_3^25 + 292914084642431423374412528133651223525992130389515/116056063833793\ 708270269781367636725431062894333219*c_0101_3^24 + 634912140339648426662102434811905620884207329810329/232112127667587\ 416540539562735273450862125788666438*c_0101_3^23 + 3214791076298426502584971635071712583715193619509065/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^22 - 4132131945728110521258430326532285597728231870274814/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^21 + 5535670994347944954267824459318675600745447602504131/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^20 - 22385139064964564190625708357019401081919071643341553/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^19 + 38044854290513620510646836025944227607165074883328783/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^18 - 26619844370290248672464967596146794940524446675612053/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^17 - 259018757210785215129054182695935254084356229086679815/232112127667\ 587416540539562735273450862125788666438*c_0101_3^16 + 279068227202877571173799304275464189352234688989117137/116056063833\ 793708270269781367636725431062894333219*c_0101_3^15 - 349496708774650112211339358293375356584275270358320220/116056063833\ 793708270269781367636725431062894333219*c_0101_3^14 + 658325500593317435825687853864396547287017825223832055/232112127667\ 587416540539562735273450862125788666438*c_0101_3^13 - 286168275333858060833080059186449591600896026211562383/232112127667\ 587416540539562735273450862125788666438*c_0101_3^12 - 33474073802376015954518767769866518452456415656990657/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^11 + 619397473006851653766488500514648169765852880653164943/232112127667\ 587416540539562735273450862125788666438*c_0101_3^10 - 474454635569531406343450078088764955597408494080834803/116056063833\ 793708270269781367636725431062894333219*c_0101_3^9 + 644190200743981933528990910583863378602691114170948395/232112127667\ 587416540539562735273450862125788666438*c_0101_3^8 - 239764851888385460139558181477983387673381705279230263/232112127667\ 587416540539562735273450862125788666438*c_0101_3^7 - 174318295663356737497308648512526825916517373762509189/232112127667\ 587416540539562735273450862125788666438*c_0101_3^6 + 187065534577348472786288571878974257844849673998384603/232112127667\ 587416540539562735273450862125788666438*c_0101_3^5 - 8863420827392301418176334754229770733862932234648212/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^4 - 5444049745940875125507850505890554770381801888438047/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^3 + 6422800154191825932814126573922582174753121458911699/23211212766758\ 7416540539562735273450862125788666438*c_0101_3^2 - 1629762259709749987335492144352572482879258405777601/23211212766758\ 7416540539562735273450862125788666438*c_0101_3 - 238712184778733741922556171374480232614565403430422/116056063833793\ 708270269781367636725431062894333219, c_0101_0 + 857932162765246579274202820820010256191340509241809/46422425\ 5335174833081079125470546901724251577332876*c_0101_3^25 + 6820917889968316357101904586983804913914637209409977/46422425533517\ 4833081079125470546901724251577332876*c_0101_3^24 + 9947481717013076643281066533401190782915252774119473/46422425533517\ 4833081079125470546901724251577332876*c_0101_3^23 + 74955250188304258649155637495328506962213920350837501/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^22 - 28837856326626022981197374709434238711778374015943811/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^21 + 47474532863174918181272096762688067616221870974477409/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^20 - 194847993480791428292461319845047883112549076171872427/464224255335\ 174833081079125470546901724251577332876*c_0101_3^19 + 161502642553385570218869493856973012221768667665672547/232112127667\ 587416540539562735273450862125788666438*c_0101_3^18 - 32954251281808666210343626895499462069880394148471840/1160560638337\ 93708270269781367636725431062894333219*c_0101_3^17 - 735448086170867111405687233377264750567938055029644853/116056063833\ 793708270269781367636725431062894333219*c_0101_3^16 + 4894423668929389027105908754196022330321679989143862643/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^15 - 2734875692494584449677742131888319207370645398373245869/23211212766\ 7587416540539562735273450862125788666438*c_0101_3^14 + 4386829468127796995009338291570816287957658859057291801/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^13 - 247629672612195642736271534772979779526315354265234203/232112127667\ 587416540539562735273450862125788666438*c_0101_3^12 - 726664080864726154481627086214097818056279497188909559/232112127667\ 587416540539562735273450862125788666438*c_0101_3^11 + 3443289837532193096622780695285912867595601992512611725/23211212766\ 7587416540539562735273450862125788666438*c_0101_3^10 - 7696308547295798696385307591887280418775910935221898575/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^9 + 3539653317567060687682910922152442537393302054219654551/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^8 - 96228287279454527597231176329461226176590104625468743/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^7 - 750618581835855964712523379584888775607958426661133148/116056063833\ 793708270269781367636725431062894333219*c_0101_3^6 + 350672861755458718777664203086147001066284437919860492/116056063833\ 793708270269781367636725431062894333219*c_0101_3^5 + 192966004352803458355774891626204530293267515829873857/464224255335\ 174833081079125470546901724251577332876*c_0101_3^4 - 95674420955485512022411535013136213354249712523501595/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^3 + 70749715196234971242310745165226131944878733679271927/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^2 - 1287666627161632846001653038835403933131314885007505/11605606383379\ 3708270269781367636725431062894333219*c_0101_3 - 4685733253420268534575678876345774508515865715214339/46422425533517\ 4833081079125470546901724251577332876, c_0101_1 + 237227084275263992455357854301477854024714538813149/46422425\ 5335174833081079125470546901724251577332876*c_0101_3^25 + 1946642946249482541044984279632717008559847880930513/46422425533517\ 4833081079125470546901724251577332876*c_0101_3^24 + 3261848747593685667545853199332804814886438514887373/46422425533517\ 4833081079125470546901724251577332876*c_0101_3^23 + 21673433247430676624616201363758105174500704432795889/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^22 - 5113362075913174677666084875830348546690561034190319/23211212766758\ 7416540539562735273450862125788666438*c_0101_3^21 + 12462232669055577677220845340747022924248339506069579/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^20 - 48210987293880908897704805140275242395007743417376703/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^19 + 39325430373102721624933371110558864501952155668392883/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^18 - 4871746453399091324158657385038586258393527837148914/11605606383379\ 3708270269781367636725431062894333219*c_0101_3^17 - 203324584463445001321226286659266708289182184717882817/116056063833\ 793708270269781367636725431062894333219*c_0101_3^16 + 1143661184760883364310952226474844435433152007679410119/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^15 - 633926845104504413740023884106717214945556348125492317/232112127667\ 587416540539562735273450862125788666438*c_0101_3^14 + 960464536034857474159163795608389969050650459198858225/464224255335\ 174833081079125470546901724251577332876*c_0101_3^13 + 11445484848751399733704044585593055121803411835119039/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^12 - 161541944413887628645070216343771348875908444977219993/232112127667\ 587416540539562735273450862125788666438*c_0101_3^11 + 902677783115423850392089762214192009508845432798522097/232112127667\ 587416540539562735273450862125788666438*c_0101_3^10 - 1672937694680077633408240104011253559712193902771526111/46422425533\ 5174833081079125470546901724251577332876*c_0101_3^9 + 653366134690976594520319920370187599493294156112829275/464224255335\ 174833081079125470546901724251577332876*c_0101_3^8 + 3854943916234053877863350415459943337445200836376161/23211212766758\ 7416540539562735273450862125788666438*c_0101_3^7 - 192875540702586275869265695437058541087042021556151945/116056063833\ 793708270269781367636725431062894333219*c_0101_3^6 + 43038717210495839679911172024667425851059324635388944/1160560638337\ 93708270269781367636725431062894333219*c_0101_3^5 + 63787566323566103445564940252373165450609635583803069/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^4 - 15036274601836071293379814565674966945562956338514491/2321121276675\ 87416540539562735273450862125788666438*c_0101_3^3 + 13579663848021428778697196257982666794264705133258087/4642242553351\ 74833081079125470546901724251577332876*c_0101_3^2 + 319997566528310544726495087713353979995661430814868/116056063833793\ 708270269781367636725431062894333219*c_0101_3 - 279200409696224414653396234260698979619435763381471/464224255335174\ 833081079125470546901724251577332876, c_0101_3^26 + 8*c_0101_3^25 + 12*c_0101_3^24 + 88*c_0101_3^23 - 63*c_0101_3^22 + 108*c_0101_3^21 - 225*c_0101_3^20 + 369*c_0101_3^19 - 142*c_0101_3^18 - 3424*c_0101_3^17 + 5519*c_0101_3^16 - 6121*c_0101_3^15 + 4959*c_0101_3^14 - 587*c_0101_3^13 - 1408*c_0101_3^12 + 7684*c_0101_3^11 - 8465*c_0101_3^10 + 3742*c_0101_3^9 - 333*c_0101_3^8 - 3150*c_0101_3^7 + 1216*c_0101_3^6 + 393*c_0101_3^5 - 163*c_0101_3^4 + 41*c_0101_3^3 + 5*c_0101_3^2 - 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB