Magma V2.19-8 Fri Sep 13 2013 01:05:14 on localhost [Seed = 1678027546] Type ? for help. Type -D to quit. Loading file "m203__sl3_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation m203 geometric_solution 4.05976643 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 4 1 1 2 2 0132 1230 0132 1230 0 0 1 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 1 -1 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.500000000000 0.866025403784 0 3 0 3 0132 0132 3012 3012 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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.500000000000 0.866025403784 0 3 3 0 3012 3012 0132 0132 0 0 0 1 0 0 0 0 0 0 -1 1 -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 1 0 -1 1 0 -1 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.500000000000 0.866025403784 2 1 1 2 1230 0132 1230 0132 0 0 1 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 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 0.500000000000 0.866025403784 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_3'], 'c_1020_3' : d['c_0012_1'] * d['u'] ** 2, 'c_1020_0' : d['c_0012_2'] * d['u'] ** 1, 'c_1020_1' : d['c_0201_3'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0021_2'] * d['u'] ** 2, 'c_0201_2' : d['c_0021_2'] * d['u'] ** 2, 'c_0201_3' : d['c_0201_3'], 'c_2100_0' : d['c_0201_0'] * d['u'] ** 1, 'c_2100_1' : d['c_0201_3'] * d['u'] ** 1, 'c_2100_2' : d['c_0201_0'], 'c_2100_3' : d['c_0201_0'], 'c_2010_2' : d['c_0102_3'], 'c_2010_3' : d['c_0012_0'] * d['u'] ** 1, 'c_2010_0' : d['c_0021_2'] * d['u'] ** 2, 'c_2010_1' : d['c_0102_3'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_2'] * d['u'] ** 1, 'c_0102_2' : d['c_0012_2'] * d['u'] ** 1, 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_0'] * d['u'] ** 2, 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0102_0'], 'c_1200_3' : d['c_0102_0'], 'c_1200_0' : d['c_0102_0'] * d['u'] ** 2, 'c_1200_1' : d['c_0102_3'] * d['u'] ** 2, 'c_1110_2' : d['c_1101_0'] * d['u'] ** 2, 'c_1110_3' : d['c_1101_2'], 'c_1110_0' : d['c_0111_2'], 'c_1110_1' : d['c_1101_3'] * d['u'] ** 1, 'c_0120_0' : d['c_0012_2'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_2' : d['c_0102_0'] * d['u'] ** 2, 'c_0120_3' : d['c_0012_2'] * d['u'] ** 1, 'c_2001_0' : d['c_0102_3'], 'c_2001_1' : d['c_0012_0'] * d['u'] ** 1, 'c_2001_2' : d['c_0012_0'] * d['u'] ** 1, 'c_2001_3' : d['c_0102_3'], 'c_0012_2' : d['c_0012_2'], 'c_0012_3' : d['c_0012_0'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0201_0'] * d['u'] ** 1, 'c_0210_3' : d['c_0021_2'] * d['u'] ** 2, 'c_0210_0' : d['c_0021_2'], 'c_0210_1' : d['c_0201_0'] * d['u'] ** 2, 'c_1002_2' : d['c_0012_1'] * d['u'] ** 2, 'c_1002_3' : d['c_0201_3'], 'c_1002_0' : d['c_0201_3'], 'c_1002_1' : d['c_0012_1'] * d['u'] ** 2, 'c_1011_2' : d['c_0111_3'] * d['u'] ** 1, 'c_1011_3' : negation(d['c_1011_1']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0021_2'], 'c_0021_3' : d['c_0012_1']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 67.730 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_0, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_3, c_1011_0, c_1011_1, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 8720474380473397710123535/214782965748046473597261*c_1101_3^7*u - 789960312144876314102780/71594321916015491199087*c_1101_3^7 + 776198554635037037007293/5507255532001191630699*c_1101_3^6*u + 87743244224267248840119565/214782965748046473597261*c_1101_3^6 + 11705877014222922452665730/23864773972005163733029*c_1101_3^5*u - 182271827936625150615450401/214782965748046473597261*c_1101_3^5 - 782641677088849570054143329/214782965748046473597261*c_1101_3^4*u + 35907500057948297538156845/214782965748046473597261*c_1101_3^4 + 992985133700821682427459176/214782965748046473597261*c_1101_3^3*u + 950904858845367142762975339/214782965748046473597261*c_1101_3^3 - 2819180121429518625126409/2309494255355338425777*c_1101_3^2*u - 2237552953069036516167238/2309494255355338425777*c_1101_3^2 + 23473537651167737701848866/71594321916015491199087*c_1101_3*u + 39744238102847462380003081/71594321916015491199087*c_1101_3 - 35368675594332909801704/1835751844000397210233*u - 2864508838893222462534914/23864773972005163733029, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 + 212872875302529159667/2309494255355338425777*c_1101_3^7*u - 107434922304267417655/2309494255355338425777*c_1101_3^7 - 2487999285984963108640/2309494255355338425777*c_1101_3^6*u - 2876641871513031345073/2309494255355338425777*c_1101_3^6 + 2330139728604861782138/2309494255355338425777*c_1101_3^5*u + 3000387281492877735111/769831418451779475259*c_1101_3^5 + 3887925814871408647447/769831418451779475259*c_1101_3^4*u - 18571741964573234902246/2309494255355338425777*c_1101_3^4 - 31633883284396351283365/2309494255355338425777*c_1101_3^3*u - 15158915564753540009063/2309494255355338425777*c_1101_3^3 + 2923464429505579621785/769831418451779475259*c_1101_3^2*u - 759833799675406670167/769831418451779475259*c_1101_3^2 - 459182981819848790100/769831418451779475259*c_1101_3*u - 4565681485699762599330/769831418451779475259*c_1101_3 + 864351440813109730693/769831418451779475259*u + 1022187697746946205086/769831418451779475259, c_0021_2 + 107434922304267417655/2309494255355338425777*c_1101_3^7*u + 320307797606796577322/2309494255355338425777*c_1101_3^7 + 2876641871513031345073/2309494255355338425777*c_1101_3^6*u + 129547528509356078811/769831418451779475259*c_1101_3^6 - 3000387281492877735111/769831418451779475259*c_1101_3^5*u - 6671022115873771423195/2309494255355338425777*c_1101_3^5 + 18571741964573234902246/2309494255355338425777*c_1101_3^4*u + 30235519409187460844587/2309494255355338425777*c_1101_3^4 + 15158915564753540009063/2309494255355338425777*c_1101_3^3*u - 16474967719642811274302/2309494255355338425777*c_1101_3^3 + 759833799675406670167/769831418451779475259*c_1101_3^2*u + 3683298229180986291952/769831418451779475259*c_1101_3^2 + 4565681485699762599330/769831418451779475259*c_1101_3*u + 4106498503879913809230/769831418451779475259*c_1101_3 - 1022187697746946205086/769831418451779475259*u - 157836256933836474393/769831418451779475259, c_0102_0 - 1, c_0102_3 + 29385216796420613447/2309494255355338425777*c_1101_3^7*u - 11341208218562453473/2309494255355338425777*c_1101_3^7 - 120676124706462780866/769831418451779475259*c_1101_3^6*u - 419422328025554885791/2309494255355338425777*c_1101_3^6 + 95619014987962926556/2309494255355338425777*c_1101_3^5*u + 1486502876092779518413/2309494255355338425777*c_1101_3^5 + 2434936202909111804119/2309494255355338425777*c_1101_3^4*u - 2415899675880562242853/2309494255355338425777*c_1101_3^4 - 7090231482867099409226/2309494255355338425777*c_1101_3^3*u - 4199717519542943424421/2309494255355338425777*c_1101_3^3 - 920038521831829380159/769831418451779475259*c_1101_3^2*u + 126726760568181964116/769831418451779475259*c_1101_3^2 + 1256365362348783651179/769831418451779475259*c_1101_3*u + 782767417109895505852/769831418451779475259*c_1101_3 - 158903295801558866023/769831418451779475259*u - 73470125281066327248/769831418451779475259, c_0111_0 - 1, c_0111_2 + 67840658616404510815/2309494255355338425777*c_1101_3^7*u - 55396061568091697080/769831418451779475259*c_1101_3^7 - 763094550660753290992/769831418451779475259*c_1101_3^6*u - 1506489227500894033471/2309494255355338425777*c_1101_3^6 + 5188316526649659758395/2309494255355338425777*c_1101_3^5*u + 7442656449925335719116/2309494255355338425777*c_1101_3^5 - 1072098634702651098116/769831418451779475259*c_1101_3^4*u - 7601034508191367861664/769831418451779475259*c_1101_3^4 - 18170488143943935672383/2309494255355338425777*c_1101_3^3*u + 8221086963815204272286/2309494255355338425777*c_1101_3^3 + 4148528834206116155764/2309494255355338425777*c_1101_3^2*u - 14293101980481826758238/2309494255355338425777*c_1101_3^2 - 1739701484778369180233/769831418451779475259*c_1101_3*u + 943434155929653438623/769831418451779475259*c_1101_3 - 51967552804697549341/769831418451779475259*u - 1132304831643820978438/769831418451779475259, c_0111_3 + 72106427644159957959/769831418451779475259*c_1101_3^7*u + 76772996686661995087/2309494255355338425777*c_1101_3^7 - 191396559110135829199/769831418451779475259*c_1101_3^6*u - 1979539356638497843147/2309494255355338425777*c_1101_3^6 - 1776861703945642168903/2309494255355338425777*c_1101_3^5*u + 1572767065044265721016/769831418451779475259*c_1101_3^5 + 5597030146846872790893/769831418451779475259*c_1101_3^4*u - 1003175625931280401017/769831418451779475259*c_1101_3^4 - 20601420199418282486135/2309494255355338425777*c_1101_3^3*u - 11511454104454778128087/2309494255355338425777*c_1101_3^3 + 5576074582729951333571/769831418451779475259*c_1101_3^2*u + 557997653041232052595/769831418451779475259*c_1101_3^2 - 1242771760988190324330/769831418451779475259*c_1101_3*u - 331327706056846831536/769831418451779475259*c_1101_3 + 310893448117342427765/769831418451779475259*u - 42044738404444289550/769831418451779475259, c_0201_0 - 39518457537900669110/769831418451779475259*c_1101_3^7*u - 17802009860576550366/769831418451779475259*c_1101_3^7 + 259955423357256321295/2309494255355338425777*c_1101_3^6*u + 1209923764103464010449/2309494255355338425777*c_1101_3^6 + 2817161610318543098482/2309494255355338425777*c_1101_3^5*u - 717028228644730985984/769831418451779475259*c_1101_3^5 - 14717288794954861356832/2309494255355338425777*c_1101_3^4*u - 2943937440566709578077/2309494255355338425777*c_1101_3^4 + 7016873267980398403961/769831418451779475259*c_1101_3^3*u + 7530317101673693224356/769831418451779475259*c_1101_3^3 - 1904337780330100053152/2309494255355338425777*c_1101_3^2*u - 11194643252912377149835/2309494255355338425777*c_1101_3^2 + 678457445241431433894/769831418451779475259*c_1101_3*u + 553644854140145346151/769831418451779475259*c_1101_3 + 498027768390447254378/769831418451779475259*u + 501761185591023246425/769831418451779475259, c_0201_3 + 119203127633262939892/2309494255355338425777*c_1101_3^7*u + 190381408102935840512/2309494255355338425777*c_1101_3^7 + 435850240278221126976/769831418451779475259*c_1101_3^6*u - 477681015583100658574/2309494255355338425777*c_1101_3^6 - 6105396256402875900032/2309494255355338425777*c_1101_3^5*u - 751041899801482814467/769831418451779475259*c_1101_3^5 + 17262138591613117934482/2309494255355338425777*c_1101_3^4*u + 5460512342698441170015/769831418451779475259*c_1101_3^4 - 3862687905562876547653/2309494255355338425777*c_1101_3^3*u - 19856227332005725220996/2309494255355338425777*c_1101_3^3 + 6679688572983852959452/2309494255355338425777*c_1101_3^2*u + 10036553780423278358636/2309494255355338425777*c_1101_3^2 + 105154436666281995527/769831418451779475259*c_1101_3*u + 479869105408878298289/769831418451779475259*c_1101_3 + 63268646225474212336/769831418451779475259*u + 105501432819386360226/769831418451779475259, c_1011_0 + 59013384430692764681/2309494255355338425777*c_1101_3^7*u + 195774762910310319833/2309494255355338425777*c_1101_3^7 + 1778859832487891484037/2309494255355338425777*c_1101_3^6*u + 78745369596278538109/769831418451779475259*c_1101_3^6 - 6104166324349272987893/2309494255355338425777*c_1101_3^5*u - 4367066248103725764772/2309494255355338425777*c_1101_3^5 + 4289803964492673356406/769831418451779475259*c_1101_3^4*u + 19745325720651246060271/2309494255355338425777*c_1101_3^4 + 1778682234607390979131/769831418451779475259*c_1101_3^3*u - 5114243409449993059542/769831418451779475259*c_1101_3^3 + 3041266929672139206470/2309494255355338425777*c_1101_3^2*u + 9943333973546943867499/2309494255355338425777*c_1101_3^2 + 297906500143235349234/769831418451779475259*c_1101_3*u + 428294677740172425903/769831418451779475259*c_1101_3 - 267318187322072092409/769831418451779475259*u + 112397012605756279971/769831418451779475259, c_1011_1 - 119203127633262939892/2309494255355338425777*c_1101_3^7*u - 190381408102935840512/2309494255355338425777*c_1101_3^7 - 435850240278221126976/769831418451779475259*c_1101_3^6*u + 477681015583100658574/2309494255355338425777*c_1101_3^6 + 6105396256402875900032/2309494255355338425777*c_1101_3^5*u + 751041899801482814467/769831418451779475259*c_1101_3^5 - 17262138591613117934482/2309494255355338425777*c_1101_3^4*u - 5460512342698441170015/769831418451779475259*c_1101_3^4 + 3862687905562876547653/2309494255355338425777*c_1101_3^3*u + 19856227332005725220996/2309494255355338425777*c_1101_3^3 - 6679688572983852959452/2309494255355338425777*c_1101_3^2*u - 10036553780423278358636/2309494255355338425777*c_1101_3^2 - 105154436666281995527/769831418451779475259*c_1101_3*u + 289962313042901176970/769831418451779475259*c_1101_3 - 63268646225474212336/769831418451779475259*u - 105501432819386360226/769831418451779475259, c_1101_0 - 60189743202570175211/2309494255355338425777*c_1101_3^7*u + 1797784935791493107/769831418451779475259*c_1101_3^7 + 471309111653228103109/2309494255355338425777*c_1101_3^6*u + 713917124371936272901/2309494255355338425777*c_1101_3^6 + 409977351200970713/769831418451779475259*c_1101_3^5*u - 2113940548699277321371/2309494255355338425777*c_1101_3^5 - 4392726698135097865264/2309494255355338425777*c_1101_3^4*u + 3363788692555922550226/2309494255355338425777*c_1101_3^4 + 9198734609385049485046/2309494255355338425777*c_1101_3^3*u + 4513497103655746042370/2309494255355338425777*c_1101_3^3 - 3638421643311713752982/2309494255355338425777*c_1101_3^2*u - 93219806876334491137/2309494255355338425777*c_1101_3^2 + 192752063476953353707/769831418451779475259*c_1101_3*u - 51574427668705872386/769831418451779475259*c_1101_3 - 330586833547546304745/769831418451779475259*u + 6895579786369919745/769831418451779475259, c_1101_2 - 90849253198990771640/769831418451779475259*c_1101_3^7*u + 2784907766200323638/2309494255355338425777*c_1101_3^7 + 1743303247849662228820/2309494255355338425777*c_1101_3^6*u + 2947973403007146225260/2309494255355338425777*c_1101_3^6 - 351234947029071398276/2309494255355338425777*c_1101_3^5*u - 8232262975323986555072/2309494255355338425777*c_1101_3^5 - 16735798842857404857220/2309494255355338425777*c_1101_3^4*u + 12924703491161233584677/2309494255355338425777*c_1101_3^4 + 26854184332804757306713/2309494255355338425777*c_1101_3^3*u + 11588810837208647757971/2309494255355338425777*c_1101_3^3 - 11617326932670640025284/2309494255355338425777*c_1101_3^2*u + 8152163745191353181899/2309494255355338425777*c_1101_3^2 - 96966971683325594367/769831418451779475259*c_1101_3*u - 1041832232528280569463/769831418451779475259*c_1101_3 - 70352274201311990421/769831418451779475259*u + 743054405045737820194/769831418451779475259, c_1101_3^8 + 343/31*c_1101_3^7*u + 136/31*c_1101_3^7 - 1021/31*c_1101_3^6*u - 1011/31*c_1101_3^6 + 1528/31*c_1101_3^5*u + 3743/31*c_1101_3^5 + 1818/31*c_1101_3^4*u - 2484/31*c_1101_3^4 - 567/31*c_1101_3^3*u + 1899/31*c_1101_3^3 + 288/31*c_1101_3^2*u - 225/31*c_1101_3^2 + 18/31*c_1101_3*u + 108/31*c_1101_3 - 9/31*u - 54/31, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 67.730 Total time: 67.939 seconds, Total memory usage: 304.38MB