Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 2345277256] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0454 geometric_solution 4.49420703 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 1 -1 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 -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 6.308458449301 1.252103817102 0 2 2 0 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 -1 0 1 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.256916535809 0.090699860059 1 1 3 3 2310 0132 0132 2310 0 0 0 0 0 1 -1 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 1 -1 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 1.855132107230 0.972446195947 2 4 5 2 3201 0132 0132 0132 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 0 0 0 0 0 0 0 0 -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 0 0 0.921267334858 0.348292275327 5 3 5 6 2103 0132 1302 0132 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 1 0 -1 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.600639722310 0.635213030398 4 6 4 3 2031 1023 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -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.600639722310 0.635213030398 5 6 4 6 1023 2310 0132 3201 0 0 0 0 0 -1 1 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 -1 1 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.214093583296 0.831143825526 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 255949183178899348344297640388907/399522228995143533126881352988*c_\ 0110_6^15 - 3156920668466027593950876561535321/39952222899514353312\ 6881352988*c_0110_6^14 - 8731073231219758853904170254194185/3995222\ 28995143533126881352988*c_0110_6^13 - 17733716592550387639305400299785269/399522228995143533126881352988*\ c_0110_6^12 + 54655439747541175929294935491334157/99880557248785883\ 281720338247*c_0110_6^11 - 163285963445121428631709998650658833/199\ 761114497571766563440676494*c_0110_6^10 - 90619218283425488890692597758139737/99880557248785883281720338247*c\ _0110_6^9 + 210033019316281583379858855715680622/998805572487858832\ 81720338247*c_0110_6^8 + 427409849203465769164060566793376907/19976\ 1114497571766563440676494*c_0110_6^7 - 400998622702413497946018866790903353/399522228995143533126881352988\ *c_0110_6^6 - 305499360122944407340880360044374653/1997611144975717\ 66563440676494*c_0110_6^5 + 1063000037546858750768819216445480/3444\ 157146509858044197253043*c_0110_6^4 + 49715692317039361476592806250076211/199761114497571766563440676494*\ c_0110_6^3 - 33527839794551865005937259010187961/399522228995143533\ 126881352988*c_0110_6^2 + 17981311725884131973230158693169/68883142\ 93019716088394506086*c_0110_6 + 860168828757924992164718155978505/3\ 99522228995143533126881352988, c_0011_0 - 1, c_0011_1 + 1586324167960578555149427226/3444157146509858044197253043*c_\ 0110_6^15 + 19604820211025914560848301381/3444157146509858044197253\ 043*c_0110_6^14 + 54590809903710462349320974483/3444157146509858044\ 197253043*c_0110_6^13 + 111221646503663387767022562819/344415714650\ 9858044197253043*c_0110_6^12 - 1352259645725924741464705536059/3444\ 157146509858044197253043*c_0110_6^11 + 1990923091805966292820229434901/3444157146509858044197253043*c_0110\ _6^10 + 2297778388378851808970447980733/344415714650985804419725304\ 3*c_0110_6^9 - 5160593426731237627975763094537/34441571465098580441\ 97253043*c_0110_6^8 - 5414310211063620918470327091750/3444157146509\ 858044197253043*c_0110_6^7 + 2365352153511735706356161698418/344415\ 7146509858044197253043*c_0110_6^6 + 3822302522651958168522854797010/3444157146509858044197253043*c_0110\ _6^5 - 685602568961254722128327748422/3444157146509858044197253043*\ c_0110_6^4 - 608100651349421201191499356424/34441571465098580441972\ 53043*c_0110_6^3 + 216410634196296862177027698377/34441571465098580\ 44197253043*c_0110_6^2 - 8082964020981768213811811346/3444157146509\ 858044197253043*c_0110_6 - 7765376994381788816987439347/34441571465\ 09858044197253043, c_0011_3 + 2757033259612562637349838652/3444157146509858044197253043*c_\ 0110_6^15 + 34036817264996710397278982405/3444157146509858044197253\ 043*c_0110_6^14 + 94476993380971801508739941578/3444157146509858044\ 197253043*c_0110_6^13 + 192634154445604579731794579807/344415714650\ 9858044197253043*c_0110_6^12 - 2351208088882781022143672418548/3444\ 157146509858044197253043*c_0110_6^11 + 3494561547305951431352104917609/3444157146509858044197253043*c_0110\ _6^10 + 3907284843844280175213126173551/344415714650985804419725304\ 3*c_0110_6^9 - 8954403068882270369376389842519/34441571465098580441\ 97253043*c_0110_6^8 - 9246793854396899330098416367114/3444157146509\ 858044197253043*c_0110_6^7 + 4092759934691640152678802656117/344415\ 7146509858044197253043*c_0110_6^6 + 6469439818517875287435438073859/3444157146509858044197253043*c_0110\ _6^5 - 1233793855346620028875046792354/3444157146509858044197253043\ *c_0110_6^4 - 988693703564445907051467340384/3444157146509858044197\ 253043*c_0110_6^3 + 358942213406844658761211853143/3444157146509858\ 044197253043*c_0110_6^2 - 12145106443491296733883669761/34441571465\ 09858044197253043*c_0110_6 - 9042862323626655445524600186/344415714\ 6509858044197253043, c_0011_5 + 8330091521387819291110976613/6888314293019716088394506086*c_\ 0101_1*c_0110_6^15 + 102366698030057424905064425401/688831429301971\ 6088394506086*c_0101_1*c_0110_6^14 + 279505474284509720911829508189/6888314293019716088394506086*c_0101_\ 1*c_0110_6^13 + 564377986790240438027283398845/68883142930197160883\ 94506086*c_0101_1*c_0110_6^12 - 3570482603612587667528159328728/344\ 4157146509858044197253043*c_0101_1*c_0110_6^11 + 5476312906913556585765925177376/3444157146509858044197253043*c_0101\ _1*c_0110_6^10 + 5654520457529946781372213598602/344415714650985804\ 4197253043*c_0101_1*c_0110_6^9 - 13940210525387605151859579907147/3\ 444157146509858044197253043*c_0101_1*c_0110_6^8 - 13275875922337428020526683243991/3444157146509858044197253043*c_010\ 1_1*c_0110_6^7 + 14307515304090582563036049834147/68883142930197160\ 88394506086*c_0101_1*c_0110_6^6 + 9615979651343775304291387316662/3\ 444157146509858044197253043*c_0101_1*c_0110_6^5 - 2482086787723706253122722913013/3444157146509858044197253043*c_0101\ _1*c_0110_6^4 - 1520257746356390268935397176024/3444157146509858044\ 197253043*c_0101_1*c_0110_6^3 + 1268560394400069003839803418915/688\ 8314293019716088394506086*c_0101_1*c_0110_6^2 - 37503286293962909870670387508/3444157146509858044197253043*c_0101_1\ *c_0110_6 - 24290901702102651238047667981/6888314293019716088394506\ 086*c_0101_1, c_0101_1^2 - 1586324167960578555149427226/3444157146509858044197253043*\ c_0110_6^15 - 19604820211025914560848301381/34441571465098580441972\ 53043*c_0110_6^14 - 54590809903710462349320974483/34441571465098580\ 44197253043*c_0110_6^13 - 111221646503663387767022562819/3444157146\ 509858044197253043*c_0110_6^12 + 1352259645725924741464705536059/34\ 44157146509858044197253043*c_0110_6^11 - 1990923091805966292820229434901/3444157146509858044197253043*c_0110\ _6^10 - 2297778388378851808970447980733/344415714650985804419725304\ 3*c_0110_6^9 + 5160593426731237627975763094537/34441571465098580441\ 97253043*c_0110_6^8 + 5414310211063620918470327091750/3444157146509\ 858044197253043*c_0110_6^7 - 2365352153511735706356161698418/344415\ 7146509858044197253043*c_0110_6^6 - 3822302522651958168522854797010/3444157146509858044197253043*c_0110\ _6^5 + 685602568961254722128327748422/3444157146509858044197253043*\ c_0110_6^4 + 608100651349421201191499356424/34441571465098580441972\ 53043*c_0110_6^3 - 216410634196296862177027698377/34441571465098580\ 44197253043*c_0110_6^2 + 8082964020981768213811811346/3444157146509\ 858044197253043*c_0110_6 + 4321219847871930772790186304/34441571465\ 09858044197253043, c_0101_2 - 3225761410784686105061755466/3444157146509858044197253043*c_\ 0110_6^15 - 39871909618084178812446348070/3444157146509858044197253\ 043*c_0110_6^14 - 111132029112974698189853487310/344415714650985804\ 4197253043*c_0110_6^13 - 226998941547772214192307250070/34441571465\ 09858044197253043*c_0110_6^12 + 2747510152027188887563793410239/344\ 4157146509858044197253043*c_0110_6^11 - 4047653456101053967750580489660/3444157146509858044197253043*c_0110\ _6^10 - 4638674031745086694321389022146/344415714650985804419725304\ 3*c_0110_6^9 + 10429394738157840738168291026962/3444157146509858044\ 197253043*c_0110_6^8 + 10961231179928525833527735411701/34441571465\ 09858044197253043*c_0110_6^7 - 4663646467013470849509611883211/3444\ 157146509858044197253043*c_0110_6^6 - 7609998865809204966555373275296/3444157146509858044197253043*c_0110\ _6^5 + 1391599049487626244635673873350/3444157146509858044197253043\ *c_0110_6^4 + 1186101701526325416751625091385/344415714650985804419\ 7253043*c_0110_6^3 - 424590716044583134455702578467/344415714650985\ 8044197253043*c_0110_6^2 + 15498721151309776841925345844/3444157146\ 509858044197253043*c_0110_6 + 11524444410323552504128863760/3444157\ 146509858044197253043, c_0110_6^16 + 12*c_0110_6^15 + 30*c_0110_6^14 + 58*c_0110_6^13 - 877*c_0110_6^12 + 1562*c_0110_6^11 + 982*c_0110_6^10 - 3744*c_0110_6^9 - 2230*c_0110_6^8 + 2653*c_0110_6^7 + 1833*c_0110_6^6 - 1266*c_0110_6^5 - 206*c_0110_6^4 + 257*c_0110_6^3 - 51*c_0110_6^2 - c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB