Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 3920131390] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1080 geometric_solution 4.95043179 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 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 2 -1 -1 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287869976037 0.688432112688 0 2 4 4 0132 1230 3201 0132 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 -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.209312666340 1.035327480743 3 0 1 0 0321 0132 3012 3012 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 -2 1 1 -1 0 0 1 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.725872277991 0.701717058773 2 5 0 5 0321 0132 0132 1023 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 -1 1 0 -1 0 0 1 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.268265250488 2.905053626868 1 6 1 6 2310 0132 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 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.181187485251 1.644706116120 5 3 5 3 2310 0132 3201 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 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.405706167748 0.215430581992 6 4 6 4 2031 0132 1302 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 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.373894753850 0.076413656232 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 5426379103959963840569383350675742836049/17983473051639299940078283\ 77653114207512*c_0110_6^41 + 30470217190846736274131457806212199841\ 2899/1798347305163929994007828377653114207512*c_0110_6^39 - 1448640776635278321818130218263227380054383/44958682629098249850195\ 7094413278551878*c_0110_6^37 + 236650024160280353363662324246469335\ 44428449/899173652581964997003914188826557103756*c_0110_6^35 - 44094695663690145013876744900429236048715767/4495868262909824985019\ 57094413278551878*c_0110_6^33 + 29773591387075662580846236872271571\ 6033978291/1798347305163929994007828377653114207512*c_0110_6^31 - 35384650473554524276939356928760545823265697/4495868262909824985019\ 57094413278551878*c_0110_6^29 - 23940609864927345730192273675190107\ 683327668/224793413145491249250978547206639275939*c_0110_6^27 + 163083025725792614944108453646116968404780673/179834730516392999400\ 7828377653114207512*c_0110_6^25 + 163757271467293951559784475648150\ 293164713773/1798347305163929994007828377653114207512*c_0110_6^23 - 25609571188412443531214183723230767024174355/4495868262909824985019\ 57094413278551878*c_0110_6^21 - 17372124347973764905590146432567885\ 0637975957/1798347305163929994007828377653114207512*c_0110_6^19 + 14143301575413496478416002414587400980238729/8991736525819649970039\ 14188826557103756*c_0110_6^17 + 11044001647124814700214678979301471\ 6035585887/1798347305163929994007828377653114207512*c_0110_6^15 + 30372154070431346801431610561419170125898535/1798347305163929994007\ 828377653114207512*c_0110_6^13 - 6192373116121082174873082487516583\ 232317373/449586826290982498501957094413278551878*c_0110_6^11 - 2588849466945157279413403950000295461565785/22479341314549124925097\ 8547206639275939*c_0110_6^9 - 6892720700302896104118562963215272261\ 21786/224793413145491249250978547206639275939*c_0110_6^7 + 187773018262237208682175661503291325274903/179834730516392999400782\ 8377653114207512*c_0110_6^5 + 2253879731691839902839146754284629465\ 09167/899173652581964997003914188826557103756*c_0110_6^3 + 75999179734801414772466123408415861351507/1798347305163929994007828\ 377653114207512*c_0110_6, c_0011_0 - 1, c_0011_3 + 8957987075097179961796049118888287864073/8991736525819649970\ 03914188826557103756*c_0110_6^41 - 505172213253878969532046567204302751176111/899173652581964997003914\ 188826557103756*c_0110_6^39 + 2421362284457784512767516595867779627\ 086588/224793413145491249250978547206639275939*c_0110_6^37 - 40169570593424243679593305943631318197875829/4495868262909824985019\ 57094413278551878*c_0110_6^35 + 76988856188130426703720723967396178\ 552239705/224793413145491249250978547206639275939*c_0110_6^33 - 543128300233739930626505064348206372394856319/899173652581964997003\ 914188826557103756*c_0110_6^31 + 6726854465932060594641820639730620\ 0691415537/224793413145491249250978547206639275939*c_0110_6^29 + 113706920137998223954325466476418154106148680/224793413145491249250\ 978547206639275939*c_0110_6^27 - 5695341114118567139676285657644484\ 04480298425/899173652581964997003914188826557103756*c_0110_6^25 - 162599362494871054923092177238739445009356445/899173652581964997003\ 914188826557103756*c_0110_6^23 + 1025814478105710822329827812208872\ 91487553994/224793413145491249250978547206639275939*c_0110_6^21 + 109160768269548957733366446534608392048326673/899173652581964997003\ 914188826557103756*c_0110_6^19 - 8442252122520091576573181245743159\ 2430109597/449586826290982498501957094413278551878*c_0110_6^17 - 100623604295412907879518932328849678993428295/899173652581964997003\ 914188826557103756*c_0110_6^15 + 1406957985983008091026899062486753\ 8453296913/899173652581964997003914188826557103756*c_0110_6^13 + 8843503210806093310586146671527637080645866/22479341314549124925097\ 8547206639275939*c_0110_6^11 + 371837018248012126318327347245009891\ 5986622/224793413145491249250978547206639275939*c_0110_6^9 + 404492531072230439292529948176648919040181/224793413145491249250978\ 547206639275939*c_0110_6^7 - 70855996962038552937826978407497881269\ 5799/899173652581964997003914188826557103756*c_0110_6^5 - 128772538610013564688344842908288934144057/449586826290982498501957\ 094413278551878*c_0110_6^3 - 26813456364920652851088600805818048976\ 463/899173652581964997003914188826557103756*c_0110_6, c_0011_4 - 212739758136642156857698537106702745999/17983473051639299940\ 07828377653114207512*c_0110_6^40 + 11668894693405592387032276325531477961889/1798347305163929994007828\ 377653114207512*c_0110_6^38 - 5277687797575353968515694893498618384\ 7653/449586826290982498501957094413278551878*c_0110_6^36 + 765264707637487030112271925932742769115547/899173652581964997003914\ 188826557103756*c_0110_6^34 - 9836481829992614200776197289847988441\ 66877/449586826290982498501957094413278551878*c_0110_6^32 - 2054523427759567189275359628719972783452227/17983473051639299940078\ 28377653114207512*c_0110_6^30 + 35112657792762374803226253161296421\ 82425894/224793413145491249250978547206639275939*c_0110_6^28 - 12168541906058423285677821459830817468859821/4495868262909824985019\ 57094413278551878*c_0110_6^26 + 17096806782700107681885599405737797\ 388632219/1798347305163929994007828377653114207512*c_0110_6^24 + 38052495774716040447502234982217065925141283/1798347305163929994007\ 828377653114207512*c_0110_6^22 - 4125861659824557003453980550314309\ 091172861/224793413145491249250978547206639275939*c_0110_6^20 - 14247615551264202566889912183520865639770415/1798347305163929994007\ 828377653114207512*c_0110_6^18 + 8153846122972267228321969522846848\ 230796971/899173652581964997003914188826557103756*c_0110_6^16 + 6668082576796248930286414793653126440162225/17983473051639299940078\ 28377653114207512*c_0110_6^14 - 28056016321273768103290654345971343\ 55295323/1798347305163929994007828377653114207512*c_0110_6^12 - 653469869939966263293145836096967796182001/449586826290982498501957\ 094413278551878*c_0110_6^10 - 6437281187520939192973879928097498156\ 6877/224793413145491249250978547206639275939*c_0110_6^8 + 25267159172430575796510859351341948502707/2247934131454912492509785\ 47206639275939*c_0110_6^6 + 868151636117230151674985988329138819446\ 73/1798347305163929994007828377653114207512*c_0110_6^4 - 3587246618757318920671469589748269164485/89917365258196499700391418\ 8826557103756*c_0110_6^2 - 5163532589549896571832497906782047425303\ /1798347305163929994007828377653114207512, c_0101_0 + 19239817571522657487735022167356875834721/179834730516392999\ 4007828377653114207512*c_0110_6^41 - 1083801207004246138211941295229171154563159/17983473051639299940078\ 28377653114207512*c_0110_6^39 + 51834129356837871804625088817465371\ 95703695/449586826290982498501957094413278551878*c_0110_6^37 - 85599979858996382160382376615338545003022057/8991736525819649970039\ 14188826557103756*c_0110_6^35 + 16240357565212969466534740434646947\ 5865118923/449586826290982498501957094413278551878*c_0110_6^33 - 1116423433357846785654234585463572078992124747/17983473051639299940\ 07828377653114207512*c_0110_6^31 + 58738867606148745406913356648806707264788624/2247934131454912492509\ 78547206639275939*c_0110_6^29 + 27022358089914022979914634723765681\ 8623364457/449586826290982498501957094413278551878*c_0110_6^27 - 1212071136913405156728659110232833172722229717/17983473051639299940\ 07828377653114207512*c_0110_6^25 - 456202305902595094985216848167045568725341253/179834730516392999400\ 7828377653114207512*c_0110_6^23 + 116043364329498335117135690360622\ 710375171871/224793413145491249250978547206639275939*c_0110_6^21 + 282295614124874347239464087817075403490389033/179834730516392999400\ 7828377653114207512*c_0110_6^19 - 193475936048666041138969683300228\ 330617013945/899173652581964997003914188826557103756*c_0110_6^17 - 235272225508547770412058735442731014375482999/179834730516392999400\ 7828377653114207512*c_0110_6^15 + 318211156833784782591369317722605\ 17669425045/1798347305163929994007828377653114207512*c_0110_6^13 + 20358005002240313788096974747067900833808403/4495868262909824985019\ 57094413278551878*c_0110_6^11 + 42430372383089140743180385427343630\ 87991782/224793413145491249250978547206639275939*c_0110_6^9 + 429192021449598061893463536195645060461817/224793413145491249250978\ 547206639275939*c_0110_6^7 - 16933999265069202145414070100315204272\ 27703/1798347305163929994007828377653114207512*c_0110_6^5 - 282306730729131590526480865296114682218901/899173652581964997003914\ 188826557103756*c_0110_6^3 - 51429062205975750296921267784710950670\ 999/1798347305163929994007828377653114207512*c_0110_6, c_0101_1 - 1323975086862893701653822969225301711495/2247934131454912492\ 50978547206639275939*c_0110_6^40 + 74707351981894834265052036554247336989273/2247934131454912492509785\ 47206639275939*c_0110_6^38 - 14339328460105950806099156934361293480\ 32768/224793413145491249250978547206639275939*c_0110_6^36 + 11919716121898551405842266843904159302393654/2247934131454912492509\ 78547206639275939*c_0110_6^34 - 45876940675699277735249658615630842\ 172142025/224793413145491249250978547206639275939*c_0110_6^32 + 81516317514812530408357031955281343404157083/2247934131454912492509\ 78547206639275939*c_0110_6^30 - 41371457572665720690348678389151723\ 536062782/224793413145491249250978547206639275939*c_0110_6^28 - 67962771110984354057482812732879956844237214/2247934131454912492509\ 78547206639275939*c_0110_6^26 + 87930970079739964406403165717122330\ 016634764/224793413145491249250978547206639275939*c_0110_6^24 + 22254334441432204941580454486360307294737430/2247934131454912492509\ 78547206639275939*c_0110_6^22 - 63848845968911649095063286496318399\ 970061081/224793413145491249250978547206639275939*c_0110_6^20 - 13592352609043476202110601888531282408403225/2247934131454912492509\ 78547206639275939*c_0110_6^18 + 26759823536404164311404478663159696\ 135912337/224793413145491249250978547206639275939*c_0110_6^16 + 13636054319372197222175115969299878977736513/2247934131454912492509\ 78547206639275939*c_0110_6^14 - 30036838987225777478663240206837555\ 19276734/224793413145491249250978547206639275939*c_0110_6^12 - 5144298089227115169145457328405871177525488/22479341314549124925097\ 8547206639275939*c_0110_6^10 - 192710635020169624442810775124453635\ 2220517/224793413145491249250978547206639275939*c_0110_6^8 - 128280306517597467633706172905369749649614/224793413145491249250978\ 547206639275939*c_0110_6^6 + 10917005428004317100998089319323907870\ 1719/224793413145491249250978547206639275939*c_0110_6^4 + 29573623356193912086086346914851101464593/2247934131454912492509785\ 47206639275939*c_0110_6^2 + 219810230344750440565190815268613140834\ 8/224793413145491249250978547206639275939, c_0101_5 + 332871147858995926715439580438653002291/44958682629098249850\ 1957094413278551878*c_0110_6^40 - 184332809572462103027591772228992\ 36732577/449586826290982498501957094413278551878*c_0110_6^38 + 170360786028493312457843110773156041860790/224793413145491249250978\ 547206639275939*c_0110_6^36 - 1307041877916648280645606035760977535\ 636271/224793413145491249250978547206639275939*c_0110_6^34 + 4152676319681018214248692159162445661813610/22479341314549124925097\ 8547206639275939*c_0110_6^32 - 767817578296611367620220922694248431\ 7439315/449586826290982498501957094413278551878*c_0110_6^30 - 6997125679067880589740408591916455146762704/22479341314549124925097\ 8547206639275939*c_0110_6^28 + 168575548791626948941832061963148929\ 18728121/224793413145491249250978547206639275939*c_0110_6^26 - 8438443730321892066700504239526909079008919/44958682629098249850195\ 7094413278551878*c_0110_6^24 - 316157848850695104518770141819295292\ 55472023/449586826290982498501957094413278551878*c_0110_6^22 + 8249873940295850966194667431374944779475604/22479341314549124925097\ 8547206639275939*c_0110_6^20 + 197066823331988993789076997329122645\ 43445803/449586826290982498501957094413278551878*c_0110_6^18 - 3550226228666598424162592627624404001765811/22479341314549124925097\ 8547206639275939*c_0110_6^16 - 101261988891070421571875174395676641\ 36300651/449586826290982498501957094413278551878*c_0110_6^14 - 1105307027430655240861145681921168565426237/44958682629098249850195\ 7094413278551878*c_0110_6^12 + 123448282216536394238815545309006112\ 1665251/224793413145491249250978547206639275939*c_0110_6^10 + 742811945762295895612016478803644964114681/224793413145491249250978\ 547206639275939*c_0110_6^8 + 13922125738943543601417540082736663815\ 9404/224793413145491249250978547206639275939*c_0110_6^6 - 53660857199677434284615243298695830459661/4495868262909824985019570\ 94413278551878*c_0110_6^4 - 140469977451704972482498846262226633932\ 33/224793413145491249250978547206639275939*c_0110_6^2 - 3138161329180610506976405185441043517217/44958682629098249850195709\ 4413278551878, c_0110_6^42 - 56*c_0110_6^40 + 1059*c_0110_6^38 - 8542*c_0110_6^36 + 30830*c_0110_6^34 - 46951*c_0110_6^32 + 5619*c_0110_6^30 + 63500*c_0110_6^28 - 43857*c_0110_6^26 - 44240*c_0110_6^24 + 39717*c_0110_6^22 + 30673*c_0110_6^20 - 14891*c_0110_6^18 - 18861*c_0110_6^16 - 2524*c_0110_6^14 + 4719*c_0110_6^12 + 3180*c_0110_6^10 + 784*c_0110_6^8 - 23*c_0110_6^6 - 59*c_0110_6^4 - 13*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB