Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 3583265041] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0428 geometric_solution 4.48182790 oriented_manifold CS_known -0.0000000000000001 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.729765533341 0.072505053559 2 0 2 0 0132 2310 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913325644665 0.062309133078 1 3 1 3 0132 0132 1023 1023 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 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.886488861364 0.131464177607 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936126977326 0.346032238998 3 5 5 6 0132 0213 3012 0132 0 0 0 0 0 1 -1 0 0 0 -1 1 1 0 0 -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 -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.784359923700 0.818037840031 6 4 4 3 1023 1230 0213 0132 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 -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.784359923700 0.818037840031 6 5 4 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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.301305196012 1.143011336135 ==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' : negation(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' : 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' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1941728101803018130086352106836100172682060058550096422365844445104\ 4934519/12312311064463639815627898810309521503698261850572522322685\ 6272644117897216*c_0101_4^33 - 145508968433171044352055240706703991\ 2652915966553710923634966419356676918285/12312311064463639815627898\ 8103095215036982618505725223226856272644117897216*c_0101_4^31 + 6442121145566901453524630509675710590131038856857562822578397911485\ 28067613/1923798603822443721191859189110862734952853414151956612919\ 629260064342144*c_0101_4^29 - 2305239673195921636290697677449734040\ 8461258332628016569166022678787057959331/42456245049874620053889306\ 24244662587482159258818111145753664573935099904*c_0101_4^27 + 5704109644965075257389392948236232193829277941833420205264968760233\ 937084891609/123123110644636398156278988103095215036982618505725223\ 226856272644117897216*c_0101_4^25 - 1333060090919476753865508781729384874967232927255434765182811958653\ 7860988955611/61561555322318199078139494051547607518491309252862611\ 613428136322058948608*c_0101_4^23 + 8205399164587370728240408254698027700587082485800159788281695016546\ 991214736611/153903888305795497695348735128869018796228273132156529\ 03357034080514737152*c_0101_4^21 - 3844250136013828754990758531161499991221687819825288146847888086281\ 296651099133/769519441528977488476743675644345093981141365660782645\ 1678517040257368576*c_0101_4^19 - 645187136884502732664785708018477\ 969219216996914944824513579939171196961205741/212281225249373100269\ 4465312122331293741079629409055572876832286967549952*c_0101_4^17 + 3332822026336333243958834360408163283546703311165215744194928057058\ 649288170149/424562450498746200538893062424466258748215925881811114\ 5753664573935099904*c_0101_4^15 - 142265147290193924975619168459960\ 08315016920853548216142273451084010384654786789/1539038883057954976\ 9534873512886901879622827313215652903357034080514737152*c_0101_4^13 + 10721742715321683216683578061159104754469898343248483162636338866\ 3231174576758895/12312311064463639815627898810309521503698261850572\ 5223226856272644117897216*c_0101_4^11 + 8745297316306185528090759212397407163328572419647437036708157813462\ 45654009115/4245624504987462005388930624244662587482159258818111145\ 753664573935099904*c_0101_4^9 - 10566332511154563452586936622903051\ 0653783789174029009840195847472856052423332485/12312311064463639815\ 6278988103095215036982618505725223226856272644117897216*c_0101_4^7 + 5630280102026921973352816787652472631664657874209130436259738003319\ 2084660482687/12312311064463639815627898810309521503698261850572522\ 3226856272644117897216*c_0101_4^5 - 3857249160157856577035276708550006636051724350247038236902623085040\ 99082685611/3847597207644887442383718378221725469905706828303913225\ 839258520128684288*c_0101_4^3 + 13103805495308595237340296962157702\ 01051529915858739094920154337276593269253/1202374127389027325744911\ 99319428920934553338384497288307476828754021384*c_0101_4, c_0011_0 - 1, c_0011_1 + 432447962537179530770589607965905997892679839162077427033818\ 558277/132675765780858187668404082007645705858817476838065973304802\ 017935471872*c_0101_4^32 - 3198705925338173914883103221623642193031\ 9618876811819412529154586855/13267576578085818766840408200764570585\ 8817476838065973304802017935471872*c_0101_4^30 + 2772220852109530425179104615792232032756031489885355323628308789368\ 9/41461176806518183646376275627389283080880461511895616657750630604\ 83496*c_0101_4^28 - 14021649849403426922374135520849025392768577063\ 515991808159550174967109/132675765780858187668404082007645705858817\ 476838065973304802017935471872*c_0101_4^26 + 1132536936433303811254635154581500870591007993657178063446361451282\ 59531/1326757657808581876684040820076457058588174768380659733048020\ 17935471872*c_0101_4^24 - 24050244354836519689521364080140706322023\ 4038270068141315759614510493793/66337882890429093834202041003822852\ 929408738419032986652401008967735936*c_0101_4^22 + 1213367736163251132247872792155664154220319906333381799518436910808\ 89777/1658447072260727345855051025095571323235218460475824666310025\ 2241933984*c_0101_4^20 - 195568009681960817449336114220134910479275\ 17850283210104132587182711367/8292235361303636729275255125477856616\ 176092302379123331550126120966992*c_0101_4^18 - 7132390389141858625831590764212597619443749587073309636361892891901\ 34315/6633788289042909383420204100382285292940873841903298665240100\ 8967735936*c_0101_4^16 + 107866376126257707827905867435137653596518\ 1993659306368431978187501362675/13267576578085818766840408200764570\ 5858817476838065973304802017935471872*c_0101_4^14 - 1836263440866482985720872384373476696325669762713788454728309307150\ 52587/1658447072260727345855051025095571323235218460475824666310025\ 2241933984*c_0101_4^12 + 749491224006645346836717235811031388763913\ 257373614821742866459932050733/132675765780858187668404082007645705\ 858817476838065973304802017935471872*c_0101_4^10 + 1686544765079342690107338905276532019408428811208885578826624767840\ 573421/132675765780858187668404082007645705858817476838065973304802\ 017935471872*c_0101_4^8 - 12064569723093227487440576394287291666209\ 47286755951466617106316964717391/1326757657808581876684040820076457\ 05858817476838065973304802017935471872*c_0101_4^6 + 2300525639381157553172604768792635392937261591796452498018974949125\ 58781/1326757657808581876684040820076457058588174768380659733048020\ 17935471872*c_0101_4^4 + 629990662136646610119022038428921752043989\ 861025313509635030098973203/207305884032590918231881378136946415404\ 4023075594780832887531530241748*c_0101_4^2 - 1839038386378631974919749155588721782151890437382152612511581350188\ 84/5182647100814772955797034453423660385110057688986952082218828825\ 60437, c_0011_5 + 269806097839910921583160923318807948591335878435681381933847\ 26589829/5307030631234327506736163280305828234352699073522638932192\ 08071741887488*c_0101_4^33 - 20165953591694598308892822559381688025\ 52952547989356443983650526507655/5307030631234327506736163280305828\ 23435269907352263893219208071741887488*c_0101_4^31 + 8889902473601860461288938107745037592735044988158318099477919467570\ 51/8292235361303636729275255125477856616176092302379123331550126120\ 966992*c_0101_4^29 - 9178294010335195478899545220601750223131926826\ 55861355709340571615903365/5307030631234327506736163280305828234352\ 69907352263893219208071741887488*c_0101_4^27 + 7747451202496525676873167624498920319081120751877957049211983290661\ 697131/530703063123432750673616328030582823435269907352263893219208\ 071741887488*c_0101_4^25 - 1777311981153240859076774096656256583123\ 8665701562976780168309637328046257/26535153156171637533680816401529\ 1411717634953676131946609604035870943744*c_0101_4^23 + 1054771559745216976064154599092557324360967784328057505893935506522\ 8944873/66337882890429093834202041003822852929408738419032986652401\ 008967735936*c_0101_4^21 - 4342182492574606411018626697920432074039\ 118697325123479900107121768692599/331689414452145469171010205019114\ 26464704369209516493326200504483867968*c_0101_4^19 - 3228294224446890238248133371234108882304080777326025322528573032451\ 0073451/26535153156171637533680816401529141171763495367613194660960\ 4035870943744*c_0101_4^17 + 121438256591220681360670581840019241008\ 423098482869895089902665674766694899/530703063123432750673616328030\ 582823435269907352263893219208071741887488*c_0101_4^15 - 1703707849849387682087183683341598507125689388489536910907264449275\ 2366351/66337882890429093834202041003822852929408738419032986652401\ 008967735936*c_0101_4^13 + 1241109340900566672476807729384140867140\ 16444747954493821266304729886961261/5307030631234327506736163280305\ 82823435269907352263893219208071741887488*c_0101_4^11 + 5752421335999050551862616907855730848394538922978544859839219990628\ 3866701/53070306312343275067361632803058282343526990735226389321920\ 8071741887488*c_0101_4^9 - 1341397151361891509445652851953074281053\ 21041958709758641361831895428816879/5307030631234327506736163280305\ 82823435269907352263893219208071741887488*c_0101_4^7 + 5415769746320672359481933617055350903351251232990536567337623395615\ 4870429/53070306312343275067361632803058282343526990735226389321920\ 8071741887488*c_0101_4^5 - 2670086527900499654840487726738401787689\ 57278153208062221081060221203641/1658447072260727345855051025095571\ 3232352184604758246663100252241933984*c_0101_4^3 + 2991027304900314794410494245289705431467786111696544478670284719207\ 455/207305884032590918231881378136946415404402307559478083288753153\ 0241748*c_0101_4, c_0101_0 - 139746086992857288059875481991169418178977124678756601023917\ 89009171/5307030631234327506736163280305828234352699073522638932192\ 08071741887488*c_0101_4^33 + 10470207622686222076158975458838278307\ 73289246564971607496672864888945/5307030631234327506736163280305828\ 23435269907352263893219208071741887488*c_0101_4^31 - 1853661078663333142878781635671310639720571323880643513828668621421\ 721/331689414452145469171010205019114264647043692095164933262005044\ 83867968*c_0101_4^29 + 48077982350593424527158232367276650620415766\ 7537697067931113214369776403/53070306312343275067361632803058282343\ 5269907352263893219208071741887488*c_0101_4^27 - 4100495937070945566554808294374001847229773252093375128771632729106\ 936941/530703063123432750673616328030582823435269907352263893219208\ 071741887488*c_0101_4^25 + 9582335979493763795325051239343832211392\ 031649776351152001656499736717327/265351531561716375336808164015291\ 411717634953676131946609604035870943744*c_0101_4^23 - 5907486560825097950579986362898702887912128279267487198541818302383\ 415355/663378828904290938342020410038228529294087384190329866524010\ 08967735936*c_0101_4^21 + 28021209826617051596170736485501613375230\ 79111080737304160386632987287241/3316894144521454691710102050191142\ 6464704369209516493326200504483867968*c_0101_4^19 + 1254359093020552662830724427322711165085207051673771070490782639997\ 7651965/26535153156171637533680816401529141171763495367613194660960\ 4035870943744*c_0101_4^17 - 685882982373047618831715245580745736957\ 87175953577548297538017664835141077/5307030631234327506736163280305\ 82823435269907352263893219208071741887488*c_0101_4^15 + 1064508009394164805825510854657695383813233652889459174288536434561\ 2861227/66337882890429093834202041003822852929408738419032986652401\ 008967735936*c_0101_4^13 - 7956677673786011041009527311413341165889\ 0805257125441494566706493908591723/53070306312343275067361632803058\ 2823435269907352263893219208071741887488*c_0101_4^11 - 1460306223699388210660641582438383508840921910677558791981734111930\ 3742363/53070306312343275067361632803058282343526990735226389321920\ 8071741887488*c_0101_4^9 + 7385205650426311927972685864265291856631\ 2263582122345820521844416798307913/53070306312343275067361632803058\ 2823435269907352263893219208071741887488*c_0101_4^7 - 4426920286440929786821522840294199443754604786674141464531963467731\ 9225099/53070306312343275067361632803058282343526990735226389321920\ 8071741887488*c_0101_4^5 + 7597029744353358100580155648503774304115\ 55261306424214343259950106740613/3316894144521454691710102050191142\ 6464704369209516493326200504483867968*c_0101_4^3 - 2298098339624193866992037803255040773290071940885977908424035338032\ 117/518264710081477295579703445342366038511005768898695208221882882\ 560437*c_0101_4, c_0101_1 + 322339901597125594325841889317416097185980002519561173337254\ 710523/132675765780858187668404082007645705858817476838065973304802\ 017935471872*c_0101_4^32 - 2378848113733342492955772580207042020767\ 2189904828915685551316629945/13267576578085818766840408200764570585\ 8817476838065973304802017935471872*c_0101_4^30 + 5134847280060741488393896490871939033258858776531825113264050345313\ /103652942016295459115940689068473207702201153779739041644376576512\ 0874*c_0101_4^28 - 103425385355536165908803453030599024860152292641\ 24018449923441835405307/1326757657808581876684040820076457058588174\ 76838065973304802017935471872*c_0101_4^26 + 8272092160289108785732395469934484086638246462375988311095434294628\ 7317/13267576578085818766840408200764570585881747683806597330480201\ 7935471872*c_0101_4^24 - 172650520181251453940949558341651633108212\ 802973005070680698140348062191/663378828904290938342020410038228529\ 29408738419032986652401008967735936*c_0101_4^22 + 8389763190788923784314921796317329890059125186106390912796678914937\ 6263/16584470722607273458550510250955713232352184604758246663100252\ 241933984*c_0101_4^20 - 9210089083395868857630875756967824676003732\ 373594185938551590514751769/829223536130363672927525512547785661617\ 6092302379123331550126120966992*c_0101_4^18 - 5074126769530721026847212123923628381218719761200069626196493429873\ 37365/6633788289042909383420204100382285292940873841903298665240100\ 8967735936*c_0101_4^16 + 520749793934754803428352718320456576334364\ 474690949963902401048457779725/132675765780858187668404082007645705\ 858817476838065973304802017935471872*c_0101_4^14 - 1117828127139580511812372468712224901765364822347533665360353070801\ 34009/1658447072260727345855051025095571323235218460475824666310025\ 2241933984*c_0101_4^12 + 344886251456283206554382889783269950026844\ 856239399309246977591069120787/132675765780858187668404082007645705\ 858817476838065973304802017935471872*c_0101_4^10 + 1183711206826489776954050042726496265828626273094072762798166937479\ 063923/132675765780858187668404082007645705858817476838065973304802\ 017935471872*c_0101_4^8 - 59856037740405384675834700093259052439854\ 5826402708575007368496265943889/13267576578085818766840408200764570\ 5858817476838065973304802017935471872*c_0101_4^6 - 3919583923405187723603517290831639041885685720106688109089971599113\ 7501/13267576578085818766840408200764570585881747683806597330480201\ 7935471872*c_0101_4^4 + 3908246197961220068678282112951938325488372\ 489260100938294174262835379/414611768065181836463762756273892830808\ 8046151189561665775063060483496*c_0101_4^2 + 2605795427449943624483528676456351613915668906485417384448044519718\ 00/5182647100814772955797034453423660385110057688986952082218828825\ 60437, c_0101_3 + 215155979601705177833374911783796045606555522700255054575622\ 848739/132675765780858187668404082007645705858817476838065973304802\ 017935471872*c_0101_4^32 - 1611351933393778637604368208420548591082\ 7278110878082369932535978993/13267576578085818766840408200764570585\ 8817476838065973304802017935471872*c_0101_4^30 + 7126220985238072583446341235758711165737736508195795094225491766051\ /207305884032590918231881378136946415404402307559478083288753153024\ 1748*c_0101_4^28 - 738407461796757663859561257593068505384571817859\ 2730353650434840954851/13267576578085818766840408200764570585881747\ 6838065973304802017935471872*c_0101_4^26 + 6279223336009363753887080287294952644945442102488286654504053132924\ 2413/13267576578085818766840408200764570585881747683806597330480201\ 7935471872*c_0101_4^24 - 145676770111086137100274734117280231410759\ 768941906334421364577317869655/663378828904290938342020410038228529\ 29408738419032986652401008967735936*c_0101_4^22 + 8803478995636571288126360292450783552873816323187267498470698028607\ 7439/16584470722607273458550510250955713232352184604758246663100252\ 241933984*c_0101_4^20 - 3788165156259010034531447629852962392239054\ 4347277126260438636708538769/82922353613036367292752551254778566161\ 76092302379123331550126120966992*c_0101_4^18 - 2733918869100589419304914347002870662770816084522944596461228113715\ 01101/6633788289042909383420204100382285292940873841903298665240100\ 8967735936*c_0101_4^16 + 118290222126580818838822296936089212627501\ 4499099695877851320729650203493/13267576578085818766840408200764570\ 5858817476838065973304802017935471872*c_0101_4^14 - 1723218628483966596886376377212143574307877035443574740477647266552\ 84729/1658447072260727345855051025095571323235218460475824666310025\ 2241933984*c_0101_4^12 + 136487856406391941513824004956864061440308\ 2528382182618099818957666182971/13267576578085818766840408200764570\ 5858817476838065973304802017935471872*c_0101_4^10 + 4379528665208916102611725906211151194472293991708994202823169660337\ 91451/1326757657808581876684040820076457058588174768380659733048020\ 17935471872*c_0101_4^8 - 134735831317845749512398935242248549339061\ 2541151582768637584738297432009/13267576578085818766840408200764570\ 5858817476838065973304802017935471872*c_0101_4^6 + 8574210410702475872647386253565417695404013206039587009529392116949\ 67051/1326757657808581876684040820076457058588174768380659733048020\ 17935471872*c_0101_4^4 - 131825959895372718453659377195263594353847\ 33647674602019041784271425891/4146117680651818364637627562738928308\ 088046151189561665775063060483496*c_0101_4^2 + 1347361886601438108933996219663108276154858009140016428290930540969\ 48/5182647100814772955797034453423660385110057688986952082218828825\ 60437, c_0101_4^34 - 75*c_0101_4^32 + 2128*c_0101_4^30 - 34561*c_0101_4^28 + 295903*c_0101_4^26 - 1391306*c_0101_4^24 + 3465864*c_0101_4^22 - 3377200*c_0101_4^20 - 1731934*c_0101_4^18 + 5099447*c_0101_4^16 - 6170600*c_0101_4^14 + 5882953*c_0101_4^12 + 966137*c_0101_4^10 - 5526035*c_0101_4^8 + 3238473*c_0101_4^6 - 812496*c_0101_4^4 + 106240*c_0101_4^2 - 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB