Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 206409933] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0395 geometric_solution 4.46049354 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 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.737609748953 0.121332808984 0 0 2 2 0132 3201 2310 0132 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 1.695286527375 0.573241954184 3 1 1 3 0132 3201 0132 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 -1 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 1.053464035393 0.278797768115 2 4 5 2 0132 0132 0132 1023 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 1 -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.700106194202 0.294833795476 5 3 5 6 2031 0132 1302 0132 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 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.577974927261 0.389442978434 4 6 4 3 2031 2310 1302 0132 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 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.577974927261 0.389442978434 6 6 4 5 1230 3012 0132 3201 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 1 -1 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.810067701915 0.801783531506 ==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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2474486018267136450074242906498464/12712636867308180575861812047710\ 3*c_0101_6^18 + 2459726662143962165730581308901951/1271263686730818\ 05758618120477103*c_0101_6^17 + 2235981465259017680387939768684396/\ 127126368673081805758618120477103*c_0101_6^16 + 57446331695290296637209027509496120/1271263686730818057586181204771\ 03*c_0101_6^15 + 12418006705308334997265822906825689/12712636867308\ 1805758618120477103*c_0101_6^14 - 142278069088291481346502285024375\ 218/127126368673081805758618120477103*c_0101_6^13 - 166826989005093634484473470087902132/127126368673081805758618120477\ 103*c_0101_6^12 - 738218971487541524093779050102828234/127126368673\ 081805758618120477103*c_0101_6^11 + 499653503901344900442281857457708617/127126368673081805758618120477\ 103*c_0101_6^10 - 1699048447539439616788255645780324660/12712636867\ 3081805758618120477103*c_0101_6^9 + 3263370071519134238241358459238453125/12712636867308180575861812047\ 7103*c_0101_6^8 + 11427518060468812263387690840115434567/1271263686\ 73081805758618120477103*c_0101_6^7 + 7833608174559592624844123891806065944/12712636867308180575861812047\ 7103*c_0101_6^6 + 6205721748379961983640072157592916577/12712636867\ 3081805758618120477103*c_0101_6^5 + 4441947512286695141895026394473114975/12712636867308180575861812047\ 7103*c_0101_6^4 - 73741190835857558556966396845626/1259549872912729\ 6716399298571*c_0101_6^3 - 1287829847622623469608500293660560389/12\ 7126368673081805758618120477103*c_0101_6^2 - 141581537491610303448695078053248007/127126368673081805758618120477\ 103*c_0101_6 - 3203092921981326866374208916547446/12712636867308180\ 5758618120477103, c_0011_0 - 1, c_0011_2 - 16785423157787155999106103494220/127126368673081805758618120\ 477103*c_0101_6^18 + 36876678396525596555842375246131/1271263686730\ 81805758618120477103*c_0101_6^17 - 24150224885004416055413936043415/127126368673081805758618120477103*\ c_0101_6^16 + 408052582046562222086229333713174/1271263686730818057\ 58618120477103*c_0101_6^15 - 400018772513168443012287595499844/1271\ 26368673081805758618120477103*c_0101_6^14 - 606274908974818956325460031188952/127126368673081805758618120477103\ *c_0101_6^13 - 291732267664116662880302859027977/127126368673081805\ 758618120477103*c_0101_6^12 - 4470382284301356699204750630318499/12\ 7126368673081805758618120477103*c_0101_6^11 + 8870858792521412300656571180993904/12712636867308180575861812047710\ 3*c_0101_6^10 - 20838082445076559197898256900463776/127126368673081\ 805758618120477103*c_0101_6^9 + 44655342933358550357548664931158626\ /127126368673081805758618120477103*c_0101_6^8 + 29914297967858366299864199556377465/1271263686730818057586181204771\ 03*c_0101_6^7 + 4156125633482220648250909626174367/1271263686730818\ 05758618120477103*c_0101_6^6 + 27273046030922018074435540966538056/\ 127126368673081805758618120477103*c_0101_6^5 - 5101954643731844787588299537264941/12712636867308180575861812047710\ 3*c_0101_6^4 - 772436368923683042138186782319/125954987291272967163\ 99298571*c_0101_6^3 + 1012942726021182108368689803903823/1271263686\ 73081805758618120477103*c_0101_6^2 - 305783533934100377290793746546173/127126368673081805758618120477103\ *c_0101_6 + 82143024712100383464398189879652/1271263686730818057586\ 18120477103, c_0011_6 + 11426779671919075498821975266680/127126368673081805758618120\ 477103*c_0101_6^18 - 26511324866406383262949612464810/1271263686730\ 81805758618120477103*c_0101_6^17 + 19307647148732657147991749119279/127126368673081805758618120477103*\ c_0101_6^16 - 279450652601097065202261010703931/1271263686730818057\ 58618120477103*c_0101_6^15 + 306466687750020499017927426184108/1271\ 26368673081805758618120477103*c_0101_6^14 + 384549806392954045476705563275326/127126368673081805758618120477103\ *c_0101_6^13 + 145525273592762110739150618506263/127126368673081805\ 758618120477103*c_0101_6^12 + 3008442812640782124016309658711927/12\ 7126368673081805758618120477103*c_0101_6^11 - 6423932903952038977333078774681402/12712636867308180575861812047710\ 3*c_0101_6^10 + 14868266197029576340358626878434301/127126368673081\ 805758618120477103*c_0101_6^9 - 32064533732740362086366383616708702\ /127126368673081805758618120477103*c_0101_6^8 - 16838986265957336268274612148544999/1271263686730818057586181204771\ 03*c_0101_6^7 + 129366959353275247207845054198103/12712636867308180\ 5758618120477103*c_0101_6^6 - 17530737567476430756942908212020476/1\ 27126368673081805758618120477103*c_0101_6^5 + 6202275569975146460722244768684595/12712636867308180575861812047710\ 3*c_0101_6^4 + 516941362333376942559348289333/125954987291272967163\ 99298571*c_0101_6^3 - 1096614927162107681052084619787463/1271263686\ 73081805758618120477103*c_0101_6^2 + 268681717095935927045917423683210/127126368673081805758618120477103\ *c_0101_6 - 94944399542334282701003846291129/1271263686730818057586\ 18120477103, c_0101_0 + 15208757007158825873088483865807/127126368673081805758618120\ 477103*c_0101_6^18 - 31030406302968242173865961830530/1271263686730\ 81805758618120477103*c_0101_6^17 + 17361769983763976788926310039467/127126368673081805758618120477103*\ c_0101_6^16 - 367976556344569604914281770353152/1271263686730818057\ 58618120477103*c_0101_6^15 + 305846134206304675026269756912652/1271\ 26368673081805758618120477103*c_0101_6^14 + 588554435563886002241994929201777/127126368673081805758618120477103\ *c_0101_6^13 + 370073292771706004971059562393925/127126368673081805\ 758618120477103*c_0101_6^12 + 4113836233380286728331382198489743/12\ 7126368673081805758618120477103*c_0101_6^11 - 7395233660771865364783321178102063/12712636867308180575861812047710\ 3*c_0101_6^10 + 17812044210927536851941222883222827/127126368673081\ 805758618120477103*c_0101_6^9 - 37903526711002133837986435681970785\ /127126368673081805758618120477103*c_0101_6^8 - 32482340675211495419110929520798303/1271263686730818057586181204771\ 03*c_0101_6^7 - 10058509925517301737191846205322549/127126368673081\ 805758618120477103*c_0101_6^6 - 26260176665945940079450356929143188\ /127126368673081805758618120477103*c_0101_6^5 + 696098947502951933644580255757581/127126368673081805758618120477103\ *c_0101_6^4 + 644627511815951915623993247773/1259549872912729671639\ 9298571*c_0101_6^3 + 283622224074733624722416851808139/127126368673\ 081805758618120477103*c_0101_6^2 + 376665322504780981763888467053952/127126368673081805758618120477103\ *c_0101_6 - 96136005504890024196013410627411/1271263686730818057586\ 18120477103, c_0101_1 + 4671054678829372030120684748994/1271263686730818057586181204\ 77103*c_0101_6^18 - 6979156993463480383056279550382/127126368673081\ 805758618120477103*c_0101_6^17 - 294915790355902650557817360664/127\ 126368673081805758618120477103*c_0101_6^16 - 109136364219457664355611766808281/127126368673081805758618120477103\ *c_0101_6^15 + 31350212760513605835224172331377/1271263686730818057\ 58618120477103*c_0101_6^14 + 242792400955403657042234579436417/1271\ 26368673081805758618120477103*c_0101_6^13 + 200937156988312621774523210643702/127126368673081805758618120477103\ *c_0101_6^12 + 1315451145962100249014339400906206/12712636867308180\ 5758618120477103*c_0101_6^11 - 1592338815198999386513836893019540/1\ 27126368673081805758618120477103*c_0101_6^10 + 4115235843541692521709358341004679/12712636867308180575861812047710\ 3*c_0101_6^9 - 8423041554651964674728546370570106/12712636867308180\ 5758618120477103*c_0101_6^8 - 16923732233262338383841551671337196/1\ 27126368673081805758618120477103*c_0101_6^7 - 7264406793704218029474186809025538/12712636867308180575861812047710\ 3*c_0101_6^6 - 9341077599520664168399944483816642/12712636867308180\ 5758618120477103*c_0101_6^5 - 3627598890650979602307563826951432/12\ 7126368673081805758618120477103*c_0101_6^4 + 281365751486042552002829453435/12595498729127296716399298571*c_0101\ _6^3 + 1042322441605968336598145917473638/1271263686730818057586181\ 20477103*c_0101_6^2 + 271011001964675157281102674826961/12712636867\ 3081805758618120477103*c_0101_6 - 43492722653491843783759345490532/\ 127126368673081805758618120477103, c_0101_3 - 1464741152975146335243320137546/1271263686730818057586181204\ 77103*c_0101_6^18 + 1573829971842103141764706337847/127126368673081\ 805758618120477103*c_0101_6^17 + 805025789020934527128410005167/127\ 126368673081805758618120477103*c_0101_6^16 + 34896150963086772111899678868157/127126368673081805758618120477103*\ c_0101_6^15 + 3681659040352718749225339217999/127126368673081805758\ 618120477103*c_0101_6^14 - 74635934850335271640630002995143/1271263\ 68673081805758618120477103*c_0101_6^13 - 104643774520017951955544319169873/127126368673081805758618120477103\ *c_0101_6^12 - 438085159287503128751796641660253/127126368673081805\ 758618120477103*c_0101_6^11 + 324811140853723135611536796494232/127\ 126368673081805758618120477103*c_0101_6^10 - 1135540404555276021670636818368530/12712636867308180575861812047710\ 3*c_0101_6^9 + 2252701880515066160956040741478622/12712636867308180\ 5758618120477103*c_0101_6^8 + 6022258730498252571223380206431277/12\ 7126368673081805758618120477103*c_0101_6^7 + 5366125127318275172937463794780132/12712636867308180575861812047710\ 3*c_0101_6^6 + 3540678075172105760814980158644576/12712636867308180\ 5758618120477103*c_0101_6^5 + 2574536189669083104886198562465453/12\ 7126368673081805758618120477103*c_0101_6^4 - 3412286256163615315818716562/12595498729127296716399298571*c_0101_6\ ^3 - 807766438926338627025540173177542/1271263686730818057586181204\ 77103*c_0101_6^2 - 29492623213398996556769517797515/127126368673081\ 805758618120477103*c_0101_6 - 6725722666427841990481625209405/12712\ 6368673081805758618120477103, c_0101_6^19 - 2*c_0101_6^18 + c_0101_6^17 - 24*c_0101_6^16 + 19*c_0101_6^15 + 41*c_0101_6^14 + 24*c_0101_6^13 + 270*c_0101_6^12 - 476*c_0101_6^11 + 1136*c_0101_6^10 - 2409*c_0101_6^9 - 2322*c_0101_6^8 - 561*c_0101_6^7 - 1710*c_0101_6^6 - 12*c_0101_6^5 + 518*c_0101_6^4 + 2*c_0101_6^3 + 12*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB