Example:
gap> V := get_intersection_matrix_Iknn(km, "0"); discreta_batch get_intersection_matrix_Iknn KM_PGGL_2_32_t5_k6.txt discreta_ba\ tch_output.g discreta_tmp 0 [ 0, 5, [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ], [ [ [ 21868, 21871, 43744, 43748, 21867, 8748, 8748, 8748, 21877, 43750, 21877, 21873, 7291 ], [ 21871, 21866, 43744, 43738, 21871, 8750, 8750, 8750, 21873, 43752, 21873, 21879, 7293 ], [ 21872, 21872, 43746, 43745, 21872, 8749, 8749, 8749, 21873, 43746, 21873, 21873, 7291 ], [ 21874, 21869, 43745, 43741, 21874, 8750, 8750, 8750, 21871, 43747, 21871, 21876, 7292 ], [ 21867, 21871, 43744, 43748, 21868, 8748, 8748, 8748, 21877, 43750, 21877, 21873, 7291 ], [ 21870, 21875, 43745, 43750, 21870, 8749, 8748, 8748, 21875, 43745, 21875, 21870, 7290 ], [ 21870, 21875, 43745, 43750, 21870, 8748, 8749, 8748, 21875, 43745, 21875, 21870, 7290 ], [ 21870, 21875, 43745, 43750, 21870, 8748, 8748, 8749, 21875, 43745, 21875, 21870, 7290 ], [ 21877, 21873, 43746, 43742, 21877, 8750, 8750, 8750, 21870, 43742, 21869, 21873, 7291 ], [ 21875, 21876, 43746, 43747, 21875, 8749, 8749, 8749, 21871, 43742, 21871, 21870, 7290 ], [ 21877, 21873, 43746, 43742, 21877, 8750, 8750, 8750, 21869, 43742, 21870, 21873, 7291 ], [ 21873, 21879, 43746, 43752, 21873, 8748, 8748, 8748, 21873, 43740, 21873, 21868, 7289 ], [ 21873, 21879, 43746, 43752, 21873, 8748, 8748, 8748, 21873, 43740, 21873, 21867, 7290 ] ], [ [ 35814, 35800, 71590, 71570, 35820, 14322, 14322, 14322, 35770, 71560, 35770, 35790, 11930 ], [ 35800, 35824, 71590, 71620, 35800, 14312, 14312, 14312, 35790, 71550, 35790, 35760, 11920 ], [ 35795, 35795, 71579, 71585, 35795, 14317, 14317, 14317, 35790, 71580, 35790, 35790, 11930 ], [ 35785, 35810, 71585, 71604, 35785, 14312, 14312, 14312, 35800, 71575, 35800, 35775, 11925 ], [ 35820, 35800, 71590, 71570, 35814, 14322, 14322, 14322, 35770, 71560, 35770, 35790, 11930 ], [ 35805, 35780, 71585, 71560, 35805, 14316, 14322, 14322, 35780, 71585, 35780, 35805, 11935 ], [ 35805, 35780, 71585, 71560, 35805, 14322, 14316, 14322, 35780, 71585, 35780, 35805, 11935 ], [ 35805, 35780, 71585, 71560, 35805, 14322, 14322, 14316, 35780, 71585, 35780, 35805, 11935 ], [ 35770, 35790, 71580, 71600, 35770, 14312, 14312, 14312, 35804, 71600, 35810, 35790, 11930 ], [ 35780, 35775, 71580, 71575, 35780, 14317, 14317, 14317, 35800, 71599, 35800, 35805, 11935 ], [ 35770, 35790, 71580, 71600, 35770, 14312, 14312, 14312, 35810, 71600, 35804, 35790, 11930 ], [ 35790, 35760, 71580, 71550, 35790, 14322, 14322, 14322, 35790, 71610, 35790, 35814, 11940 ], [ 35790, 35760, 71580, 71550, 35790, 14322, 14322, 14322, 35790, 71610, 35790, 35820, 11934 ] ], [ [ 19410, 19435, 38890, 38930, 19395, 7770, 7770, 7770, 19495, 38950, 19495, 19455, 6485 ], [ 19435, 19390, 38890, 38830, 19435, 7790, 7790, 7790, 19455, 38970, 19455, 19515, 6505 ], [ 19445, 19445, 38915, 38900, 19445, 7780, 7780, 7780, 19455, 38910, 19455, 19455, 6485 ], [ 19465, 19415, 38900, 38865, 19465, 7790, 7790, 7790, 19435, 38920, 19435, 19485, 6495 ], [ 19395, 19435, 38890, 38930, 19410, 7770, 7770, 7770, 19495, 38950, 19495, 19455, 6485 ], [ 19425, 19475, 38900, 38950, 19425, 7785, 7770, 7770, 19475, 38900, 19475, 19425, 6475 ], [ 19425, 19475, 38900, 38950, 19425, 7770, 7785, 7770, 19475, 38900, 19475, 19425, 6475 ], [ 19425, 19475, 38900, 38950, 19425, 7770, 7770, 7785, 19475, 38900, 19475, 19425, 6475 ], [ 19495, 19455, 38910, 38870, 19495, 7790, 7790, 7790, 19430, 38870, 19415, 19455, 6485 ], [ 19475, 19485, 38910, 38920, 19475, 7780, 7780, 7780, 19435, 38875, 19435, 19425, 6475 ], [ 19495, 19455, 38910, 38870, 19495, 7790, 7790, 7790, 19415, 38870, 19430, 19455, 6485 ], [ 19455, 19515, 38910, 38970, 19455, 7770, 7770, 7770, 19455, 38850, 19455, 19410, 6465 ], [ 19455, 19515, 38910, 38970, 19455, 7770, 7770, 7770, 19455, 38850, 19455, 19395, 6480 ] ], [ [ 4360, 4340, 8660, 8620, 4380, 1740, 1740, 1740, 4280, 8600, 4280, 4320, 1440 ], [ 4340, 4380, 8660, 8720, 4340, 1720, 1720, 1720, 4320, 8580, 4320, 4260, 1420 ], [ 4330, 4330, 8630, 8650, 4330, 1730, 1730, 1730, 4320, 8640, 4320, 4320, 1440 ], [ 4310, 4360, 8650, 8680, 4310, 1720, 1720, 1720, 4340, 8630, 4340, 4290, 1430 ], [ 4380, 4340, 8660, 8620, 4360, 1740, 1740, 1740, 4280, 8600, 4280, 4320, 1440 ], [ 4350, 4300, 8650, 8600, 4350, 1720, 1740, 1740, 4300, 8650, 4300, 4350, 1450 ], [ 4350, 4300, 8650, 8600, 4350, 1740, 1720, 1740, 4300, 8650, 4300, 4350, 1450 ], [ 4350, 4300, 8650, 8600, 4350, 1740, 1740, 1720, 4300, 8650, 4300, 4350, 1450 ], [ 4280, 4320, 8640, 8680, 4280, 1720, 1720, 1720, 4340, 8680, 4360, 4320, 1440 ], [ 4300, 4290, 8640, 8630, 4300, 1730, 1730, 1730, 4340, 8670, 4340, 4350, 1450 ], [ 4280, 4320, 8640, 8680, 4280, 1720, 1720, 1720, 4360, 8680, 4340, 4320, 1440 ], [ 4320, 4260, 8640, 8580, 4320, 1740, 1740, 1740, 4320, 8700, 4320, 4360, 1460 ], [ 4320, 4260, 8640, 8580, 4320, 1740, 1740, 1740, 4320, 8700, 4320, 4380, 1440 ] ], [ [ 375, 380, 770, 790, 360, 150, 150, 150, 410, 800, 410, 390, 130 ], [ 380, 365, 770, 740, 380, 160, 160, 160, 390, 810, 390, 420, 140 ], [ 385, 385, 790, 775, 385, 155, 155, 155, 390, 780, 390, 390, 130 ], [ 395, 370, 775, 765, 395, 160, 160, 160, 380, 785, 380, 405, 135 ], [ 360, 380, 770, 790, 375, 150, 150, 150, 410, 800, 410, 390, 130 ], [ 375, 400, 775, 800, 375, 165, 150, 150, 400, 775, 400, 375, 125 ], [ 375, 400, 775, 800, 375, 150, 165, 150, 400, 775, 400, 375, 125 ], [ 375, 400, 775, 800, 375, 150, 150, 165, 400, 775, 400, 375, 125 ], [ 410, 390, 780, 760, 410, 160, 160, 160, 385, 760, 370, 390, 130 ], [ 400, 405, 780, 785, 400, 155, 155, 155, 380, 770, 380, 375, 125 ], [ 410, 390, 780, 760, 410, 160, 160, 160, 370, 760, 385, 390, 130 ], [ 390, 420, 780, 810, 390, 150, 150, 150, 390, 750, 390, 375, 120 ], [ 390, 420, 780, 810, 390, 150, 150, 150, 390, 750, 390, 360, 135 ] ], [ [ 12, 14, 26, 22, 18, 6, 6, 6, 8, 20, 8, 12, 4 ], [ 14, 14, 26, 32, 14, 4, 4, 4, 12, 18, 12, 6, 2 ], [ 13, 13, 19, 25, 13, 5, 5, 5, 12, 24, 12, 12, 4 ], [ 11, 16, 25, 24, 11, 4, 4, 4, 14, 23, 14, 9, 3 ], [ 18, 14, 26, 22, 12, 6, 6, 6, 8, 20, 8, 12, 4 ], [ 15, 10, 25, 20, 15, 0, 6, 6, 10, 25, 10, 15, 5 ], [ 15, 10, 25, 20, 15, 6, 0, 6, 10, 25, 10, 15, 5 ], [ 15, 10, 25, 20, 15, 6, 6, 0, 10, 25, 10, 15, 5 ], [ 8, 12, 24, 28, 8, 4, 4, 4, 10, 28, 16, 12, 4 ], [ 10, 9, 24, 23, 10, 5, 5, 5, 14, 23, 14, 15, 5 ], [ 8, 12, 24, 28, 8, 4, 4, 4, 16, 28, 10, 12, 4 ], [ 12, 6, 24, 18, 12, 6, 6, 6, 12, 30, 12, 12, 6 ], [ 12, 6, 24, 18, 12, 6, 6, 6, 12, 30, 12, 18, 0 ] ] ] ] gap> V[1]; 0 gap> V[2]; 5 gap> V[3]; [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] gap> VV := V[4];; gap> I0 := VV[1];; gap> I1 := VV[2];; gap> I2 := VV[3];; gap> I3 := VV[4];; gap> I4 := VV[5];; gap> I5 := VV[6];; gap> PrintArray(I0); [ [ 21868, 21871, 43744, 43748, 21867, 8748, 8748, 8748, 21877, 4\ 3750, 21877, 21873, 7291 ], [ 21871, 21866, 43744, 43738, 21871, 8750, 8750, 8750, 21873, 4\ 3752, 21873, 21879, 7293 ], [ 21872, 21872, 43746, 43745, 21872, 8749, 8749, 8749, 21873, 4\ 3746, 21873, 21873, 7291 ], [ 21874, 21869, 43745, 43741, 21874, 8750, 8750, 8750, 21871, 4\ 3747, 21871, 21876, 7292 ], [ 21867, 21871, 43744, 43748, 21868, 8748, 8748, 8748, 21877, 4\ 3750, 21877, 21873, 7291 ], [ 21870, 21875, 43745, 43750, 21870, 8749, 8748, 8748, 21875, 4\ 3745, 21875, 21870, 7290 ], [ 21870, 21875, 43745, 43750, 21870, 8748, 8749, 8748, 21875, 4\ 3745, 21875, 21870, 7290 ], [ 21870, 21875, 43745, 43750, 21870, 8748, 8748, 8749, 21875, 4\ 3745, 21875, 21870, 7290 ], [ 21877, 21873, 43746, 43742, 21877, 8750, 8750, 8750, 21870, 4\ 3742, 21869, 21873, 7291 ], [ 21875, 21876, 43746, 43747, 21875, 8749, 8749, 8749, 21871, 4\ 3742, 21871, 21870, 7290 ], [ 21877, 21873, 43746, 43742, 21877, 8750, 8750, 8750, 21869, 4\ 3742, 21870, 21873, 7291 ], [ 21873, 21879, 43746, 43752, 21873, 8748, 8748, 8748, 21873, 4\ 3740, 21873, 21868, 7289 ], [ 21873, 21879, 43746, 43752, 21873, 8748, 8748, 8748, 21873, 4\ 3740, 21873, 21867, 7290 ] ] gap> PrintArray(I1); [ [ 35814, 35800, 71590, 71570, 35820, 14322, 14322, 14322, 35770, 7\ 1560, 35770, 35790, 11930 ], [ 35800, 35824, 71590, 71620, 35800, 14312, 14312, 14312, 35790, 7\ 1550, 35790, 35760, 11920 ], [ 35795, 35795, 71579, 71585, 35795, 14317, 14317, 14317, 35790, 7\ 1580, 35790, 35790, 11930 ], [ 35785, 35810, 71585, 71604, 35785, 14312, 14312, 14312, 35800, 7\ 1575, 35800, 35775, 11925 ], [ 35820, 35800, 71590, 71570, 35814, 14322, 14322, 14322, 35770, 7\ 1560, 35770, 35790, 11930 ], [ 35805, 35780, 71585, 71560, 35805, 14316, 14322, 14322, 35780, 7\ 1585, 35780, 35805, 11935 ], [ 35805, 35780, 71585, 71560, 35805, 14322, 14316, 14322, 35780, 7\ 1585, 35780, 35805, 11935 ], [ 35805, 35780, 71585, 71560, 35805, 14322, 14322, 14316, 35780, 7\ 1585, 35780, 35805, 11935 ], [ 35770, 35790, 71580, 71600, 35770, 14312, 14312, 14312, 35804, 7\ 1600, 35810, 35790, 11930 ], [ 35780, 35775, 71580, 71575, 35780, 14317, 14317, 14317, 35800, 7\ 1599, 35800, 35805, 11935 ], [ 35770, 35790, 71580, 71600, 35770, 14312, 14312, 14312, 35810, 7\ 1600, 35804, 35790, 11930 ], [ 35790, 35760, 71580, 71550, 35790, 14322, 14322, 14322, 35790, 7\ 1610, 35790, 35814, 11940 ], [ 35790, 35760, 71580, 71550, 35790, 14322, 14322, 14322, 35790, 7\ 1610, 35790, 35820, 11934 ] ] gap> PrintArray(I2); [ [ 19410, 19435, 38890, 38930, 19395, 7770, 7770, 7770, 19495, 3\ 8950, 19495, 19455, 6485 ], [ 19435, 19390, 38890, 38830, 19435, 7790, 7790, 7790, 19455, 3\ 8970, 19455, 19515, 6505 ], [ 19445, 19445, 38915, 38900, 19445, 7780, 7780, 7780, 19455, 3\ 8910, 19455, 19455, 6485 ], [ 19465, 19415, 38900, 38865, 19465, 7790, 7790, 7790, 19435, 3\ 8920, 19435, 19485, 6495 ], [ 19395, 19435, 38890, 38930, 19410, 7770, 7770, 7770, 19495, 3\ 8950, 19495, 19455, 6485 ], [ 19425, 19475, 38900, 38950, 19425, 7785, 7770, 7770, 19475, 3\ 8900, 19475, 19425, 6475 ], [ 19425, 19475, 38900, 38950, 19425, 7770, 7785, 7770, 19475, 3\ 8900, 19475, 19425, 6475 ], [ 19425, 19475, 38900, 38950, 19425, 7770, 7770, 7785, 19475, 3\ 8900, 19475, 19425, 6475 ], [ 19495, 19455, 38910, 38870, 19495, 7790, 7790, 7790, 19430, 3\ 8870, 19415, 19455, 6485 ], [ 19475, 19485, 38910, 38920, 19475, 7780, 7780, 7780, 19435, 3\ 8875, 19435, 19425, 6475 ], [ 19495, 19455, 38910, 38870, 19495, 7790, 7790, 7790, 19415, 3\ 8870, 19430, 19455, 6485 ], [ 19455, 19515, 38910, 38970, 19455, 7770, 7770, 7770, 19455, 3\ 8850, 19455, 19410, 6465 ], [ 19455, 19515, 38910, 38970, 19455, 7770, 7770, 7770, 19455, 3\ 8850, 19455, 19395, 6480 ] ] gap> PrintArray(I3); [ [ 4360, 4340, 8660, 8620, 4380, 1740, 1740, 1740, 4280, 8600, 428\ 0, 4320, 1440 ], [ 4340, 4380, 8660, 8720, 4340, 1720, 1720, 1720, 4320, 8580, 432\ 0, 4260, 1420 ], [ 4330, 4330, 8630, 8650, 4330, 1730, 1730, 1730, 4320, 8640, 432\ 0, 4320, 1440 ], [ 4310, 4360, 8650, 8680, 4310, 1720, 1720, 1720, 4340, 8630, 434\ 0, 4290, 1430 ], [ 4380, 4340, 8660, 8620, 4360, 1740, 1740, 1740, 4280, 8600, 428\ 0, 4320, 1440 ], [ 4350, 4300, 8650, 8600, 4350, 1720, 1740, 1740, 4300, 8650, 430\ 0, 4350, 1450 ], [ 4350, 4300, 8650, 8600, 4350, 1740, 1720, 1740, 4300, 8650, 430\ 0, 4350, 1450 ], [ 4350, 4300, 8650, 8600, 4350, 1740, 1740, 1720, 4300, 8650, 430\ 0, 4350, 1450 ], [ 4280, 4320, 8640, 8680, 4280, 1720, 1720, 1720, 4340, 8680, 436\ 0, 4320, 1440 ], [ 4300, 4290, 8640, 8630, 4300, 1730, 1730, 1730, 4340, 8670, 434\ 0, 4350, 1450 ], [ 4280, 4320, 8640, 8680, 4280, 1720, 1720, 1720, 4360, 8680, 434\ 0, 4320, 1440 ], [ 4320, 4260, 8640, 8580, 4320, 1740, 1740, 1740, 4320, 8700, 432\ 0, 4360, 1460 ], [ 4320, 4260, 8640, 8580, 4320, 1740, 1740, 1740, 4320, 8700, 432\ 0, 4380, 1440 ] ] gap> PrintArray(I4); [ [ 375, 380, 770, 790, 360, 150, 150, 150, 410, 800, 410, 390, 1\ 30 ], [ 380, 365, 770, 740, 380, 160, 160, 160, 390, 810, 390, 420, 1\ 40 ], [ 385, 385, 790, 775, 385, 155, 155, 155, 390, 780, 390, 390, 1\ 30 ], [ 395, 370, 775, 765, 395, 160, 160, 160, 380, 785, 380, 405, 1\ 35 ], [ 360, 380, 770, 790, 375, 150, 150, 150, 410, 800, 410, 390, 1\ 30 ], [ 375, 400, 775, 800, 375, 165, 150, 150, 400, 775, 400, 375, 1\ 25 ], [ 375, 400, 775, 800, 375, 150, 165, 150, 400, 775, 400, 375, 1\ 25 ], [ 375, 400, 775, 800, 375, 150, 150, 165, 400, 775, 400, 375, 1\ 25 ], [ 410, 390, 780, 760, 410, 160, 160, 160, 385, 760, 370, 390, 1\ 30 ], [ 400, 405, 780, 785, 400, 155, 155, 155, 380, 770, 380, 375, 1\ 25 ], [ 410, 390, 780, 760, 410, 160, 160, 160, 370, 760, 385, 390, 1\ 30 ], [ 390, 420, 780, 810, 390, 150, 150, 150, 390, 750, 390, 375, 1\ 20 ], [ 390, 420, 780, 810, 390, 150, 150, 150, 390, 750, 390, 360, 1\ 35 ] ] gap> PrintArray(I5); [ [ 12, 14, 26, 22, 18, 6, 6, 6, 8, 20, 8, 12, 4 ], [ 14, 14, 26, 32, 14, 4, 4, 4, 12, 18, 12, 6, 2 ], [ 13, 13, 19, 25, 13, 5, 5, 5, 12, 24, 12, 12, 4 ], [ 11, 16, 25, 24, 11, 4, 4, 4, 14, 23, 14, 9, 3 ], [ 18, 14, 26, 22, 12, 6, 6, 6, 8, 20, 8, 12, 4 ], [ 15, 10, 25, 20, 15, 0, 6, 6, 10, 25, 10, 15, 5 ], [ 15, 10, 25, 20, 15, 6, 0, 6, 10, 25, 10, 15, 5 ], [ 15, 10, 25, 20, 15, 6, 6, 0, 10, 25, 10, 15, 5 ], [ 8, 12, 24, 28, 8, 4, 4, 4, 10, 28, 16, 12, 4 ], [ 10, 9, 24, 23, 10, 5, 5, 5, 14, 23, 14, 15, 5 ], [ 8, 12, 24, 28, 8, 4, 4, 4, 16, 28, 10, 12, 4 ], [ 12, 6, 24, 18, 12, 6, 6, 6, 12, 30, 12, 12, 6 ], [ 12, 6, 24, 18, 12, 6, 6, 6, 12, 30, 12, 18, 0 ] ] gap>
Example:
Example:
gap> V := get_intersection_matrix_Iknn(km, "0");; discreta_batch get_intersection_matrix_Iknn KM_PGGL_2_32_t5_k6.txt discreta_ba\ tch_output.g discreta_tmp 0 gap> VV := V[4];; gap> I := block_intersection_type(O, 1, VV, 0, 5, ol); [ 161840, 264946, 143770, 32160, 2795, 104 ] gap>
Example:
gap> V := get_intersection_matrix_Iknn(km, "0");; discreta_batch get_intersection_matrix_Iknn KM_PGGL_2_32_t5_k6.txt discreta_ba\ tch_output.g discreta_tmp 0 gap> VV := V[4];; gap> I := block_intersection_type(O, 1, VV, 0, 5, ol); [ 161840, 264946, 143770, 32160, 2795, 104 ] gap> I := block_intersection_type_decomposed(O, 1, VV, 0, 5, ol); [ [ 21871, 21866, 43744, 43738, 21871, 8750 ], [ 35800, 35824, 71590, 71620, 35800, 14312 ], [ 19435, 19390, 38890, 38830, 19435, 7790 ], [ 4340, 4380, 8660, 8720, 4340, 1720 ], [ 380, 365, 770, 740, 380, 160 ], [ 14, 14, 26, 32, 14, 4 ] ] gap>
Back
to the DISCRETA-GAP interface
Back to the typical GAP-session
Last updated: July 26, 1999, Evi Haberberger