Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 2598045265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1636 geometric_solution 5.37977931 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.576496293267 0.255623785560 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 0 -1 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.973896915494 0.387145265825 1 3 1 4 0132 0132 1023 0132 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 0 1 -1 -1 0 1 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.500963142398 0.250716708928 4 2 6 5 3012 0132 0132 0132 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 0 0 0 1 0 -1 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.877537120095 0.709953477097 5 6 2 3 1023 0132 0132 1230 0 0 0 0 0 0 -1 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 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.877537120095 0.709953477097 5 4 3 5 3012 1023 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272208291133 0.550320093243 6 4 6 3 2310 0132 3201 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 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.936122911204 0.724375361671 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 4825017340247190031458981800859899656289328093131498/60578455588703\ 91144804348357042463622088475834994497*c_1001_3^15 + 10398731732086267819399856659204952238980323803124892/1652139697873\ 743039492095006466126442387766136816681*c_1001_3^14 + 196657229332998823248938267058951755923493767269335558/605784555887\ 0391144804348357042463622088475834994497*c_1001_3^13 + 2649382685280715519563705956290191594053079296878887927/60578455588\ 70391144804348357042463622088475834994497*c_1001_3^12 + 24712622669075201505597893802861334413231556972442412973/1817353667\ 6611173434413045071127390866265427504983491*c_1001_3^11 + 74528941283026550739652773002817803310287112342562130888/1817353667\ 6611173434413045071127390866265427504983491*c_1001_3^10 + 173801960943748098477282288003025973368011476481024007937/181735366\ 76611173434413045071127390866265427504983491*c_1001_3^9 + 69932020662259646441652348200078074697259548821341864916/6057845558\ 870391144804348357042463622088475834994497*c_1001_3^8 + 649891438912832991530697449857858863222962195004176795108/181735366\ 76611173434413045071127390866265427504983491*c_1001_3^7 + 929505385346117554684478236045749568641334003991775355928/181735366\ 76611173434413045071127390866265427504983491*c_1001_3^6 + 11404633923305458652561191549637224139369877235803047517/5507132326\ 24581013164031668822042147462588712272227*c_1001_3^5 + 180462939572559932581395329165192102853781343827830859981/605784555\ 8870391144804348357042463622088475834994497*c_1001_3^4 + 93075808342105910350557247471858885520973478754485864782/6057845558\ 870391144804348357042463622088475834994497*c_1001_3^3 + 380379735567423022926060972542722645048203751368844155102/605784555\ 8870391144804348357042463622088475834994497*c_1001_3^2 - 15688348402215954076314248252776361805417953907594633347/6057845558\ 870391144804348357042463622088475834994497*c_1001_3 - 29640041030132381243193812576303912503276769307007179863/1817353667\ 6611173434413045071127390866265427504983491, c_0011_0 - 1, c_0011_1 + 62750715257589004370123154928890003808557203/214035457685418\ 194000789610890805342970302647599*c_1001_3^15 - 508851304838192199022960628365315422509425920/214035457685418194000\ 789610890805342970302647599*c_1001_3^14 - 2455293792323899845162270543178151387556439958/21403545768541819400\ 0789610890805342970302647599*c_1001_3^13 - 33926544158909729374846256507557771843452994934/2140354576854181940\ 00789610890805342970302647599*c_1001_3^12 - 99985011042866150080604040856931236689027934805/2140354576854181940\ 00789610890805342970302647599*c_1001_3^11 - 300715709583440890253234171922702307476572973223/214035457685418194\ 000789610890805342970302647599*c_1001_3^10 - 685289408720270221736037552023837145114314061330/214035457685418194\ 000789610890805342970302647599*c_1001_3^9 - 748811429491468022645924112744925225494976870223/214035457685418194\ 000789610890805342970302647599*c_1001_3^8 - 2615883062866377886255474111690962365865328763263/21403545768541819\ 4000789610890805342970302647599*c_1001_3^7 - 3417201329762392936613160807804026727092456503166/21403545768541819\ 4000789610890805342970302647599*c_1001_3^6 - 749187196151840881399196039173897495101479759021/214035457685418194\ 000789610890805342970302647599*c_1001_3^5 - 1920778716449114891380878741075556832423640729863/21403545768541819\ 4000789610890805342970302647599*c_1001_3^4 - 568928704631702692533451460106628155233426292653/214035457685418194\ 000789610890805342970302647599*c_1001_3^3 - 4652633441416485787960948455453088865988817966761/21403545768541819\ 4000789610890805342970302647599*c_1001_3^2 + 1291049456749278672880153333965740575583182473068/21403545768541819\ 4000789610890805342970302647599*c_1001_3 + 75248869685187011429381892675243815188315154122/2140354576854181940\ 00789610890805342970302647599, c_0011_4 - 6194740453365952273489385046924912319167425643/1776494298788\ 9710102065537703936843466535119750717*c_1001_3^15 + 49775708848565627861796210715061792348368666781/1776494298788971010\ 2065537703936843466535119750717*c_1001_3^14 + 245899396061319195266943973790291614653933127941/177649429878897101\ 02065537703936843466535119750717*c_1001_3^13 + 3368696111856607297006122354138628191904568100416/17764942987889710\ 102065537703936843466535119750717*c_1001_3^12 + 10126470592124944726360671573655468852659888814852/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^11 + 30529263750919109967794452935865210842001254700732/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^10 + 70211368963810375265813094468803804584913422348689/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^9 + 80080308229674727361998499061657809771506830232075/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^8 + 266407679618660434291848063820061339670928133037867/177649429878897\ 10102065537703936843466535119750717*c_1001_3^7 + 360265714380912971425934378745037645676780867129466/177649429878897\ 10102065537703936843466535119750717*c_1001_3^6 + 109360399434588255162248524558981744528956973274251/177649429878897\ 10102065537703936843466535119750717*c_1001_3^5 + 209392077788217090271523885597292619916879273917212/177649429878897\ 10102065537703936843466535119750717*c_1001_3^4 + 82256746858225518976569799566137974204088679627563/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^3 + 467855688790825664794946206065778957153275766487806/177649429878897\ 10102065537703936843466535119750717*c_1001_3^2 - 81975878791252034738943584414954203088914171545555/1776494298788971\ 0102065537703936843466535119750717*c_1001_3 - 11143923270298662642798209515881411548365327553423/1776494298788971\ 0102065537703936843466535119750717, c_0101_0 - 93573951275462696516172668272125746139053579/214035457685418\ 194000789610890805342970302647599*c_1001_3^15 + 761575878012402753167404241149147022502191455/214035457685418194000\ 789610890805342970302647599*c_1001_3^14 + 3638468038249018668326600361434450458638396026/21403545768541819400\ 0789610890805342970302647599*c_1001_3^13 + 50482944918937301777918411355226891993887766455/2140354576854181940\ 00789610890805342970302647599*c_1001_3^12 + 147624677184727448359257187183584377023432580361/214035457685418194\ 000789610890805342970302647599*c_1001_3^11 + 444368965762559292037862621139011017710737966197/214035457685418194\ 000789610890805342970302647599*c_1001_3^10 + 1010830161997476925682204781353150095161525787832/21403545768541819\ 4000789610890805342970302647599*c_1001_3^9 + 1096149274446581921821740000230049313890436054708/21403545768541819\ 4000789610890805342970302647599*c_1001_3^8 + 3892762027078030230612726602767242157037595083416/21403545768541819\ 4000789610890805342970302647599*c_1001_3^7 + 5042229225177574840296505419563261829673362813376/21403545768541819\ 4000789610890805342970302647599*c_1001_3^6 + 1062909554792863647586937036878882098847761539551/21403545768541819\ 4000789610890805342970302647599*c_1001_3^5 + 2982962051468443865284478622494217558903452508303/21403545768541819\ 4000789610890805342970302647599*c_1001_3^4 + 1133283214268666206129192821772389105717370203020/21403545768541819\ 4000789610890805342970302647599*c_1001_3^3 + 6988274483767538224204115171247435665764573326655/21403545768541819\ 4000789610890805342970302647599*c_1001_3^2 - 2113888636581229952027129099053159947241903984945/21403545768541819\ 4000789610890805342970302647599*c_1001_3 - 143432764627438947166695913015241683482986968771/214035457685418194\ 000789610890805342970302647599, c_0101_1 - 31371639194622751770122048295138183890117575/214035457685418\ 194000789610890805342970302647599*c_1001_3^15 + 253465481415773877616519786258108376384630263/214035457685418194000\ 789610890805342970302647599*c_1001_3^14 + 1235281751513889043731822215087606938951668530/21403545768541819400\ 0789610890805342970302647599*c_1001_3^13 + 16996572388622002966252551456727481603164708034/2140354576854181940\ 00789610890805342970302647599*c_1001_3^12 + 50472718648646812604967571128631220230522186781/2140354576854181940\ 00789610890805342970302647599*c_1001_3^11 + 151662016974332511734618629251695937856025277422/214035457685418194\ 000789610890805342970302647599*c_1001_3^10 + 346238535408606062204020089131760050803363439937/214035457685418194\ 000789610890805342970302647599*c_1001_3^9 + 382196918415591244607704986199423262412777488783/214035457685418194\ 000789610890805342970302647599*c_1001_3^8 + 1313021626023621413166574988751511625473333151056/21403545768541819\ 4000789610890805342970302647599*c_1001_3^7 + 1736050675552292158581876400812517420533238510803/21403545768541819\ 4000789610890805342970302647599*c_1001_3^6 + 413760995129710094378693192953801752395261426579/214035457685418194\ 000789610890805342970302647599*c_1001_3^5 + 926078397760842462167470748271388023238558898562/214035457685418194\ 000789610890805342970302647599*c_1001_3^4 + 326122890349973444086543933334508120365210487353/214035457685418194\ 000789610890805342970302647599*c_1001_3^3 + 2363212181278267932814844836321065665231236661314/21403545768541819\ 4000789610890805342970302647599*c_1001_3^2 - 569413710073623435421729678735625094497584883525/214035457685418194\ 000789610890805342970302647599*c_1001_3 + 95525656912982445069416343611161781991111412067/2140354576854181940\ 00789610890805342970302647599, c_0101_3 - 1337052667728475025739289579917521891938103694/1776494298788\ 9710102065537703936843466535119750717*c_1001_3^15 + 10386319605962260360941727593747767762667263336/1776494298788971010\ 2065537703936843466535119750717*c_1001_3^14 + 56148626308520745399872956269718782456316777411/1776494298788971010\ 2065537703936843466535119750717*c_1001_3^13 + 739584672008272898948654622717353740606134845641/177649429878897101\ 02065537703936843466535119750717*c_1001_3^12 + 2371914953167849460959605341358987884754404060836/17764942987889710\ 102065537703936843466535119750717*c_1001_3^11 + 7063195407514528743643427719175065802580165093174/17764942987889710\ 102065537703936843466535119750717*c_1001_3^10 + 16598809519355429548117587466623126188796954274242/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^9 + 20401645660176175943109777002862900444785039255209/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^8 + 60059768787364425413664706958215275098822013940832/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^7 + 91032627772683631292969236042181593950838627795475/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^6 + 36517436276418424980141857349938427811772161321798/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^5 + 41059485588939803671095811400746725881638920868101/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^4 + 28192619331687418557265704536967149502963174241156/1776494298788971\ 0102065537703936843466535119750717*c_1001_3^3 + 105437622585877122369424117195839097896747090785620/177649429878897\ 10102065537703936843466535119750717*c_1001_3^2 + 9953867024145227026615961162212318820755212608863/17764942987889710\ 102065537703936843466535119750717*c_1001_3 - 11954175642834680434437806348149566771048932820605/1776494298788971\ 0102065537703936843466535119750717, c_1001_3^16 - 8*c_1001_3^15 - 40*c_1001_3^14 - 545*c_1001_3^13 - 1653*c_1001_3^12 - 4974*c_1001_3^11 - 11478*c_1001_3^10 - 13242*c_1001_3^9 - 43295*c_1001_3^8 - 59586*c_1001_3^7 - 19040*c_1001_3^6 - 33816*c_1001_3^5 - 15075*c_1001_3^4 - 76320*c_1001_3^3 + 11350*c_1001_3^2 + 2929*c_1001_3 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB