Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 829467932] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s196 geometric_solution 4.31208319 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 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 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 1.948229248630 0.342232683255 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -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 -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.481736509366 0.653927967888 1 1 3 4 2310 0132 0132 0132 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 0 1 0 -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 0.018135146223 0.386993551879 4 5 5 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.596878886253 0.799368064237 5 3 2 5 2310 1023 0132 1023 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 0 1 -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 0.596878886253 0.799368064237 3 3 4 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 1 0 0 -1 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 -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 1.400274641461 0.803180192783 ==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' : negation(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_1_5' : negation(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_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(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_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_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_5']), '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 52506431165647717076421691/3415241141732711566318404608*c_0101_5^20 + 373546571511230203693482169/6830482283465423132636809216*c_0101_5\ ^18 - 4550625465574816257251537805/6830482283465423132636809216*c_0\ 101_5^16 - 34815680110058553687988823747/68304822834654231326368092\ 16*c_0101_5^14 - 5049855779681574409713334105/426905142716588945789\ 800576*c_0101_5^12 - 300105836043685413328548620909/683048228346542\ 3132636809216*c_0101_5^10 - 13298805580773455074445268167/426905142\ 716588945789800576*c_0101_5^8 - 18934176063827445076190540615/21345\ 2571358294472894900288*c_0101_5^6 + 1947652551567894296698966413/53363142839573618223725072*c_0101_5^4 + 858646584227713731666786135/26681571419786809111862536*c_0101_5^2 + 52319028801161474395471648/3335196427473351138982817, c_0011_0 - 1, c_0011_3 + 4423215561843517645508403/13660964566930846265273618432*c_01\ 01_5^20 + 14204355125104922889316937/13660964566930846265273618432*\ c_0101_5^18 - 199120174189206407913575647/1366096456693084626527361\ 8432*c_0101_5^16 - 702734291982397796892989493/68304822834654231326\ 36809216*c_0101_5^14 - 2789576040892997083115575169/136609645669308\ 46265273618432*c_0101_5^12 - 2710680034357276955992520647/341524114\ 1732711566318404608*c_0101_5^10 - 271693821009999052743621913/85381\ 0285433177891579601152*c_0101_5^8 - 345027566125502165258823577/213452571358294472894900288*c_0101_5^6 + 58986778905626542637276433/53363142839573618223725072*c_0101_5^4 + 300230228494592331055181/13340785709893404555931268*c_0101_5^2 - 669393408265712625546477/3335196427473351138982817, c_0101_0 - 2589305596952432118113887/13660964566930846265273618432*c_01\ 01_5^21 - 17481397396503384649756753/13660964566930846265273618432*\ c_0101_5^19 + 86494744761384531242379903/13660964566930846265273618\ 432*c_0101_5^17 + 613265326826262840081836219/683048228346542313263\ 6809216*c_0101_5^15 + 4562380800868699636034297837/1366096456693084\ 6265273618432*c_0101_5^13 + 1587920066252589000102168287/1707620570\ 866355783159202304*c_0101_5^11 + 1697866440085978540546747239/85381\ 0285433177891579601152*c_0101_5^9 + 709844774632754906378696461/426905142716588945789800576*c_0101_5^7 + 308184761045651037795537783/106726285679147236447450144*c_0101_5^5 - 44615217206645256763449543/13340785709893404555931268*c_0101_5^3 - 2650696991827271753196777/6670392854946702277965634*c_0101_5, c_0101_1 + 10716547782562688089897585/13660964566930846265273618432*c_0\ 101_5^21 + 36772460054279359758352307/13660964566930846265273618432\ *c_0101_5^19 - 467326129196618312489964917/136609645669308462652736\ 18432*c_0101_5^17 - 1743502447348388500889292647/683048228346542313\ 2636809216*c_0101_5^15 - 7876188776416074960945320411/1366096456693\ 0846265273618432*c_0101_5^13 - 7563291686971500064426471281/3415241\ 141732711566318404608*c_0101_5^11 - 306041034386047948974247191/213452571358294472894900288*c_0101_5^9 - 252363446630501540561328287/53363142839573618223725072*c_0101_5^7 + 56283624154549875188513573/26681571419786809111862536*c_0101_5^5 + 2803748666539601012680615/6670392854946702277965634*c_0101_5^3 + 7236459305633665561439043/6670392854946702277965634*c_0101_5, c_0101_2 - 2719744241780602672854825/13660964566930846265273618432*c_01\ 01_5^21 - 13440561792950856414169983/13660964566930846265273618432*\ c_0101_5^19 + 103918067529532431137932857/1366096456693084626527361\ 8432*c_0101_5^17 + 531770144046225137935945213/68304822834654231326\ 36809216*c_0101_5^15 + 3371338435764524781230278307/136609645669308\ 46265273618432*c_0101_5^13 + 169333244425548687498848247/2134525713\ 58294472894900288*c_0101_5^11 + 2034608567227305144357424353/170762\ 0570866355783159202304*c_0101_5^9 + 360164992936648686379694573/213452571358294472894900288*c_0101_5^7 + 103031440106279876443080261/106726285679147236447450144*c_0101_5^5 - 19732308940959648191268759/13340785709893404555931268*c_0101_5^3 - 2366169929409945052909714/3335196427473351138982817*c_0101_5, c_0101_5^22 + 73/23*c_0101_5^20 - 1031/23*c_0101_5^18 - 7254/23*c_0101_5^16 - 14645/23*c_0101_5^14 - 2520*c_0101_5^12 - 19152/23*c_0101_5^10 - 106560/23*c_0101_5^8 + 111360/23*c_0101_5^6 + 43008/23*c_0101_5^4 - 16384/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB