Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3398129192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0536 geometric_solution 4.55488317 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.961048044248 0.527125118721 0 2 3 0 0132 0132 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 -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.307497094409 0.879473931365 3 1 4 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 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 -0.153369913188 0.737427302726 4 2 2 1 1023 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.153369913188 0.737427302726 5 3 5 2 0132 1023 1023 0132 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 0 0 -1 1 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 1.842110889181 1.312946927465 4 6 4 6 0132 0132 1023 1023 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 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.571645282711 0.324331984073 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 1 -1 -1 0 1 0 -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 -1 1 1 0 -1 0 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.579042036378 0.079734137639 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_3'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_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_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 40331489499199922922739884499/133752097457983095551834785*c_0110_6^\ 16 + 108588210526402707902060299687/133752097457983095551834785*c_0\ 110_6^15 + 11054993690172270797526067022/13375209745798309555183478\ 5*c_0110_6^14 + 358081130997046670697441770757/13375209745798309555\ 1834785*c_0110_6^13 - 392517536707111731493220692319/13375209745798\ 3095551834785*c_0110_6^12 - 1432641916981895201998309059179/1337520\ 97457983095551834785*c_0110_6^11 + 167033958757454969706781318071/133752097457983095551834785*c_0110_6\ ^10 + 2266817889511854952045794468407/133752097457983095551834785*c\ _0110_6^9 + 255741937199584403469934278342/267504194915966191103669\ 57*c_0110_6^8 - 362155445621736595213176449552/26750419491596619110\ 366957*c_0110_6^7 - 1354436226212169249286227623204/133752097457983\ 095551834785*c_0110_6^6 + 41665330376125715736834091354/26750419491\ 596619110366957*c_0110_6^5 + 81877162634906290895720512437/13375209\ 7457983095551834785*c_0110_6^4 + 38135102390003480246359788977/1337\ 52097457983095551834785*c_0110_6^3 + 34619624287572047941907783132/133752097457983095551834785*c_0110_6^\ 2 - 1334843100871056747659711585/26750419491596619110366957*c_0110_\ 6 - 2392579218026936106751422117/133752097457983095551834785, c_0011_0 - 1, c_0011_3 - 178144532418678985214755823/26750419491596619110366957*c_011\ 0_6^16 + 356957908311947208363036551/26750419491596619110366957*c_0\ 110_6^15 + 338219998888229082259805194/26750419491596619110366957*c\ _0110_6^14 + 1727651298926292412208268045/2675041949159661911036695\ 7*c_0110_6^13 - 642673657292635591182570547/26750419491596619110366\ 957*c_0110_6^12 - 7148773596283053231687593108/26750419491596619110\ 366957*c_0110_6^11 - 4043959490895272838941300302/26750419491596619\ 110366957*c_0110_6^10 + 9124575472327112771097807531/26750419491596\ 619110366957*c_0110_6^9 + 12741078656875356855501263101/26750419491\ 596619110366957*c_0110_6^8 - 1895962036475067531122461250/267504194\ 91596619110366957*c_0110_6^7 - 10268792484970474112446804290/267504\ 19491596619110366957*c_0110_6^6 - 4979717569950894660397186415/2675\ 0419491596619110366957*c_0110_6^5 - 233878280759615904025445427/26750419491596619110366957*c_0110_6^4 + 564661795085861578502617932/26750419491596619110366957*c_0110_6^3 + 303014205933766732058360131/26750419491596619110366957*c_0110_6^2 + 105767961699453159996415969/26750419491596619110366957*c_0110_6 + 14452430738729363456300390/26750419491596619110366957, c_0101_0 + 447958393697736658060637141/26750419491596619110366957*c_011\ 0_6^16 - 900166473069465911990710229/26750419491596619110366957*c_0\ 110_6^15 - 831388473649317906430142993/26750419491596619110366957*c\ _0110_6^14 - 4344334245576990573370343188/2675041949159661911036695\ 7*c_0110_6^13 + 1549421945432222949250726128/2675041949159661911036\ 6957*c_0110_6^12 + 17841744611292803223031872434/267504194915966191\ 10366957*c_0110_6^11 + 9885425741161610633154154731/267504194915966\ 19110366957*c_0110_6^10 - 22181238543428488882543395714/26750419491\ 596619110366957*c_0110_6^9 - 30882374400251569350179348125/26750419\ 491596619110366957*c_0110_6^8 + 4161595264908346956042687364/267504\ 19491596619110366957*c_0110_6^7 + 23760200914102028971111685543/267\ 50419491596619110366957*c_0110_6^6 + 11833291070866350881648438137/26750419491596619110366957*c_0110_6^5 + 2063723722235552148180310227/26750419491596619110366957*c_0110_6^\ 4 - 532196744928083520888591310/26750419491596619110366957*c_0110_6\ ^3 - 613993729841957549650937406/26750419491596619110366957*c_0110_\ 6^2 - 249562361117733589931975671/26750419491596619110366957*c_0110\ _6 - 74270301023482426522684444/26750419491596619110366957, c_0101_1 + 284490064125781030956371402/26750419491596619110366957*c_011\ 0_6^16 - 667207026118853918457578235/26750419491596619110366957*c_0\ 110_6^15 - 287510641227226092174569385/26750419491596619110366957*c\ _0110_6^14 - 2702891085719621135854872426/2675041949159661911036695\ 7*c_0110_6^13 + 1876423889103175004404186481/2675041949159661911036\ 6957*c_0110_6^12 + 10552649984709479195106037661/267504194915966191\ 10366957*c_0110_6^11 + 2865344793305773604732971443/267504194915966\ 19110366957*c_0110_6^10 - 14423330567780068388943577634/26750419491\ 596619110366957*c_0110_6^9 - 14687624264648591571433200030/26750419\ 491596619110366957*c_0110_6^8 + 6607288940731853097230422700/267504\ 19491596619110366957*c_0110_6^7 + 12065148065699743778415000648/267\ 50419491596619110366957*c_0110_6^6 + 4096829085870235970076454176/26750419491596619110366957*c_0110_6^5 + 796147129362506743393290897/26750419491596619110366957*c_0110_6^4 - 520275989126007226024481213/26750419491596619110366957*c_0110_6^3 - 379138589723921638816557793/26750419491596619110366957*c_0110_6^2 - 104945571485010959089543901/26750419491596619110366957*c_0110_6 - 16294575244557256437628040/26750419491596619110366957, c_0101_2 + 49060575209426752768879823/26750419491596619110366957*c_0110\ _6^16 - 159609353050685641408838575/26750419491596619110366957*c_01\ 10_6^15 + 73561574247216111804032861/26750419491596619110366957*c_0\ 110_6^14 - 472220862953867602130462335/26750419491596619110366957*c\ _0110_6^13 + 748380835184653454070254551/26750419491596619110366957\ *c_0110_6^12 + 1347885942029684764242526626/26750419491596619110366\ 957*c_0110_6^11 - 965525635177393912451006472/267504194915966191103\ 66957*c_0110_6^10 - 2324601634283895457773428237/267504194915966191\ 10366957*c_0110_6^9 - 328945043837496846396065891/26750419491596619\ 110366957*c_0110_6^8 + 2518225761945913502677183930/267504194915966\ 19110366957*c_0110_6^7 + 471592695421105545980987029/26750419491596\ 619110366957*c_0110_6^6 - 513869595915715407540479723/2675041949159\ 6619110366957*c_0110_6^5 - 14990148997664011075427549/2675041949159\ 6619110366957*c_0110_6^4 - 179219129693202981359133605/267504194915\ 96619110366957*c_0110_6^3 + 45135300331023101441424886/267504194915\ 96619110366957*c_0110_6^2 + 41018658414637273160256178/267504194915\ 96619110366957*c_0110_6 + 9145832518535204747742215/267504194915966\ 19110366957, c_0101_4 - 158616386205060476463590705/26750419491596619110366957*c_011\ 0_6^16 + 292209058508013920905924188/26750419491596619110366957*c_0\ 110_6^15 + 368135304331982827791386626/26750419491596619110366957*c\ _0110_6^14 + 1543914128028625793402191385/2675041949159661911036695\ 7*c_0110_6^13 - 323934474317572540300723116/26750419491596619110366\ 957*c_0110_6^12 - 6601014143840629426200819720/26750419491596619110\ 366957*c_0110_6^11 - 4468989314679870252404795122/26750419491596619\ 110366957*c_0110_6^10 + 8072863605471723361119000234/26750419491596\ 619110366957*c_0110_6^9 + 12573242665281532943483721619/26750419491\ 596619110366957*c_0110_6^8 - 677077200528197249352445780/2675041949\ 1596619110366957*c_0110_6^7 - 9878964295066679044192953478/26750419\ 491596619110366957*c_0110_6^6 - 5245889877008116379948621325/267504\ 19491596619110366957*c_0110_6^5 - 472981997058812766697979587/26750\ 419491596619110366957*c_0110_6^4 + 437048454700997015519800229/26750419491596619110366957*c_0110_6^3 + 348301440780689472549034665/26750419491596619110366957*c_0110_6^2 + 100717589082798948116311613/26750419491596619110366957*c_0110_6 + 20683154440334400522055230/26750419491596619110366957, c_0110_6^17 - 45/19*c_0110_6^16 - 23/19*c_0110_6^15 - 168/19*c_0110_6^14 + 7*c_0110_6^13 + 746/19*c_0110_6^12 + 136/19*c_0110_6^11 - 1145/19*c_0110_6^10 - 976/19*c_0110_6^9 + 730/19*c_0110_6^8 + 1004/19*c_0110_6^7 + 82/19*c_0110_6^6 - 8*c_0110_6^5 - 53/19*c_0110_6^4 - 13/19*c_0110_6^3 - 1/19*c_0110_6^2 + 2/19*c_0110_6 + 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB